Boundary coverage criteria for test generation from formal models

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2004, Pages 139-150

  Kosmatov, Nikolai ^a   Legeard, Bruno ^b   Peureux, Fabien ^b   Utting, Mark ^c  

^a Lehrstuhl D für Mathematik   (Germany)

^b UNIVERSITÉ DE FRANCHE COMTÉ   (France)

^c UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

Boundary value testing; Model based testing; Test coverage criteria

Indexed keywords

ALGORITHMS; DECISION MAKING; FUNCTIONS; HEURISTIC METHODS; MATHEMATICAL MODELS; THEOREM PROVING;

BOUNDARY-VALUE TESTING; FORMAL MODELS; MODEL-BASED TESTING; TEST COVERAGE CRITERIA;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 16244406591     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. J.-R. Abrial. The B-BOOK: Assigning Programs to Meanings. Cambridge University Press, 1996. ISBN 0 521 49619 5.
2. F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet, and M. Utting. BZ-TT: A tool-set for test generation from Z and B using constraint logic programming. In Proceedings of the CONCUR'02 Workshop on Formal Approaches to Testing of Software (FATES'02), pages 105-120, Brnö, Czech Republic, August 2002. INRIA Technical Report.
3. B. Beizer. Black-Box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons, New York, USA, 1995.
4. E. Bernard, B. Legeard, X. Luck, and F. Peureux. Generation of test sequences from formal specifications: GSM 11.11 standard case-study. The Journal of Software Practice and Experience, 2004. Accepted for publication.
5. F. Bouquet and B. Legeard. Reification of executable test scripts in formal specification-based test generation: the Java Card transaction mechanism case study. In Proceedings of the International Conference on Formal Methods Europe (FME'03), volume 2805 of LNCS, pages 778-795, Pisa, Italy, September 2003. Springer Verlag.
6. F. Bouquet, B. Legeard, and F. Peureux. CLPS-B - A constraint solver for B. In Proceedings of the ETAPS'02 International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS, pages 188-204, Grenoble, France, April 2002. Springer Verlag.
7. th International Conference on Formal Engineering Methods (ICFEM'04), LNCS, page to appear, Seattle, USA, November 2004. Springer Verlag.
8. The BZ-TT web site, http://lifc.univ- fcomte. fr/~bztt, September 2003.
9. N. Caritey, L. Gaspari, B. Legeard, and F. Peureux. Specification-based testing - Application on algorithms of Metro and RER tickets (confidential). Technical Report TR-03/01, LIFC - University of Franche-Comté and Schlumberger Besançon, 2001.
10. J. Chilenski and S. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, 9(5): 193-200, September 1994.
11. S. Colin, B. Legeard, and F. Peureux. Preamble Computation in Automated Test Case Generation using Constraint Logic Programming. The Journal of Software Testing, Verification and Reliability, 14(3):to appear, 2004.
12. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Proceedings of the International Conference on Formal Methods Europe (FME'93), volume 670 of LNCS, pages 268-284. Springer Verlag, April 1993.
13. A. Gargantini and E. Riccobene. ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation. JUCS, 10(8), November 2001.
14. D. Harel and A. Naamad. The STATEMATE Semantics of Statechafts. The Journal of ACM Transaction on Software Engineering and Methodologies, 5(4):293-333, October 1996.
15. D. Huffman, P. Strooper, and L. White. Boundary values and automated component testing. The Journal of Software Testing, Verification and Review, 9(1 ):3-26, 1999.
16. H. Hong, Y. Kim, S. Cha, D. Bae, and H. Ural. A test sequence selection method for statecharts. The Journal of Software Testing, Verification and Reliability, 10(4):203-227, December 2000.
17. nd edition, 1990.
18. th International Conference on Automated Software Engineering (ASE'01), pages 377-381, San Diego, USA, November 2001. IEEE Computer Society Press.
19. B. Legeard, F. Peureux, and M. Utting. Automated Boundary Testing from Z and B. In Proceedings of the International Conference on Formal Methods Europe (FME'02), volume 2391 of LNCS, pages 21-40, Copenhagen, Denmark, July 2002. Springer Verlag.
20. B. Legeard, F. Peureux, and M. Utting. Controlling Test Case Explosion in Test Generation from B Formal Models. The Journal of Software Testing, Verification and Reliability, 14(2):81 -103, 2004.
21. The Leirios web site, http://www.leirios.com, September 2003.
22. G. Myers. The Art of Software Testing. Wiley-InterScience, 1979.
23. A. Offutt and S. Lee. An Empirical Evaluation of Weak Mutation. The Journal of IEEE Transaction on Software Engineering, 20(5):337-344, May 1994.
24. A. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating test data from state-based specifications. The Journal of Software Testing, Verification and Reliability, 13(1):25-53, 2003.
25. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual, addison-wesley edition, 1999.
26. nd edition, 1992. ISBN 0 13 978529 9.
27. Swedish Institute of Computer Sciences. SICStus Prolog 3.8.7 manual documents, October 2001. http://www. sics.se/sicstus.html.
28. T-VecTester, http://www.t-vec.com/.2003.
29. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
30. L. White and E. Cohen. A Domain Strategy for Computer Program Testing. The journal IEEE Transactions on Software Engineering, 6:247-257, 1980.
31. H. Zhu, P. Hall, and J. May. Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29(4):366-427, 1997.