The Test Cases Generation from the UML Activity Diagram

Article Preview

Abstract:

This paper analyzes the formal syntax and semantics of the UML activity diagram, then extends traditional test coverage criteria, puts forward the cover standards of the UML activity diagram , finally implements the test scenes generation algorithm and test tools, and has more help to improve the software quality.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

2387-2389

Citation:

Online since:

October 2011

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2012 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Binder R v.Testing Object-Oriented System:Models. Patterns, and Tools.Addison-Wesley, (2000).

Google Scholar

[2] Briand L.C., Labiche Y., Shousha M. Automating Stress Testing for Real-Time Systems Using Genetic Algorithms. Proc. Genetic and Evolutionary Computation Conference (GECCO), Washington D.C., USA, (2005).

DOI: 10.1145/1068009.1068183

Google Scholar

[3] A. Andrews, R. France, S. Ghosh, G. Craig. Test Adequacy Criteria for UML Design Models. Journal of Software Testing, Verification, and Reliability, 13(2), 2003, 95-127.

DOI: 10.1002/stvr.270

Google Scholar

[4] CHARMY Project. Charmy Web Site. http: /www. di. univaq. it/charmy, (2004).

Google Scholar

[5] Antoniol G., Briand L. C., Di Penta M., Labiche Y. A Case Study Using the Round-Trip Strategy for State-Based Class Testing. Proc. IEEE ISSRE2002, (2002).

DOI: 10.1109/issre.2002.1173268

Google Scholar

[6] Aniruddha Gokhale, Balachandran Natarajan. Composing and Deploying Grid Middleware Web Services Using Model Driven Architecture. Proc. CoopIS/DOA/ODBASE 2002, 2002, 633-649.

DOI: 10.1007/3-540-36124-3_43

Google Scholar

[7] Marlon E. Vieira, Marcio S. Dias , Debra J. Richardson, OO specification-based testing using statechart diagram. ICSE2000 -Workshop on Automated Program Analysis, Testing, and Verification, Limerick, Ireland, (2000).

Google Scholar