FSM-based testing from user defined faults adapted to incremental and mutation testing |
| |
Authors: | K A El-Fakih R Dorofeeva N V Yevtushenko G V Bochmann |
| |
Affiliation: | 1. Department of Computer Science and Engineering, American University of Sharjah, Sharjah, UAE, PO Box: 26666 2. Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia 3. University of Ottawa, Ottawa, Ont., K1N 6N5, Canada
|
| |
Abstract: | We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user defined faults. We consider the case when an implementation under test can have more states than its specification while user defined faults are implemented in an arbitrary way. We show that our approach can be used for FSM-based incremental and mutation testing and correspondingly we investigate cases that can be used for reducing length of obtained test suites. In some cases, worst-case length of obtained test suite becomes polynomial. Experiments show significant gains is using our approach in comparison to testing the whole specification. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|