The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (2004 vol.30)
pp: 425-436
ABSTRACT
<p><b>Abstract</b>—The development of appropriate test cases is an important issue for conformance testing of protocol implementations and other reactive software systems. A number of methods are known for the development of a test suite based on a specification given in the form of a finite state machine. In practice, the system requirements evolve throughout the lifetime of the system and the specifications are modified incrementally. In this paper, we adapt four well-known test derivation methods, namely, the HIS, W, Wp, and UIOv methods, for generating tests that would test only the modified parts of an evolving specification. Some application examples and experimental results are provided. These results show significant gains when using incremental testing in comparison with complete testing, especially when the modified part represents less than 20 percent of the whole specification.</p>
INDEX TERMS
Protocol conformance testing, finite state machines, test derivation, incremental testing.
CITATION
Khaled El-Fakih, Nina Yevtushenko, Gregor v. Bochmann, "FSM-Based Incremental Conformance Testing Methods", IEEE Transactions on Software Engineering, vol.30, no. 7, pp. 425-436, July 2004, doi:10.1109/TSE.2004.31
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool