AIN Protocol Conformance Test Suite Generation Using Formal Methods


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 3, pp. 741-750, Mar. 1998
10.3745/KIPSTE.1998.5.3.741,   PDF Download:

Abstract

The objective of this paper is to present efforts to generate Intelligent Network Application Protocol (INAP) conformance test suite using formal method and to verify the test suite using IUT(Implementation Under Test) simulator. We describe the processes of the INAP FSM(Finite State Machine) modeling by SDL(Specification and Description Language) language and test purpose description by MSC(Message Sequence Chart). The simulation for the INAP FSM model and test purposes is performed to generate test suite. We can correctly describe the INAP specification using formal description technique, and reduce time and costs by generating test suite automatically. And also we implemented the IUT simulator to verify the generated test suite.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
D. H. Sook, B. S. Yong, K. S. Ki, "AIN Protocol Conformance Test Suite Generation Using Formal Methods," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 3, pp. 741-750, 1998. DOI: 10.3745/KIPSTE.1998.5.3.741.

[ACM Style]
Do Hyun Sook, Bae Seong Yong, and Kim Sang Ki. 1998. AIN Protocol Conformance Test Suite Generation Using Formal Methods. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 3, (1998), 741-750. DOI: 10.3745/KIPSTE.1998.5.3.741.