@inproceedings{eae82ab09a87409bb235c9c6a456d88d,
title = "A tool for efficient protocol validation and testing",
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.",
keywords = "And Specification and Description Language (SDL), Exhaustion/coverage testing, Protocol specification, Validation",
author = "{Jenny Li}, J. and {Robert Horgan}, J.",
note = "Publisher Copyright: {\textcopyright} 2000 IEEE; 9th International Conference on Computer Communications and Networks, ICCCN 2000 ; Conference date: 16-10-2000 Through 18-10-2000",
year = "2000",
doi = "10.1109/ICCCN.2000.885464",
language = "English",
series = "Proceedings - International Conference on Computer Communications and Networks, ICCCN",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "14--17",
editor = "Ton Engbersen and Park, {E. K.}",
booktitle = "Proceedings - 9th International Conference on Computer Communications and Networks, ICCCN 2000",
}