Generating Tests from UML Specifications

Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents a novel technique that adapts pre-defined state-based specification test data generation criteria to generate test cases from UML statecharts. UML statecharts provide a solid basis for test generation in a form that can be easily manipulated. This technique includes coverage criteria that enable highly effective tests to be developed. To demonstrate this technique, a tool has been developed that uses UML statecharts produced by Rational Software Corporation's Rational Rose tool to generate test data. Experimental results from using this tool are presented.

[1]  Debra J. Richardson,et al.  Approaches to Speci cation-Based Testing , 1989 .

[2]  Lori A. Clarke,et al.  A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance , 1990, IEEE Trans. Software Eng..

[3]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[4]  Jeff Offutt,et al.  Generating Test Cases from UML Specifications , 1999 .

[5]  Shaoying Liu,et al.  Generating test data from SOFL specifications , 1999, J. Syst. Softw..

[6]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[7]  Shaoying Liu,et al.  Criteria for generating specification-based tests , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[8]  Shaoying Liu,et al.  Criteria for Generating Speci cation-based Tests , 1999 .

[9]  Hong Zhu,et al.  Software unit test coverage and adequacy , 1997, ACM Comput. Surv..

[10]  Zhenyi Jin.  Deriving mode invariants from SCR specifications , 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).

[11]  Debra J. Richardson,et al.  Approaches to specification-based testing , 1989 .

[12]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .