Automatic construction of a class state-based testing model using method specifications

Proceedings of the IASTED International Conference on Computer Science and Technology

Volumn , Issue , 2003, Pages 43-49

  Al Dallal, Jehad ^a   Sorenson, Paul ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

Class behavior; Class testing; Contracts; Method specifications; Specification based testing; State based model

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTRACTS; ERROR ANALYSIS; FINITE AUTOMATA; LEARNING SYSTEMS;

CLASS BEHAVIOR; CLASS TESTING; FINITE STATE MACHINES (FSM); METHOD SPECIFICATIONS; SPECIFICATION-BASED TESTING; STATE-BASED MODEL;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (20)

1. R. Binder. Testing object-oriented systems, Addison Wesley, 1999.
2. T. Chow, Testing software design modeled by finite state machines, IEEE Transactions on Software Engineering, EE-4(3), 1978, 178-187.
3. J. Offut and A. Abdurazik, Generating tests from UML specifications, Second International Conference on the Unified Modeling Language (UML99), Fort Collins, CO, October 1999, 416-429.
4. K. Bogdanov and M. Holcombe, Statechart testing method for aircraft control systems, Software Testing, Verification and Reliability, 11(1), 2001, 39-54.
5. A. Abdurazik, P. Ammann, W. Ding, and J. Offutt, Evaluation of three specification-based testing criteria, Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '00), Tokyo, Japan, September 2000, 179-187.
6. J. Al Dallal and P. Sorenson, Generating reusable test cases for object-oriented framework interface classes from UML specifications, JASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, USA, November, 2002.
7. nd ed. New York: International Thompson Computer Press, 1990.
8. L. Briand, Y. Labiche, and H. Sun, Investigating the use of analysis contracts to support fault isolation in object-oriented code, International Symposium on Software Testing and Analysis ISSTA, Rome, Italy, July 2002.
9. C. Boyapati, S. Khurshid, and D. Marinov, Korat: Automated Testing Based on Java Predicates, International Symposium on Software Testing and Analysis ISSTA, Rome, Italy, July 2002.
10. B. Meyer, Design by contracts, IEEE Computer, 1992, Vol. 25(10), 40-52.
11. Jcontract, http://www.parasoft.com/jsp/products/home.jsp?product= Jcontract, ParaSoft Corporation, April 2002.
12. Y. Cheon and G. Leavens, A simple and practical approach to unit testing: the JML and JUnit way, Proc. of the 16th European Conference on Object-Oriented Programming (ECOOP2002), June 2002, pp. 231-254.
13. iContract: the Java Design-by-Contract tool, http://www.reliable-systems.com/tools/iContract/iContract.htm, September, 2002.
14. B. Baudry, Y. LeTraon, and J.-M. Jézéquel, Robustness and diagnosability of OO-systems designed by contracts, Proceedings of Metrics'01, London, UK, April 2001.
15. G. Leavens, A. Baker, and C. Ruby, Preliminary design of JML: a behavioral interface specification language for Java, TR 98-06p, Iowa State University, Department of Computer Science, August 2001.
16. G. Leavens, A. Baker, and C. Ruby, JML: a notation for detailed design. In H. Kilov, B. Rupe, and I. Simmonds, editors, behavioral specifications of Businesses and Systems, chapter 12, Kluwer, 1999, pp. 175-188.
17. Junit, http://junit.sourceforge.net, December 2001.
18. Jtest, http://www.parasoft.com/jsp/products/home. jsp?product=Jtest, ParaSoft Corporation, September 2002.
19. J. Offutt and J. Pan, Automatically detecting equivalent mutants and infeasible paths, The Journal Of Software Testing, Verification, and Reliability, 7(3), September 1997, pp 165-192.
20. A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, IEEE Computer, 13(7), July 1999.