The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 122-131
Ji Wang , National Laboratory for Parallel and Distributed Processing, China
Shuhao Li , 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
Ji Wang, Shuhao Li, Zhi-Chang Qi, "Property-Oriented Test Generation from UML Statecharts", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 122-131, 2004, doi:10.1109/ASE.2004.10037
88 ms
(Ver 3.3 (11022016))