Testing UML designs

Information and Software Technology

Volumn 49, Issue 8, 2007, Pages 892-912

  Pilskalns, Orest ^a   Andrews, Anneliese ^b   Knight, Andrew ^c   Ghosh, Sudipto ^d   France, Robert ^d  

^a WASHINGTON STATE UNIVERSITY   (United States)

^b University of Denver   (United States)

^c Washington State University   (United States)

^d Colorado State University   (United States)

Author keywords

Class diagrams; OCL pre condition and post condition; Sequence diagrams; UML design models; UML views

Indexed keywords

OBJECT ORIENTED PROGRAMMING; PROJECT MANAGEMENT; RELATIONAL DATABASE SYSTEMS; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE;

CLASS DIAGRAMS; OCL POST-CONDITION; OCL PRE-CONDITION; SEQUENCE DIAGRAMS; UML DESIGN MODELS;

SOFTWARE TESTING;

EID: 34249741577     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2006.10.002     Document Type: Article

References (30)

1. Binder R. Testing Object-Oriented Systems Models, Patterns, and Tools (1999), Addison Wesley, Reading, MA
2. Fagan M. Design and code inspections to reduce errors in program development. IBM Systems Journal (1987) 259-265
3. Gilb T., and Graham D. Software Inspection (1993), Addison-Wesley, Reading, MA
4. Traore I., and Aredo D. Enhancing structured review with model-based verification. IEEE Transactions on Software Engineering (2004) 736-753
5. P. Runeson, A. Andrews, Detection or isolation of defects? An experimental comparison of unit testing and code inspections, in: Proceedings of the IEEE Symposium on Software Reliability Engineering, 2003, pp. 3-14.
6. A. Andrews, R. France, S. Ghosh, G. Craig, Test adequacy criteria for uml design models, in: Journal of Software Testing, Verification, and Reliability, 2003, pp. 95-127.
7. Apache xml project, batik svg toolkit (2004). URL. http://xml.apache.org/batik/
8. Arisholm E., Briand L., and Foyen A. Dynamic coupling measurements for object-oriented software. IEEE Transactions on Software Engineering (2004) 491-506
9. J. Offutt, A. Abdurazik, Generating test from uml specifications, in: Proceedings of the 2nd International Conference on the UML, 1999, pp. 416-429.
10. A. Abdurazik, J. Offutt, Using uml collaboration diagrams for static checking and test generation, in: Proceedings of the 3rd International Conference on the UML, 2000, pp. 383-395.
11. Briand L., and Labiche Y. A uml-based approach to system testing. Software and Systems Modeling (2002) 10-42
12. L. Briand, J. Cui, Y. Labiche, Towards automated for deriving test data from uml statecharts, in: Proceedings from the 6th International Conference on the UML, 2003, pp. 249-264.
13. M. Scheetz, A. von Mayrhauser, R. France, E. Dahlman, A.E. Howe, Generating test cases from an OO model with an ai planning system, in: Proceedings of the IEEE Symposium on Software Reliability Engineering, 1999, pp. 250-259.
14. M. Gogolla, J. Bohling, M. Richters, Validation of uml and ocl models by automatic snapshot generation, in: Proceedings from the 6th International Conference on the UML, 2003, pp. 265-279.
15. Riehle D., Fraleigh S., Bucka-Lassen D., and Omorogbe N. The architecture of a UML virtual machine. Proceedings of the 2001 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '01) (2001), ACM Press 327-341
16. Mellor S., and Balcer M. Executable UML: A Foundation for Model Driven Architecture (2002), Addison Wesley Professional
17. Harel D., and Gery E. Executable object modeling with statecharts. Computer 30 7 (1997) 31-42
18. G. Engels, R. Hucking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformations to Java, in: Proceedings of the 2nd International Conference on the UML, Fort Collins, CO, 1999, pp. 473-488.
19. Borland Software Corporation, Together 6.0. URL. http://borland.com/together/.
20. U.A. Nickel, J. Niere, R.P. Wadsack, A. Zundorf, Roundtrip Engineering with FUJABA, in: Proceedings of the 2nd Workshop on Software-Engineering, Bad Honnef, Germany, 2000.
21. J. Offutt, A. Xiong, Y. Liu, Criteria for generating specification-based tests, in: Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems, 1999, pp. 119-129.
22. Chilenski J., and Miller S. Applicability of modified condition decision coverage to software testing. Software Engineering Journal (1994) 193-200
23. Use, a uml-based specification environment (2005). URL http://www.uni-bremen.de.
24. K. Krause, R. Smith, M. Goodwin, Optimal software test planning through automated network analysis, in: Proceedings of the IEEE Symposium on Computer Software Reliability, 1973, pp. 18-22.
25. Ostrand T., and Balcer M. The category-partition method for specifying and generating functional tests. Communications of the ACM (1988) 676-686
26. Weyuker E., and Ostrand T. Theories of program testing and the application of revealing subdomains. IEEE Transactions on Software Engineering (1980) 236-246
27. Grindal M., Offutt J., and Andler S. Combination testing strategies: A survey, Software Testing. Verification and Reliability (2005) 167-199
28. O.M. Group, Uml 2.0 specification (2006). URL http://www.uml.org.
29. A. O'Fallon, O. Pilskalns, A. Knight, A. Andrews, Defining and qualifying components in the design phase, in: Proceedings of the Software Engineering and Knowledge Engineering Conference, 2004, pp. 192-134.
30. O. Pilskalns, D. Williams, A. Andrews, Defining maintainable components in the design phase, in: Proceedings of the IEEE International Conference on Software Maintenance (ICSM), 2005, pp. 49-58.