Using spin to generate tests from ASM specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2589, Issue , 2003, Pages 263-277

  Gargantini, Angelo ^a   Riccobene, Elvinia ^a   Rinzivillo, Salvatore ^b  

^a UNIVERSITY OF CATANIA   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; SPECIFICATIONS; TESTING;

CODE COVERAGE; COUNTER EXAMPLES; MODEL CHECKER; PROTOTYPE TOOLS; TEST ORACLES; TEST SEQUENCE; TEST SEQUENCE GENERATIONS; UNITS UNDER TESTS;

MODEL CHECKING;

EID: 35248823186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_15     Document Type: Article

References (18)

1. AsmL. http://research.microsoft.com/fse/asml/.
2. Paul Ammann, Paul Black, and William Majursk. Using model checking to generate tests from specifications. In Proceedings of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98), Brisbane, Australia, December 1998.
3. Ramesh Bharadwaj and Constance L. Heitmeyer. Model checking complete requirements specifications using abstraction. Automated Software Engineering, 6(1):37-68, January 1999.
4. Giuseppe Del Castillo and Kirsten Winter. Model checking support for the ASM high-level language. In Tools and Algorithms for Construction and Analysis of Systems, pages 331-346, 2000.
5. P.-J. Courtois and David L. Parnas. Documentation for safety critical software. In Proc. 15th Int'l Conf. on Softw. Eng. (ICSE '93), pages 315-323, Baltimore, MD, 1993.
6. André Engels, Loe Feijs, and Sjouke Mauw. Test generation for intelligent networks using model checking. In E. Brinksma, editor, TACAS'97, Lecture Notes in Computer Science 1217, pages 384-398. Springer, 1997.
7. Angelo Gargantini and Constance Heitmeyer. Using model checking to generate tests from requirements specifications. In Oscar Nierstrasz and Michel Lemoine, editors, Proceedings of the 7th European Engineering Conference and the 7th ACM SIGSOFT Symposium on the Foundations of Software Engeneering, volume 1687 of LNCS, sep 1999.
8. Angelo Gargantini and Elvinia Riccobene. Asm-based testing: Coverage criteria and automatic test sequence generation. Journal of Universal Computer Science, 7(11), 2001.
9. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Conformance testing with abstract state machines. Technical Report MSR-TR-2001-97, Microsoft Reasearch, October 2001.
10. R. Hierons and J. Derrick. Special issue on specification-based testing. Software testing, verification & reliability (STVR), 10(4):201-262, December 2000.
11. G.J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
12. A. Jefferson Offutt, Yiwei Xiong, and Shaoying Liu. Criteria for generating specification-based tests. In Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), pages 119-131, 1999.
13. D.J. Richardson, S.L. Aha, and T.O. O'Malley. Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering, pages 105-118. Springer, May 1992.
14. J. Schmid. Compiling abstract state machines to C++. Journal of Universal Computer Science, 7(11), 2001.
15. J. Schmid. Introduction to AsmGofer, 2001.
16. Gregory Tassey. The economic impacts inadequateinfrastructure software testing. Technical Report Planning Report 02-3, National Institute ofStandards and Technology, May 2002.
17. Elaine J. Weyuker. Translatability and decidability questions for restricted classes of program schemas. SIAM Journal on Computing, 8(4):587-598, 1979.
18. Hong Zhu, Patrick A.V. Hall, and John H.R. May. Software unit text coverage and adequacy. ACM Computing Surveys, 29(4):366-427, December 1997.