Protocol Testing with Symbolic Execution and Rule Based Specification Using Multicore Approach

The implementations of network protocols are often prone to errors. These flaws lead to reduced performance, security breaches or it may bring down the entire network. Detecting such flaws is difficult because of the exponential size of the state space and many bugs manifest only after a prolonged o...

Full description

Saved in:
Bibliographic Details
Published inProcedia technology Vol. 24; pp. 1609 - 1615
Main Authors George, Sherin Mariam, Sangeetha, U.
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 2016
Subjects
multicore approach
rule based specification
symbolic execution
testing
symbolic execution
multicore approach
rule based specification
testing
Online AccessGet full text

Cover

More Information
Summary:The implementations of network protocols are often prone to errors. These flaws lead to reduced performance, security breaches or it may bring down the entire network. Detecting such flaws is difficult because of the exponential size of the state space and many bugs manifest only after a prolonged operation. This paper focuses to detect the various types of flaws in network protocol implementation. The approach is to use the packet rules derived from protocol specification and test packets generated using symbolic execution for testing. Thus discover the violations in the implementation of network protocol DHCP. The entire system is based on these techniques and it is being evaluated on multiple cores. This procedure can be used as a general framework for testing other protocols.
ISSN:2212-0173
2212-0173
DOI:10.1016/j.protcy.2016.05.158