AIN Protocol Conformance Test Suite Generation Using Formal Methods 


Vol. 5,  No. 3, pp. 741-750, Mar.  1998
10.3745/KIPSTE.1998.5.3.741


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals