Automated support for deriving test requirements from UML statecharts

Software and Systems Modeling

Volumn 4, Issue 4, 2005, Pages 399-423

  Briand, L C ^a   Labiche, Y ^a   Cui, J ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 31044456129     PISSN: 16191366     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10270-005-0090-5     Document Type: Article

References (34)

1. OMG.: UML 1.4 Specification. Object Management Group, Complete Specification formal/01-09-67 (2001)
2. B. Bruegge, A.H. Dutoit: Object-Oriented Software Engineering Using UML, Patterns, and Java 2nd edn. Prentice-Hall Englewood Cliffs, NJ (2004)
3. R.V. Binder: Testing Object-Oriented Systems - Models, Patterns, and Tools. Object Technology. Addison-Wesley, Reading, MA (1999)
4. Offutt, A.J., Abdurazik, A.: Generating Tests from UML specifications. In: Proceedings of the 2nd International Conference on the Unified Modeling Language (UML'99), Fort Collins, CO, pp. 416-429 (1999)
5. B. Beizer: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, NY (1990)
6. OMG.: UML 1.4 chapter 6 - OCL Specification. Object Management Group, Complete Specification formal/01-09-67 (2001)
7. Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading, MA. Errata at http://www.klasse.nl/english/boeken/errata.html (1999)
8. B. Meyer: Object-Oriented Software Construction - 2nd edn. Prentice-Hall, Englewood Cliffs, NJ (1997)
9. R. Mitchell, J. McKim: Design by Contract, by Example. Addison-Wesley, Reading, MA (2001)
10. Chevalley, P., Thévenod-Fosse, P.: Automated Generation of Statistical Test Cases from UML State Diagrams. In: Proceedings of the International Computer Software and Applications Conference, Chicago, IL, pp. 205-214 (2001)
11. Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4 (3), 178-187 (1978)
12. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. Proc. IEEE 84 (8), 1090-1123 (1996) 10.1109/5.533956
13. Bogdanov, K., Holcombe, M.: Statechart testing method for aircraft control Systems. Softw. Test. Verification Reliability 11 (1), 39-54, (2001)
14. Li, L., Qi, Z.: Test selection from UML statecharts. In: Proceedings of Technology of Object-Oriented Languages and Systems, pp. 273-279 (1999)
15. Hong, H.S., Kim, Y.G., Cha, S.D., Bae, D.H., Ural, H.: A test sequence selection method for statecharts. Softw. Testing Verification Reliability 10 (4), 203-227 (2000)
16. Kim, Y.G., Hong, H.S., Cho, S.M., Bae, D.H., Cha, S.D.: Test case generation from UML state diagrams. Proc. IEE Softw. 146 (4), 187-192 (1999)
17. OMG.: OCL 2.0 Specification. Object Management Group, Final Adopted Specification ptc/03-10-14 (2003)
18. OMG.: UML 2.0 Superstructure Specification. Object Management Group, Final Adopted Specification ptc/03-08-02 (2003)
19. A.S. Tanenbaum Modern Operating Systems, 2nd edn. Prentice-Hall, Englewood Cliffs, NJ (2001)
20. B.P. Douglass: Real Time UML, 3rd edn. Addison-Wesley, Reading, MA (2004)
21. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15 (4), 391-411 (1997) 10.1145/265924.265927
22. G. Booch J. Rumbaugh I. Jacobson: The Unified Modeling Language User Guide. Addison Wesley, Reading, MA (1999)
23. J. Rumbaugh I. Jacobson G. Booch: The Unified Modeling Language Reference Manual. Addison Wesley, Reading, MA (1999)
24. M.R.A. Huth M.D. Ryan: Logic in Computer Science, Modelling and Reasoning about Systems. Cambridge University Press, Oxford, UK (2000)
25. Finger, F.: Design and Implementation of a Modular OCL Compiler. Master Thesis, Dresden University of Technology, Dresden, Germany (2000)
26. E. Gamma R. Helm R. Johnson J. Vlissides: Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA (1995)
27. Briand, L.C., Labiche, Y., Yan, H.-D., Di Penta, M.: A controlled experiment on the impact of the object constraint language in UML-based development. In: Proceedings of the IEEE International Conference on Software Maintenance, Chicago, pp. 380-389 (2004)
28. Briand, L.C., Cui, J., Labiche, Y.: Towards Automated Support for Deriving Test Data from UML Statecharts. Carleton University, Ottawa, Canada, Technical Report SCE-03-13, http://www.sce.carleton.ca/Squall. (2003)
29. Mitchell, R.: Analysis by contract - Video store case study. University of Brighton, Brighton, UK, Technical Report, http://www.it.brighton.ac.uk/staff/rjm4 (1999)
30. Offutt, A.J., Xiong, Y., Liu, S.: Criteria for Generating Specification-Based Tests. In: Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS), Las Vegas, NV, pp. 119-129 (1999)
31. Cui, J.: Towards Automated Support for Deriving Test Data from UML Statecharts. Master Thesis, Carleton University, Ottawa, Canada, Systems and Computer Enginerring (2004)
32. Chambers, L.: Practical Handbook of Genetic Algorithms, vol. 1. CRC, Boca Raton, FL (1995).
33. Z. Michalewicz: How to Solve it: Modern Heuristics Springer-Verlag Berlin Heidelberg New York (1999)
34. S.J. Mellor M.J. Balcer: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley. Reading, MA (2000)