for producing âgoodâ tests for an external oracle. [functional correctness, security ... support these criteria in a unified way bonus : what about infeasible ...
Automated White-Box Testing Beyond Branch Coverage S´ebastien Bardin, Nikolai Kosmatov, Micka¨el Delahaye CEA LIST, Software Safety Lab (Paris-Saclay, France)
Bardin et al.
Dagstuhl seminar 14442
1/ 22
The problem DSE is GREAT for automating structural testing X very powerful approach to (white box) test generation X many tools and many successful case-studies since mid 2000’s
Bardin et al.
Dagstuhl seminar 14442
2/ 22
The problem DSE is GREAT for automating structural testing X very powerful approach to (white box) test generation X many tools and many successful case-studies since mid 2000’s
Yet, no real support for many structural coverage criteria [except branch coverage]
Would be useful : when required to produce tests achieving some criterion for producing “good” tests for an external oracle [functional correctness, security, performance, etc.]
Bardin et al.
Dagstuhl seminar 14442
2/ 22
Our goals
extend DSE to a large class of structural coverage criteria ◮ ◮
recent efforts in this direction through instrumentation but exponential explosion of the search space
support these criteria in a unified way bonus : what about infeasible requirement detection ?
Labels A well-defined specification mechanism for coverage criteria based on predicates, can easily encode a large class of criteria in the scope of standard program analysis techniques
Given a program P, a label l is a pair (loc, ϕ), where : ϕ is well-defined in P at location loc ϕ contains no side-effect expression Basic definitions an annotated program is a pair hP, Li, with L set of labels a test datum t covers l if P(t) reaches loc and satisfies ϕ
Bardin et al.
Dagstuhl seminar 14442
5/ 22
Simulation of standard coverage criteria
statement_1 ; if ( x == y && a < b ) {...}; statement_3 ;
We have always done a lot of testing at RotorWay. ... zen. Because of RotorWay's decision the Scorpion is a much improved craft today over what it was 5 years ...
21 juil. 2016 - L'élimination de la peinture au plomb sur l'extérieur de l'enceinte et le dôme ... revêtement solide caoutchouteux et qui conviennent pour des ...
15 juin 2016 - les moyens d'accès au site; la gravité, l'exposition et l'incertitude des conditions météorologiques, les conditions du sol, et tout hébergement ...
6 juil. 2016 - Q1. J'ai joint une demande de soumission de matériaux équivalents pour le revêtement extérieur du Centre de biodiversité : Matériaux ...
In fact, two tracks, 'The Universal Scam' and 'Eyes Of The Blind', were omitted from the final album, only being released two years later on the rarities CD, 'The ...
first break volume 25, September 2007. In many parts of the world, pre-stack time migration. (PSTM) still represents the majority of seismic imaging activity in the ...
15 juin 2016 - ... la gravité, l'exposition et l'incertitude des conditions météorologiques, ... l'espace prévu ci-dessous et en joignant une copie du présent ...
15 juin 2016 - indicated on plans. Anode's rods must be installing in the assembly, as show on drawings. The junction anodes â electrical conductors are ...