Test adequacy assessment for UML design model testing

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2003-January, Issue , 2003, Pages 332-343

  Ghosh, Sudipto ^a   France, R ^a   Braganza, C ^a   Kawane, Nilesh ^a   Andrews, A ^b   Pilskalns, Orest ^b  

^a Colorado State University   (United States)

^b Washington State University   (United States)

Author keywords

category partitioning; class diagram; collaboration diagram; design reviews; software testing; test adequacy criteria; UML

Indexed keywords

DESIGN; ENCODING (SYMBOLS); MODELING LANGUAGES; SOFTWARE RELIABILITY; TESTING; UNIFIED MODELING LANGUAGE;

CATEGORY PARTITIONING; CLASS DIAGRAMS; COLLABORATION DIAGRAM; DESIGN REVIEW; TEST ADEQUACY CRITERIA; UML;

SOFTWARE TESTING;

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

References (16)

1. A. Abdurazik and J. Offutt. Using UML collaboration diagrams for static checking and test generation. In 3rd International Conference on the UML, pages 383-395, Oct. 2000.
2. A. Andrews, R. B. France, S. Ghosh, and G. Craig. Test Adequacy Criteria for UML Design Models. to appear in Journal of Software Testing, Verification and Reliability, 2003.
3. R. V. Binder. Testing Object-Oriented Systems Models, Patterns, and Tools. Object Technology Series. Addison Wesley, Reading, Massachusetts, October 1999.
4. L. Briand and Y. Labiche. A UML-based approach to system testing. In 4th International Conference on the UML, pages 194-208, Oct. 2001.
5. P. G. Frankl and R.-K. Doong. Case studies on testing object-oriented programs. In 4th Symposium on Testing, Analysis, and Verification, pages 165-177, Oct. 1991.
6. M. J. Harrold, J. D. McGregor, and K. J. Fitzpatrick. Incremental testing of object-oriented class structures. In 14th Intl. Conference on Software Engineering, pages 68-80, May 1992.
7. S.Mellor and M. Balcer. Executable UML: A Foundation for Model Driven Architecture. Addison Wesley Professional, 2002.
8. A. J. Offutt and A. Irvine. "Testing Object-Oriented Software Using the Category-Partition Method". In Proceedings of the 17th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA) 1995, pages 293-304, Santa Barbara, California, August 1995.
9. J. Offutt and A. Abdurazik. Generating test from UML specifications. In 2nd International Conference on the UML, pages 416-429, Oct. 1999.
10. T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):676-686, June 1988.
11. D. E. Perry and G. Kaiser. Adequate testing and object-oriented programming. Journal of Object-oriented Programming, pages 13-19, Jan. 1990.
12. D. Riehle, S. Fraleigh, D. Bucka-Lassen, and N. Omorogbe. The architecture of a UML virtual machine. In Proceedings of the 2001 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '01), pages 327-341. ACM Press, 2001.
13. M. Scheetz, A. von Mayrhauser, R. France, E. Dahlman, and A. E. Howe. Generating test cases from an OO model with an AI planning system. In ISSRE'99, pages 250-259, 1999.
14. The Object Management Group. OMG Unified Modeling Language Specification. Version 1.3, OMG, 1999.
15. C. D. Turner and D. J. Robson. The state-based testing of object-oriented programs. In Conf. on Software Maintenance, pages 302-311, Sept. 1993.
16. E. J. Weyuker. The Cost of Dataflow testing: an Empirical Study. IEEE Transactions on Software Engineering, 16(2):121-128, February 1990.