Seventh IEEE Symposium on Computers and Communications (ISCC'02) Executable Test Sequence for the Protocol Control and Data Flow Property with Overlapping Ramada Hotel, Taormina-Giardini Naxos, Italy July 01-July 04 ISBN: 0-7695-1671-8
We improve an earlier test sequence generation method for testing the conformance of a protocol implementation to its specification modeled by an Extended Finite State Machine (EFSM) represented by a Flow Digraph. The earlier method produces an executable test sequence (i.e., one that has feasible parameter values) that covers a set of define-clear-use paths of the Flow Digraph for testing the data portion of the EFSM. In his paper, we first overlap these define-clear-use paths into a shorter executable test sequence that tests the data portion. Second, we overlap the new test sequence with a set of transition-verifying paths for testing the control portion.
Index Terms:
Conformance testing, EFSM, SCP tour
Citation:
Wen-Huei Chen, Cho-Ching Lu, "Executable Test Sequence for the Protocol Control and Data Flow Property with Overlapping," iscc, pp.251, Seventh IEEE Symposium on Computers and Communications (ISCC'02), 2002 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb