A systematic approach to generate inputs to test UML design models

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2006, Pages 95-104

  Dinh Trong, Trung T ^a   Ghosh, Sudipto ^a   France, Robert B ^a  

^a Department of Computer Science   (United States)

Author keywords

Class diagram; Interaction diagrams; Model execution; Software testing; Test adequacy criteria; UML

Indexed keywords

CLASS DIAGRAMS; INTERACTION DIAGRAMS; MODEL EXECUTION; TEST ADEQUACY CRITERIA;

FAULT DETECTION; MATHEMATICAL MODELS; PHASE DIAGRAMS; PROJECT MANAGEMENT;

SOFTWARE TESTING;

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

References (25)

1. A. Andrews, R. France, S. Ghosh, and G. Craig. Test Adequacy Criteria for UML Design Models. Journal of Software Testing, Verification and Reliability, 13(2):95-127, April-June 2003.
2. A. Bertolino and M. Marre. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Transactions on Software Engineering, 20(12): 885-899, December 1994.
3. R. V. Binder. Testing Object-Oriented Systems Models, Patterns, and Tools. Object Technology Series. Addison Wesley, Reading, Massachusetts, October 1999.
4. R. S. Boyer, B. Elspas, and K. N. Levitt. Select-a formal system for testing and debugging programs by symbolic execution. In Proceedings of the International Conference on Reliable Software, pages 234-245, Los Angeles, CA, April 1975.
5. M. M. Brandis and H. Mossenbock. Single-pass generation of static single-assignment form for structured languages. ACM Transactions on Programming Languages and Systems, 16(6): 1684-11698, November 1994.
6. L. Briand, J. Cui, and Y. Labiche. Towards automated support for deriving test data from UML statecharts. In Proceedings of the 6th International Conference on the UML, pages 249-264, San Francisco, CA, Oct. 2003.
7. T. Dinh-Trong, S. Ghosh, R. France, B. Baudry, and F. Fleury. A Taxonomy of Faults for UML Designs. In 2nd MoDeVa workshop - in conjunction with MoDELS, October 2005.
8. T. Dinh-Trong, S. Ghosh, R. B. France, M. Hamilton, and B. Wilkins. UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs. In Eclipse Technology eXchange workshop at OOPSLA 2005, October 2005.
9. T. Dinh-Trong, N. Kawane, S. Ghosh, R. France, and A. Andrews. A Tool-Supported Approach to Testing UML Design Models. In Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), June 2005.
10. S. Ghosh, R. B. France, C. Braganza, N. Kawane, A. Andrews, and O. Pilskalns. Test adequacy assessment for UML design model testing. In Proceedings of the International Symposium on Software Reliability Engineering, pages 332343, Denver, CO, 2003.
11. P. V. Hentenryck, L. Micheal, and Y. Deville. Numerica. A modeling language for global optimization. The MIT Press, Cambridge, Massachusetts, London, 1997.
12. A. Kleppe, J. Warmer, and W. Bast. MDA Explained - The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2005.
13. K. W. Krause, R. W. Smith, and M. A. Goodwin. Optimal software test planning through automated network analysis. In IEEE Proceedings of the 1973 Symposium on Computer Software Reliability, pages 18-22, New York, 1973.
14. C. Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process Second Edition. Prentice-Hall, 2002.
15. T. Massoni, R. Gheyi, and P. Borba. A UML class diagram analyzer. Technical report, Information Center, Federal University of Pernambuco, Brazil, September 2004.
16. E. F. Miller, M. R. Paige., J. P. Benson, and W. R. Wisehart. Structural techniques of program validation. In Digest COMPCON74, pages 161-164, 1974.
17. MIT Laboratory for Computer Science. Alloy, http:// alloy, mit.edu/, 2005.
18. S. C. Ntafos and S. L. Hakimi. On path cover problems in digraphs and applications to program testing. IEEE Transactions of Software Engineering, SE-5:520-529, Sept. 1979.
19. Object Management Group. The Unified Modeling Language UML 1.5. Technical Report formal/03-03-01, The Object Management Group (OMG), 2003.
20. J. Offutt and A. Abdurazik. Generating tests from UML specifications. In Proceedings of the 2nd International Conference on the UML, pages 416-429, Fort Collins, CO, Oct. 1999.
21. O. Pilskalns, A. Andrews, S. Ghosh, and R. B. France. Rigorous testing by merging structural and behavioral UML representations. In Proceedings of the 6th International Conference on the Unified Modeling Language, pages 234-248, San Francisco, CA, 2003.
22. 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 Proceedings of the 10th International symposium on Software Reliability Engineering(ISSRE'99), pages 250-259, Boca Raton, FL, 1999.
23. The Object Management Group. MDA Guide. Version 1.0.1, OMG, omg/03-06-01, 2003.
24. N. Tran Sy and Y Deville. Consistency techniques for interprocedural test data generation. In Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pages 108-117, Helsinki, Finland, September 2003.
25. H. S. Wang, S. R. Hsu, and J. C. Lin. A generalized optimal path selection model for structural program testing. The Journal of Systems and Software, 10:55-63, 1989.