Abstract
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hindered by the state explosion problem. Our method reduces its magnitude by reconsidering the test case generation at a higher level and by taking advantage of some static analysis techniques, in particular the slicing techniques. The specification is simplified by pipelining a set of three modules, each one implementing a different slicing technique.
Work partially supported by Région Rhône-Alpes, France
Chapter PDF
Similar content being viewed by others
References
A. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986. 247
A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal Test Automation: a Simple Experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, 12 th International Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 1999. 235
F. Bourdoncle. Efficient Chaotic Iteration Strategies with Widenings. In International Conference on Formal Methods in Programming and their Applications, volume 735 of LNCS. Springer-Verlag, 1993. 246
M. Bozga, J.-C. Fernandez, and L. Ghirvu. State Space Reduction based on Live Variables Analysis. In SAS, volume 1694 of LNCS, Venezia, IT, 1999. 242, 245
M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, L. Mounier, and J. Sifakis. IF: An Intermediate Representation for SDL and its Applications. In SDL Forum Proceedings, Montreal, CA, June 1999. 247
M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, and L. Mounier. Verification and Test Generation for the SSCOP Protocol. Science of Computer Programming, 1999. 247
E. Brinksma, R. Alderden, R. Langerak, J. Van de Lagemaat, and J. Tretmans. A Formal Approach to Conformance Testing. In J. De Meer, L. Mackert, and W. Effelsberg, editors, 2 nd International Workshop on Protocol Test Systems. North Holland, 1990. 235
P. Cousot and R. Cousot. Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Technical report, LIX, Ecole Polytechnique, 91128 Palaiseau Cedex FR, May 1990. 246
M. Dwyer. Data Flow Analysis Frameworks for Concurrent Programs. Technical Report UM-CS-1995-062, University of Massachusetts at Amherst, US, 1995. 246
J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In Proceedings of the 8th International Conference on Computer Aided Verification, number 1102 in LNCS. Springer-Verlag, 1996. 237
J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, 29, 1997. 235
International Organization for Standardization. OSI-Open Systems Interconnection, Information Technology-Open Systems Interconnection Conformance Testing Methodology and Framework, 1992. Standard ISO/IEC 9646-1/2/3. 235, 236, 239, 246
R. Gupta, M.J. Harrold, and M.L. Soffa. Program Slicing-Based Regression Testing Techniques. Journal of Software Testing, Verification and Reliability,, June 1996. 236
J. Hatcliff, J. Corbett, M. Dwyer, S. Sokolowski, and H. Zheng. A Formal Study of Slicing for Multi-Threaded Programs with JVM Concurrency Primitives. In SAS, volume 1694 of LNCS, Venezia, IT, 1999. Springer-Verlag. 236
ITU-T SG 10/Q.8. ISO/IEC JTC1/SC21 WG7. Information Retrieval, Transfer and Management for OSI; Framework: Formal Methods in Conformance Testing. Technical report, International Organization for Standardization-ISO, 1996. 235
G. Kildall. A Unified Approach to Global Program Optimization. In ACM Symposium on Principles of Programming Languages, 1973. 246
S. Muchnick. Advanced Compiler Design Implementation. Morgan Kaufmann Publishers, 1997. 241, 247
M. Phalippou. Test Sequence using Estelle or SDL Structure Information. In FORTE, Berne, CH, October 1994. 235, 236
H. Ratschek and J. Rokne. New Computer Methods for Global Optimization. Ellis Horwood, John Wiley, 1988. 246
D. Rayner. OSI Conformance Testing. Computer Networks and ISDN Systems, 14, 1987. 236
M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe. Autolink-A Tool for Automatic and Semi-automatic Test Generation from SDL Specifications. Technical Report A-98-05, Medical Univ. of Lübeck, DE, 1998. 235
J. Tretmans. A Formal Approach to Conformance Testing. In 6 th International Workshop on Protocols Test Systems, number C-19 in IFIP Transactions, pages 257–276, 1994. 235, 236
M. Weiser. Program Slicing. IEEE Transactions on Software Engineering, SE-10(4), July 1984. 236
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bozga, M., Fernandez, JC., Ghirvu, L. (2000). Using Static Analysis to Improve Automatic Test Generation. In: Graf, S., Schwartzbach, M. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2000. Lecture Notes in Computer Science, vol 1785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46419-0_17
Download citation
DOI: https://doi.org/10.1007/3-540-46419-0_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67282-1
Online ISBN: 978-3-540-46419-8
eBook Packages: Springer Book Archive