A case study using the round-trip strategy for state-based class testing

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2002-January, Issue , 2002, Pages 269-279

  Antoniol, G ^a   Briand, L C ^b   Di Penta, M ^a   Labiche, Y ^b  

^a UNIVERSITY OF SANNIO   (Italy)

^b CARLETON UNIVERSITY   (Canada)

Author keywords

Automata; Computer aided software engineering; Containers; Costs; Fault detection; Genetic mutations; Proposals; Software quality; Software testing; Unified modeling language

Indexed keywords

BLACK-BOX TESTING; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTAINERS; COST BENEFIT ANALYSIS; COST EFFECTIVENESS; COST ENGINEERING; COSTS; FAULT DETECTION; LOGIC CIRCUITS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; UNIFIED MODELING LANGUAGE;

AUTOMATA; CATEGORY PARTITION; GENETIC MUTATIONS; HIGH DETECTION PROBABILITY; MUTATION OPERATORS; OBJECT-ORIENTED CODE; PROPOSALS; SOFTWARE QUALITY;

SOFTWARE TESTING;

EID: 84948776926     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2002.1173268     Document Type: Conference Paper

References (14)

1. T. Ball, D. Hoffman, F. Ruskey, R. Webber and L. White, "State Generation and Automated Class Testing, " Software Testing, Verification and Reliability, vol. 10 (3), pp. 149-170, 2000.
2. B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, New York, 2nd Ed., 1990.
3. R. V. Binder, Testing Object-Oriented Systems-Models, Patterns, and Tools, Addison-Wesley, 1999.
4. K. Bogdanov and M. Holcombe, "Statechart Testing Method for Aircraft Control Systems, " Software Testing, Verification and Reliability, vol. 11 (1), pp. 39-54, 2001.
5. T. S. Chow, "Testing Software Design Modeled by Finite-State Machines, " IEEE Transactions on Software Engineering, vol. SE-4 (3), pp. 178-187, 1978.
6. E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns-Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
7. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, Addison Wesley, 2000.
8. H. S. Hong, Y. G. Kim, S. D. Cha, D. H. Bae and H. Ural, "A Test Sequence Selection Method for Statecharts, " Software Testing, Verification and Reliability, vol. 10 (4), pp. 203-227, 2000.
9. S. Kim, J. A. Clark and J. A. McDermid, "The Rigorous Generation of Java Mutation Using HAZOP, " Proc. 12th International Conference on Software & Systems Engineering and their Applications (ICSSEA'99), CNAM-Paris, France, pp. 9-10(11), December 8-10, 1999.
10. S. Kim, J. A. Clark and J. A. McDermid, "Class Mutation: Mutation Testing for Object-Oriented Programs, " Proc. Net. ObjectDays, Erfurt, Germany, October 9-12, 2000.
11. S. Kim, J. A. Clark and J. A. McDermid, "Investigating the effectiveness of Object-Oriented Testing Strategies with the Mutation Method, " Proc. Mutation 2000, San Jose, October 6-7, 2000.
12. D. Lee and M. Yannakakis, "Principles and Methods of Testing Finite State Machines-A Survey, " Proceedings of the IEEE, vol. 84 (8), pp. 1090-1123, 1996.
13. T. J. Ostrand and M. J. Balcer, "The Category-Partition Method for Specifying and Generating Functional Test, " Communications of the ACM, vol. 31 (6), pp. 676-686, 1988.
14. J. Warmer and A. Kleppe, The Object Constraint Language, Addison-Wesley, 1999.