The Community for Technology Leaders
Proceedings. 19th International Conference on Automated Software Engineering, 2004. (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 122-131
Shuhao Li , National Laboratory for Parallel and Distributed Processing, China
Ji Wang , National Laboratory for Parallel and Distributed Processing, China
Zhi-Chang Qi , National Laboratory for Parallel and Distributed Processing, China
ABSTRACT
UML Statecharts is an important modeling formalism with hierarchy, concurrency, broadcast-communication mechanisms and data variables. These facilities help the developers to describe the complex behaviors of an object along its lifecycle naturally. However, the ease of modeling is at the expense of testing: the system developed from Statecharts usually has numerous behaviors and is therefore extremely difficult to receive comprehensive and in-depth testing. This paper presents an approach to deriving targeted test sequences from UML Statecharts according to tester-specified temporal logic properties. Using this approach, testing efforts can be focused on specific properties of the system and usually only a small portion of the total behaviors will be tested. This method suits well the occasions when the testers are interested in just some specific properties of the system or when they have to focus on its critical properties in case that limited budget is available.
INDEX TERMS
null
CITATION

J. Wang, S. Li and Z. Qi, "Property-Oriented Test Generation from UML Statecharts," Proceedings. 19th International Conference on Automated Software Engineering, 2004.(ASE), Linz, Austria, 2004, pp. 122-131.
doi:10.1109/ASE.2004.10037
93 ms
(Ver 3.3 (11022016))