The INAP(Intelligent Network Application Protocol) protocol test suite is the test procedures to conform that the implemented INAP protocol is equivalent to the standard specification of the INAP. The INAP test suite is generated automatically by using formal description technique. Before the generated test suite is applied to the real target system, it should be verified that this test suite has been correctly built according to the INAP specification. In this paper, we implemented the IUT(Implementation Under Test) simulator on the K1 197 tester to verify the generated INAP test suite. This method enabled us to correct the syntactic errors in the test suite and unexpected test sequence errors. It guarantees the reliability for verified results and reduces time and costs to verify the test suite than the manual method based on the protocol specification represented by natural language.
[1]
Krishnaiyan Thulasiraman,et al.
On Testing and Diagnosis of Communication Protocols Based on the FSM Model
,
1995,
Comput. Commun..
[2]
Richard Lai,et al.
Industrial and Academic Protocol Testing: the Gap and the Means of Convergence
,
1995,
Comput. Networks ISDN Syst..
[3]
S.T. Vuong,et al.
TESTGEN: An environment for protocol test suite generation and selection
,
1994,
Comput. Commun..
[4]
Robert Tibshirani,et al.
An Introduction to the Bootstrap
,
1994
.
[5]
Behçet Sarikaya.
Conformance Testing: Architectures and Test Sequences
,
1989,
Comput. Networks.