A tool for efficient protocol validation and testing

J. Jenny Li, J. Robert Horgan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Reliable protocols require early-stage validation and testing. Due to the state explosion problem in validation methods such as model checking [I], sometimes it is not possible to test all the system states. We apply our state-of-the-art algorithm in computing the most critical states and branches to be tested. We prioritize this information to guide the validation of the protocol. We implemented this technology in a tool that visualizes the specifications of protocols with their testing priorities. Such a tool can also be used to identify faulted place in the protocol when some tests failed. It provides information such as where in the protocol is most likely to have bugs. This paper considers the case when the specification of the protocol is given in Specification and Description Language (SDL, and ITU standard). Our technology is based on both the control flow and the data flow of the specifications. It first generates a control flow diagram from the specification and then automatically analyses the coverage features of the diagram. It collects the corresponding Pow data during the simulation time to be mapped to the control flow diagram. The coverage information for the original specification is then obtained from the coverage information of the flow diagram.

Original languageEnglish
Title of host publicationProceedings - 9th International Conference on Computer Communications and Networks, ICCCN 2000
EditorsTon Engbersen, E. K. Park
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages14-17
Number of pages4
ISBN (Electronic)0780364945
DOIs
StatePublished - 2000
Event9th International Conference on Computer Communications and Networks, ICCCN 2000 - Las Vegas, United States
Duration: 16 Oct 200018 Oct 2000

Publication series

NameProceedings - International Conference on Computer Communications and Networks, ICCCN
Volume2000-October
ISSN (Print)1095-2055

Conference

Conference9th International Conference on Computer Communications and Networks, ICCCN 2000
Country/TerritoryUnited States
CityLas Vegas
Period16/10/0018/10/00

Keywords

  • And Specification and Description Language (SDL)
  • Exhaustion/coverage testing
  • Protocol specification
  • Validation

Fingerprint

Dive into the research topics of 'A tool for efficient protocol validation and testing'. Together they form a unique fingerprint.

Cite this