System Testing using UML Models

Coverage of system states during system testing is a nontrivial problem. It is because the number of system states is usually very large, and system developers often do not construct system state model. In this paper, we propose a method to design system test cases to achieve coverage of system states based on UML models constructed during normal development process. We use UML use case, sequence and class level statechart models to generate a set of sequences of scenarios that can achieve adequate coverage of system states.