Automated generation of test cases using model-driven architecture

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages

  Javed, A Z ^a   Strooper, P A ^a   Watson, G N ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER SOFTWARE; GRAPHIC METHODS; INDUSTRIAL ENGINEERING; INFORMATION MANAGEMENT; MARKUP LANGUAGES; MATHEMATICAL TRANSFORMATIONS; MECHANIZATION; SOFTWARE ENGINEERING; TOOLS;

(OTDR) TECHNOLOGY; APPLIED (CO); AUTOMATED GENERATION; GENERAL (CO); INTERNATIONAL (CO); INTERNATIONAL CONFERENCES; MODEL DRIVEN ARCHITECTURE (MDA); MODEL TRANSFORMATIONS; PLATFORM INDEPENDENT MODEL (PIM); PROTOTYPE TOOLS; SEQUENCE DIAGRAMS; SOFTWARE TESTS; TEST CASES; UNIT TEST CASES; UNIT TESTING;

TESTING;

EID: 46649112945     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AST.2007.2     Document Type: Conference Paper

References (28)

1. OMG, "MDA Guide Version 1.0.1," 2004.
2. J. Poole, "Model-Driven Architecture: Vision, Standards And Emerging Technologies," in Workshop on Metamodeling and Adaptive Object Models, ECOOP 2001.
3. R. Soley and OMG, "Model driven architecture (2000),"ftp://ftp. omg.org/pub/docs/omg/00-11-05.pdf, accessed on 28/2/2007.
4. R. Dolores and U. Roger, "Software Verification and Validation: An Overview," IEEE Softw., vol. 6, 1989, pp. 10-17.
5. R. Poston, Automating Specification Based Software Testing. IEEE Computer Society Press, 1996.
6. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach. Elsevier Inc., 2007.
7. R. Heckel and M. Lohmann, "Towards Model-Driven Testing," in Electronic Notes in Theoretical Computer Science, vol. 82, 2003.
8. G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide. Addison-Wesley, 1999.
9. P. Kruchten, The Rational Unified Process - An Introduction. Addison-Wesley, 2000.
10. EMF: http://www.eclipse.org/emf/, accessed on 28/2/2007.
11. Tefkat: http://tefkat.sourceforge.net/, accessed on 28/2/2007.
12. MOFScript: http://www.eclipse.org/gmt/mofscript/, accessed on 28/2/2007.
13. P. Hamill, Unit Test Frameworks. O'Reilly Media, 2004.
14. J. Rainsberger, JUnit Receptes : practical methods for programmer testing. Manning Publications Co., 2005.
15. SUnit: http://sunit.sourceforge.net/, accessed on 28/2/2007.
16. A. Javed: http://www.itee.uq.edu.au/~abuzafer/ast07, accessed on 28/2/2007.
17. R. France, S. Ghosh, T. Dinh-Trong, and A. Solberg, "Model-driven development using UML 2.0: promises and pitfalls," Computer, vol. 39, 2006, pp. 59-66.
18. Daikon: http://pag.csail.mit.edu/daikon/, accessed on 28/2/2007.
19. ATM System: http://www.math-cs.gordon.edu/courses/cs211/ATMExample/, accessed on 28/2/2007.
20. J. Wittevrongel and F. Maurer, "SCENTOR: scenario-based testing of e-business applications," in Proc. of the 10th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, pp. 41-46.
21. F. Fraikin and T. Leonhardt, "SeDiTeC-testing based on sequence diagrams," in Proc. of the 17th IEEE International Conference on Automated Software Engineering, 2002, pp. 261-266.
22. S. Dalal, A. Jain, N. Karunanithi, J. Leaton, C. Lott, G. Patton, and B. Horowitz, "Model-based testing in practice," in Proc. of the 21st International Conference on Software Engineering, 1999, pp. 285-294.
23. A. Abdurazik and J. Offutt, "Using UML Collaboration Diagrams for Static Checking and Test Generation," in Proc. of the 3rd International Conference on UML, 2000, pp. 383-395.
24. L. Briand and Y. Labiche, "A UML-Based Approach to System Testing," Softw Syst Model, vol. 1, 2002, pp. 10-42.
25. O. Pilskalns, A. Andrews, R. France, and S. Ghosh, "Rigorous Testing by Merging Structural and Behavioral UML Representations,"in Proc. of the 6th International Conference on the UML, 2003, pp. 234-248.
26. T. Dinh-Trong, N. Kawane, S. Ghosh, R. France, and A. Andrews, "A tool-supported approach to testing UML design models," in Proc. of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005, pp. 519-528.
27. OMG ptc/04-04-02: "UML 2.0 Testing Profile."
28. Z. Dai, "Model-Driven Testing with UML 2.0," in Proc. of the 2nd European Workshop on Model Driven Architecture, 2004.