Issue No. 06 - June (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.87284
<p>A method for the selection of appropriate test case, an important issue for conformance testing of protocol implementations as well as software engineering, is presented. Called the partial W-method, it is shown to have general applicability, full fault-detection power, and yields shorter test suites than the W-method. Various other issues that have an impact on the selection of a suitable test suite including the consideration of interaction parameters, various test architectures for protocol testing and the fact that many specifications do not satisfy the assumptions made by most test selection methods (such as complete definition, a correctly implemented reset function, a limited number of states in the implementation, and determinism), are discussed.</p>
finite state models; conformance testing; protocol implementations; software engineering; partial W-method; full fault-detection power; test suites; interaction parameters; test architectures; protocol testing; reset function; determinism; conformance testing; program testing; protocols
F. Khendek, A. Ghedamsi, S. Fujiwara, M. Amalou and G. v. Bochmann, "Test Selection Based on Finite State Models," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 591-603, 1991.