Automated Boundary Test Generation from JML Specifications

We present an original approach for the automated computation of model-based test cases from specifications written in Java Modeling Language (JML). We aim at activating all the behaviors from the JML method specifications. Therefore, we extract each behavior and we compute the pertinent test data for the input parameters; we select the boundary values of the ordered domains, and we consider specific features for the objects, involving inheritance and aliasing. Finally, a preamble for each test case is computed by symbolic animation of the JML specification using constraint logic programming techniques. Thus, we are able to automatically generate executable Java test sequences to be run on the system under test. Moreover, this process requires the less possible intervention from a validation engineer.

[1]  Cedric Mesnil,et al.  Demoney: A Demonstrative Electronic Purse Card Specification , 2002 .

[2]  Bruno Legeard,et al.  Preamble computation in automated test case generation using constraint logic programming: Research Articles , 2004 .

[3]  Catherine Oriat,et al.  Jartege: A Tool for Random Generation of Unit Tests for Java Classes , 2004, QoSA/SOQUA.

[4]  Fabrice Bouquet,et al.  BZ-TT: A tool-set for test generations from Z and B using constraint logic programming , 2002 .

[5]  Lydie du Bousquet,et al.  Filtering TOBIAS Combinatorial Test Suites , 2004, FASE.

[6]  Amit M. Paradkar.  Case studies on fault detection effectiveness of model based test generation techniques , 2005, A-MOST.

[7]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[8]  Albert L. Baker,et al.  JML: A Notation for Detailed Design , 1999, Behavioral Specifications of Businesses and Systems.

[9]  Stephen Gilmore,et al.  Mobile Resource Guarantees for Smart Devices , 2004, CASSIS.

[10]  Fabrice Bouquet,et al.  Symbolic Animation of JML Specifications , 2005, FM.

[11]  Bernhard Rumpe,et al.  Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.

[12]  Ralf Reussner,et al.  Quality of Software Architectures and Software Quality, First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005, Proceedings , 2005, QoSA/SOQUA.

[13]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[14]  Fabrice Bouquet,et al.  CLPS-B - A Constraint Solver for B , 2002, TACAS.

[15]  Bruno Legeard,et al.  Preamble computation in automated test case generation using constraint logic programming , 2004, Softw. Test. Verification Reliab..

[16]  Sarfraz Khurshid,et al.  Korat: automated testing based on Java predicates , 2002, ISSTA '02.

[17]  Yoonsik Cheon,et al.  A Runtime Assertion Checker for the Java Modeling Language (JML) , 2003, ICSE 2003.

[18]  Gary T. Leavens,et al.  A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.

[19]  Fabrice Bouquet,et al.  JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP , 2005, TACAS.

[20]  Amit M. Paradkar,et al.  A software flaw taxonomy: aiming tools at security , 2005, SOEN.

[21]  Duncan Clarke,et al.  STG: a tool for generating symbolic test programs and oracles from operational specifications , 2001, ESEC/FSE-9.

[22]  Sarfraz Khurshid,et al.  TestEra: Specification-Based Testing of Java Programs Using SAT , 2004, Automated Software Engineering.

[23]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[24]  K. Rustan M. Leino,et al.  The Spec# Programming System: An Overview , 2004, CASSIS.

[25]  Ian J. Hayes,et al.  FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings , 2005, FM.

[26]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[27]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[28]  Alexander Pretschner.  Model-based testing , 2005, ICSE '05.

[29]  Shaoying Liu,et al.  Criteria for generating specification-based tests , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).