Automatic generation of SCTP test cases in multiservice switching system

SCTP is a transport protocol that transfers SS7 signaling from PSTN to packet network using IP protocol, and can be used in many areas like TCP and UDP. CPN, the extended model of Petri Nets, is a graphical oriented language for design, specification, simulation and verification of systems. Design/C...

Full description

Saved in:
Bibliographic Details
Published inIntegrated computer-aided engineering Vol. 9; no. 2; pp. 175 - 183
Main Authors Lee, Hyun-jeong, Uhm, Nam-kyung, Choi, Young-il, Lee, Byung-sun, Jun, Kyung-pyo
Format Journal Article
LanguageEnglish
Published 01.01.2002
Online AccessGet full text

Cover

More Information
Summary:SCTP is a transport protocol that transfers SS7 signaling from PSTN to packet network using IP protocol, and can be used in many areas like TCP and UDP. CPN, the extended model of Petri Nets, is a graphical oriented language for design, specification, simulation and verification of systems. Design/CPN is a tool package that supports the use of CPN. In this paper, we propose a method to generate SCTP test cases automatically using Design/CPN. First, we explain how to transform an SCTP association state diagram into a CPN form, and then we explain how to generate test cases from an OG and descriptors resulting from Design/CPN. Using our method, we can generate test cases more conveniently without errors and get more improved test coverage than existing manual methods such as T-method, U-method, D-method and W-method. It could be used as the basis of the automatic test environment for telecommunication protocols.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:1069-2509
1875-8835
DOI:10.3233/ICA-2002-9207