Paper Info
Title
How to Reduce the Cost of Passive Testing
Abstract
This paper presents an extension of the methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the most relevant expected properties of the implementation under test. Intuitively, an invariant expresses the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior in a lapse of time reflected in the invariant. When a trace is checked against an invariant, for each input/output action that appears in the trace then the complete set of invariants is checked. That is, it is assumed that invariants must hold at any point of the trace, and the cost of checking this process depends on the length of the trace and the number of invariants. In this paper a novel approach that allows us to âactivateâ and âdeactivateâ some invariants during the testing task is presented. Within this approach automatically the number of invariants that must be checked can be decreased at runtime, which causes a reduction in the cost of the testing task without loosing any power of error detection.
Year
DOI
Venue
2012
10.1109/HASE.2012.36
High-Assurance Systems Engineering
Keywords
Field
DocType
cost reduction,formal verification,program diagnostics,program testing,cost reduction,error detection,formal testing,implementation-under-test,input-output action,invariant activation,invariant deactivation,passive testing,temporal restrictions,Formal Testing,Monitoring,Passive testing
System testing,Orthogonal array testing,Computer science,Algorithm,Real-time computing,Non-regression testing,Complete set of invariants,Software performance testing,White-box testing,Invariant (mathematics),Formal verification
Conference
ISSN
ISBN
Citations 
1530-2059
978-1-4673-4742-6
0
PageRank 
References 
Authors
0.34
13
2
Name
Order
Citations
PageRank
Cesar Andres100.34
Cavalli, A.2141.62