We propose an approach to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent finite state machine for testing reactive and embedded software. Test cases are expressed as a sequence of messages to be exchanged among various system entities. We use scenario activation conditions and state assignments to generate only the feasible states and transitions. This paper uses complex digital TV software to illustrate how test cases are automatically generated.
Bibliographical noteFunding Information:
Partially supported by the Advanced Information Technology Research Center (AITrc).
- Message sequence charts
- Scenario-based testing
- Task interaction testing
ASJC Scopus subject areas
- Computer Networks and Communications