This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Test Selection Based on Finite State Models
June 1991 (vol. 17 no. 6)
pp. 591-603

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.

[1] A. V. Ahoet al., "An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours," inProc. IFIP Symp. on Protocol Specification, Testing and Verification(Atlantic City), 1988.
[2] M. Amalou, "Developpement de test pour le protocole de signalisation de RNIS basésur une spécification formelle," M.Sc. thesis, Universitéde Montréal, Dec. 1989.
[3] G. v. Bochmann and O. B. Bellal, "Test result analysis in respect to formal specification," presented at the 2nd Int. Workshop on Protocol Test Systems, Berlin, Oct. 3-6, 1989.
[4] G. v. Bochmann, R. Dssouli, and J. R. Zhao, "Trace analysis for conformance and arbitration testing,"IEEE Trans. Software Eng., vol. 15, pp. 1347-1356, Nov. 1989.
[5] S. P. van de Burgt, J. Kroon, E. Kwast, and H. J. Wilts, "The RNL conformance kit : Tool for automatic test suite generation," presented at the 2nd Int. Workshop on Protocol Test Systems, Berlin, Oct. 3-6, 1989.
[6] T. S. Chow, "Testing design modeled by finite-state machines,"IEEE Trans. Software Eng.vol. 4, pp. 178-186, Mar. 1978.
[7] G. Gonenc, "A method for the design of fault-detection experiments,"IEEE Trans. Comput., vol. C-19, pp. 551-558, June 1970.
[8] S. Naito and M. Tsunoyama, "Fault detection for sequential machines by transition-tours," inProc. FTCS (Fault Tolerant Comput. Syst.), 1981, pp.238-243.
[9] "OSI conformance methodology and framework, Part 1: General concepts," and "OSI conformance methodology and framework, Part 2: Abstract test suite specification," ISO TC97/SC16, DP 9646/1 and DP 9646/2, 1987.
[10] D. Rayner, "OSI conformance testing,"Comput. Networks ISDN Syst., North-Holland, no. 14, pp. 79-98, 1987.
[11] K. Sabnani and A. Dahbura, "A protocol test generation procedure,"Comput. Networks ISDN Syst., North-Holland, no. 15, pp. 285-297, 1988.
[12] B. Sarikaya and G. v. Bochmann, "Some experience with test sequence generation for protocols," inProc. 2nd Int. Workshop an Protocol Specification, Testing and Verification. Amsterdam: North-Holland, 1982, pp. 555-567.
[13] B. Sarikaya and G.v. Bochmann, "Synchronization and specification issues in protocol testing,"IEEE Trans. Commun., vol. COM-32, pp. 389-395, Apr. 1984.
[14] B. Sarikayaet al., "A test design methodology for protocol testing,"IEEE Trans. Software Eng., vol. SE-13, no. 5, pp. 518-531, May 1987.
[15] B. Sarikaya, "Conformance testing: Architecture and test sequences,"Comput. Netrworks and ISDN Syst., vol. 17, pp. 111-126, 1989.
[16] F. Sato, J. Munemori, T. Ideguchi, and T. Mizuno, "Test sequence generation method based on finite automata--single transition checking method usingWset" (in Japanese),Trans. EIC, vol. J72-B-I, no. 3, pp. 183-192, 1989.
[17] F. Sato, K. Katsuyama, and T. Mizuno, "TENT: Test Sequence Generation Tool for communication systems," inProc. 2nd Int Conf. Formal Description Techniques for Distributed Syst. Commun. Protocols (FORTE'89), 1989.
[18] Y. N. Shen, F. Lambardi, and A. T. Dahbura, "Protocol conformance testing using multiples UIO sequences," inProtocol Specification, Testing and Verification, E. Brinksma, G. Scollo, and C. A. Vissers, Eds. Amsterdam: North-Holland, 1989, pp. 131-143.
[19] D. P. Sidhu and T. K. Leung, "Formal methods for protocols testing: A detailed study,"IEEE Trans. Software Eng., vol. 15, pp. 413-426, Apr. 1989.
[20] H. Ural, "A test derivation method for protocol conformance testing," inProc. 7th IFIP Symp. on Protocol Specification, Testing and Verification(Zurich), May 5-8, 1987, pp. 347-358.
[21] S. T. Vuong, W. W. L. Chan, and M. R. Ito, "The UIOv-method for protocol test sequence generation," presented at the 2nd Int. Workshop on Protocol Test Syst., Berlin, Oct. 3-6, 1989.
[22] C. D. Wezeman, "The CO-OP method for compositional derivation of conformance testers," inProc. 9th IFIP Symp. Protocols, Twente, June 1989.
[23] H. X. Zenget al., "New advances in ferry testing approaches,"Comput. Networks and ISDN Syst., vol. 15, no. 1, 1988.
[24] S. Fujiwa and G. v. Bochmann, "Testing non-deterministic finite state machines," to be published.

Index Terms:
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
Citation:
S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi, "Test Selection Based on Finite State Models," IEEE Transactions on Software Engineering, vol. 17, no. 6, pp. 591-603, June 1991, doi:10.1109/32.87284
Usage of this product signifies your acceptance of the Terms of Use.