Loading...
Please wait, while we are loading the content...
Similar Documents
Automatic executable test case generation for extended finite state machine protocols.
| Content Provider | CiteSeerX |
|---|---|
| Author | Bourhfir, C. Dssouli, R. Aboulhamid, E. Rico, N. |
| Abstract | This paper presents a method for automatic executable test case and test sequence generation which combines both control and data flow testing techniques. Compared to published methods, we use an early executability verification mechanism to reduce significantly the number of discarded paths. A heuristic which uses multi-transitions or cycle analysis is used to handle the executability problem. This heuristic can be applied even in the presence of unbounded loops in the specification. Later, the generated paths are completed by postambles and their executability is re-verified. The final executable paths are evaluated symbolically in order to extract the corresponding input/output sequences which will be used for conformance testing purposes. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Automatic Executable Test Case Generation Extended Finite State Machine Protocol Discarded Path Early Executability Verification Mechanism Generated Path Test Sequence Generation Corresponding Input Output Sequence Automatic Executable Test Case Conformance Testing Purpose Unbounded Loop Executability Problem Cycle Analysis Final Executable Path |
| Content Type | Text |
| Resource Type | Article |
