Paper Info
Title
Protocol Data Parts Inclusion in a Formal Passive Testing Approach
Abstract
Commonly, two main classes of formal testing techniques are applied to check the conformance of protocols and software: active and passive testing (monitoring) techniques. Because of many industrial constraints such as the necessity to achieve implementation black box testing, passive testing techniques become highly relevant in several cases. Besides, most of the passive testing techniques only consider control portions of exchanged packets and ignores data parts. However, since systems become more complex, testing for data constraints and relations between packets is now essential. In this paper we propose a novel approach for defining data oriented invariants and show how they can be tested in a trace set by using logic programming. Experimental results on SIP protocol traces are provided.
Year
DOI
Venue
2011
10.1109/WAINA.2011.21
Advanced Information Networking and Applications
Keywords
Field
DocType
passive testing technique,defining data,control portion,data constraint,implementation black box testing,formal testing technique,formal passive testing approach,data part,passive testing,sip protocol trace,protocol data parts inclusion,formal specification,black box testing,system monitoring,protocol data,logic programming,protocols,servers,automata,testing,invariants
Black-box testing,Orthogonal array testing,System testing,Computer science,Functional testing,Formal specification,Software performance testing,White-box testing,Protocol data unit,Distributed computing
Conference
ISBN
Citations 
PageRank 
978-0-7695-4338-3
0
0.34
References 
Authors
7
2
Name
Order
Citations
PageRank
Felipe Lalanne1566.13
Stephane Maag222927.21