A conformance testing method for communication protocols modeled as concurrent DFSMs. Treatment of non-observable non-determinism

International Conference on Information Networking

Volumn 2001-January, Issue , 2001, Pages 155-162

  Fukada, A ^a   Nakata, A ^a   Kitamichi, J ^a   Higashino, T ^a   Cavalli, A ^b  

^a OSAKA UNIVERSITY   (Japan)

^b INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

High speed networks; Informatics; Mathematical model; Protocols; System testing

Indexed keywords

FORMAL METHODS; HIGH SPEED NETWORKS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; TESTING;

CONCURRENT SYSTEMS; CONFORMANCE TESTING; FAULT COVERAGES; INFORMATICS; NON DETERMINISM; NON-OBSERVABLE; SUB CLASS; SYSTEM TESTING;

BLACK-BOX TESTING;

EID: 84861812558     PISSN: 19767684     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICOIN.2001.905423     Document Type: Conference Paper

References (9)

1. H. Kloosterman : "Test Derivation from Nondeterministic Finite State Machines", Proc. of the Fifth IFIP Int. Workshop on Protocol Test Systems (IWPTS'92), pp.297-308, 1992.
2. D. Lee, K. K. Sabnani, D. M. Kristol and S. Paul : "Conformance Testing of Protocols Specified as Communicating FSMs", Proc. of IEEE INFOCOM'93, pp.115-127, 1993.
3. G. Luo, G. v. Bochmann and A. Petrenko : "Test Selection Based on Communicating Nondeterministic Finite State Machines using a Generalized Wp-method", IEEE Trans. on Soft. Eng., Vol. 20, No. 2, pp. 149-162, 1994.
4. P. Tripathy and K. Naik : "Generation of Adaptive Test Cases from Nondeterministic Finite State Models", Proc. of the Fifth IFIP Int. Workshop on Protocol Test Systems (IWPTS'92), pp.309-320, 1992.
5. A. Ulrich and S. T. Chanson : "An Approach to Testing Distributed Software Systems", Proc. of the 15th IFIP Int. Symposium on Protocol Specification, Testing and Verification, pp.121-136, 1995.
6. A. Fukada, T. Kaji, T. Higashino, K. Taniguchi and M. Mori : "A Conformance Testing for Communication Protocols Modeled as A Set of DFSMs with Common Inputs", Proc. of the 10th IFIP Int. Workshop on Testing of Communicating Systems (IWTCS'97), pp. 239-254, 1997.
7. A. Petrenko, N. Yevtushenko and G. v. Bochmann : "Testing Deterministic Implementations from Nondeterministic FSM Specifications", Proc. of the 9th IFIP Int. Workshop on Testing of Communicating Systems (IWTCS'96), pp. 125-140, 1996.
8. N. Yevtushenko, A. Cavalli and R. Anido : "Test Suite Minimization for Embedded Nondeterministic Finite State Machines", Proc. of the 12th IFIP Int. Workshop on Testing of Communicating Systems (IWTCS'99), pp. 237-250, 1999.
9. M. Toro : "Decision on Testing Configuration for Multiparty Testing", Proc. of the 12th IFIP Int. Workshop on Testing of Communicating Systems (IWTCS'99), pp. 109-128, 1999.