Generating finite state machines from abstract state machines

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 112-122

  Grieskamp, Wolfgang ^a   Gurevich, Yuri ^a   Schulte, Wolfram ^a   Veanes, Margus ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Abstract state machine; ASM; Executable specification; Finite state machine; FSM; Test case generation

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; FINITE AUTOMATA; HIGH LEVEL LANGUAGES; NETWORK PROTOCOLS; PERSONAL COMPUTERS;

FINITE STATE MACHINES (FSM);

SOFTWARE ENGINEERING;

EID: 0036986571     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566172.566190     Document Type: Conference Paper

References (31)

1. Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold, New York, second edition, 1990.
2. G.V. Bochmann and A. Petrenko. Protocol testing: review of methods and relevance for software testing. In Proceedings of the 1994 international symposium on Software testing and analysis, pages 109-124, 1994.
3. C. Bourhr, R. Dssouli, and E.M. Aboulhamid. Automatic test generation for EFSM-based systems. Publication departementale 1043, Departement IRO, Uni- versite de Montreal, August 1996.
4. E. Brinksma and J. Tretmans. Testing Transition Systems: An Annotated Bibliography. In F. Cassez, C. Jard, B. Rozoy, and M. Ryan, editors, Summer School MOVEP'2k Modelling and Verication of Parallel Processes, pp. 44-50, Nantes, July 2000.
5. I.B. Burdonov, A.S.Kossatchev, and V.V. Kulyamin. Application of finite automatons for program testing. Programming and Computer Software, 26(2):61-73, 2000.
6. I.B. Burdonov, A.S.Kossatchev, A. Petrenko, and D. Galter. Kvest: Automated generation of test suites from formal specications. In J. Wing, J. Woodcock, and J. Davies, editors, FM'99, Vol. I, volume 1708 of Lecture Notes in Computer Science, pages 608-621. Springer, 1999.
7. K.-T. Cheng and A.S. Krishnakumar. Automatic generation of functional vectors using the extended finite state machine model. ACM Transcations on Design Automation of Electronic Systems, 1(1):57-79, January 1996.
8. E. M. Clarke, Jr., O. Grumberg and D. A. Peled, Model Checking, MIT Press, 1999.
9. P. Cousot and R. Cousot. Abstract Interpretation Based Program Testing, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 248, L'Aquila, Italy, July 31 - August 6, 2000.
10. R.G. de Vries and J. Tretmans. On-the-fly conformance testing using Spin. Software Tools for Technology Transfer, 2(4):382{393, March 2000.
11. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Proc. FME'93, LNCS 670, p. 268-284, Springer, 1993.
12. 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 - Special Issue on COST247, Verification and Validation Methods for Formal Descriptions, 29(1-2):123-146, 1997.
13. Foundations of Software Engineering, Microsoft Research. Abstract state machine Language, Website: http://research.microsoft.com/fse/AsmL
14. A. Gargantini and E. Riccobene, ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation, J. of Universal Computer Science, 7(11):1050-1067, 2001.
15. U. Glässer, Y.Gurevich and M. Veanes, High-Level Executable Specification of the Universal Plug and Play Architecture, In Proc. of the Thirty-Fifth Annual Hawaii International Conference on System Sciences, IEEE, 2002.
16. U. Glässer, Y.Gurevich and M. Veanes, Universal Plug and Play Machine Models, Microsoft Research, Technical Report MSR-TR-2001-59, June, 2001.
17. J. Gross and J. Yellen. Graph Theory and its Applications. CRC, Boca Raton, 1999.
18. Y. Gurevich. Evolving algebra 1993: Lipari guide. In Egon Boerger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
19. Yuri Gurevich. Sequential Abstract State Machines capture Sequential Algorithms, ACM Transactions on Computational Logic, Volume 1, Number 1 (July 2000), pages 77-111
20. S. Helke, T. Neustupny, and T. Santen. Automating test case generation from Z specifications with Isabelle. In Proc. ZUM97, LNCS 1212, p. 52-71, Springer, 1997.
21. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, NJ, 1991.
22. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - a survey. In Proceedings of the IEEE, volume 84, number 8, pages 1090-1123, Berlin, Aug 1996. IEEE Computer Society Press.
23. R.J. Linn and M.Ü. Uyar. Conformance Testing Methodologies and Architectures for OSI Protocols. IEEE Computer Society Press, Los Alamitos, CA, 1994.
24. Y. V. Matiyasevich. Hilbert's Tenth Problem. MIT Press, 1993.
25. A. Petrenko. Fault model-driven test derivation from finite state models: Annotated bibliography. In Proceedings of the Summer School MOVEP2000, Modelling and Verification of Parallel Processes, 2000. Appears in LNCS.
26. Universal Plug and Play Forum. Website: http://www.upnp.org
27. H. Robinson. Model-Based Testing. Website: http://www.geocities.com/model_based_testing/
28. Deepinder P. Sidhu and Ting-Kau Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15(4):413-426, April 1989.
29. H. Thimbleby. An algorithm for the directed Chinese Postman Problem (with applications). Technical report, Middlesex University School of Computing Science, London, 2000.
30. J. Tretmans and A. Belinfante. Automatic testing with formal methods. In EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November pp. 8-12, 1999. EuroStar Conferences, Galway, Ireland.
31. C.D. Turner and D.J. Robson. The state-based testing of object-oriented programs. In Proc. IEEE Conf. Software Maintenance, pp. 302-310, 1993.