Test adequacy criteria for UML design models

Software Testing Verification and Reliability

Volumn 13, Issue 2, 2003, Pages 95-127

  Andrews, Anneliese ^a   France, Robert ^a   Ghosh, Sudipto ^a   Craig, Gerald ^a  

^a Colorado State University   (United States)

Author keywords

Category partitioning; Class diagram; Collaboration diagram; Design reviews; Software testing; Test adequacy criteria; UML

Indexed keywords

COMPUTER SUPPORTED COOPERATIVE WORK; COMPUTER SYSTEM RECOVERY; SEMANTICS; SYSTEMS ANALYSIS;

CATEGORY PARTITIONING; CLASS DIAGRAM; UNIFIED MODELLING LANGUAGE;

OBJECT ORIENTED PROGRAMMING;

EID: 0041703831     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.270     Document Type: Article

References (24)

1. The Object Management Group. OMG Unified Modelling Language Specification, Version 1.3. OMG, 1999.
2. Atlee JM, Gannon J. State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering 1993; 19(1):24-40.
3. Holzmann GJ. Design and Validation of Computer Protocols (Software Series). Prentice-Hall: Englwood Cliffs, NJ, 1991.
4. Rushby JM. Model checking and other ways of automating formal methods. Position Paper for Panel on Model Checking for Concurrent Programs. Software Quality Week, San Francisco, May/June 1995.
5. The Object Management Group. Object Constraint Language Specification. OMG, document ad/99-06-08, ch. 7, June, 1999.
6. Mellor S, Balcer, M. Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley: Reading, MA, 2002.
7. Riehle D, Fraleigh S, Bucka-Lassen D, Omorogbe N. The architecture of a UML virtual machine. Proceedings of the 2001 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '01). ACM Press: New York, 2001; 327-341.
8. The Object Managemeny Group. The Unified Modelling Language, Version 1.4. OMG, formal/2001-09-67, 2001.
9. Goodenough JB, Gerhart SL. Toward a theory of test data selection. IEEE Transactions on Software Engineering 1975; 1(2):156-173.
10. Ostrand TJ, Balcer MJ. The category-partition method for specifying and generating functional tests. Communications of the ACM 1988; 31(6):676-686.
11. Offutt AJ, Irvine A. Testing object-oriented software using the category-partition method. Proceedings of the 17th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA), Santa Barbara, CA, August 1995, 293-304.
12. Perry DE, Kaiser G. Adequate testing and object-oriented programming. Journal of Object-oriented Programming 1990; 2(5):13-19.
13. Doong R-K, Frankl PG. Case studies on testing object-oriented programs. Proceedings of the 4th Symposium on Testing, Analysis, and Verification, Victoria, B.C., Canada. ACM Press: New York, 1991; 165-177.
14. Harrold MJ, McGregor JD, Fitzpatrick KJ. Incremental testing of object-oriented class structures. Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia. ACM Press: New York, 1992; 68-80.
15. Turner CD, Robson DJ. The state-based testing of object-oriented programs. Proceedings IEEE Conference on Software Maintenance, Montreal, Canada. IEEE Computer Society Press, 1993; 302-311.
16. Binder RV. Testing Object-Oriented Systems: Models, Patterns, and Tools (Object Technology Series). Addison-Wesley: Reading, MA, 1999.
17. Briand L, Labiche Y. A UML-based approach to system testing. Proceedings of the 4th International Conference on the UML, Toronto, Canada (Lecture Notes in Computer Science). Springer, 2001; 194-208.
18. Offutt J, Abdurazik A. Generating tests from UML specifications. Proceedings of the 2nd International Conference on the UML, Fort Collins, TX (Lecture Notes in Computer Science). Springer, 1999; 416-429.
19. Abdurazik A, Offutt J. Using UML collaboration diagrams for static checking and test generation. Proceedings of the 3rd International Conference on the UML, York, U.K. (Lecture Notes in Computer Science). Springer, 2000; 383-395.
20. Scheetz M, von Mayrhauser A, France R, Dahlman E, Howe AE. Generating test cases from an OO model with an AI planning system. Proceedings of the International Symposium on Software Reliability Engineering (ISSRE'99), Boca Raton, FL. IEEE Computer Society Press, 1999; 250-259.
21. Warmer J, Kleppe A. The Object Constraint Language: Precise Modelling with UML. Addison-Wesley: Reading, MA, 1999.
22. Weyuker EJ. The cost of dataflow testing: An empirical study. IEEE Transactions on Software Engineering 1990; 16(2):121-128.
23. Weyuker EJ. Axiomatizing software test adequacy. IEEE Transactions on Software Engineering 1986; 12(12):1128-1138.
24. Parrish A, Zweben SH. Analysis and refinement of software test data adequacy properties. IEEE Transactions on Software Engineering 1991; 17(6):565-581.