Title: System state coverage through automatic test case generation

Authors: M. Sarma, R. Mall

Addresses: Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, West Bengal 721302, India. ' Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, West Bengal 721302, India

Abstract: Achieving reasonable coverage of system states during testing is a non-trivial problem, since the number of system states for practical systems is usually very large. To further complicate the problem, system developers often do not construct a system state model. On the other hand, many modern systems are extremely complex and state-based, making it necessary to ensure satisfactory state coverage during system testing. In this paper, we propose a method to automatically generate system test cases to achieve coverage of system states based on Unified Modeling Language (UML) models constructed during a normal development process. We use UML use case, sequence and statechart models to generate a set of sequences of scenarios that can achieve adequate coverage of system states.

Keywords: system testing; UML; unified modeling language; test case generation; automatic testing; test coverage; system states.

DOI: 10.1504/IJICT.2008.024007

International Journal of Information and Communication Technology, 2008 Vol.1 No.3/4, pp.347 - 372

Published online: 23 Mar 2009 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article