Projects per year
Abstract
Statistical testing aims at generating random test data that respect selected probabilistic properties. A distribution probability is associated with the program input space in order to achieve statistical test purpose: to test the most
frequent usage of software or to maximize the probability of satisfying a structural coverage criterion for instance.
In this paper, we propose a new statistical testing method that generates sequences of random test data that respect
the following probabilistic properties: 1) each sequence guarantees the uniform selection of feasible paths only and
2) the uniform selection of test data over the subdomain associated with these paths. Baudry et al. present a testing fordiagnosis method where the essential notion of Dynamic Basic Block was identified to be strongly correlated to the effectiveness of faultlocalization technique. We show that generating a sequence of random test data respecting these properties allows to welldistinguished Dynamic Basic Blocks. Thanks to Constraint programming techniques, we propose an efficient algorithm that uniformly selects feasible paths only by drastically decreasing the number of rejects (test data that activate another control flow path) during the test data selection. We implemented this algorithm in a statistical test data generator for Java programs. A first experimental validation is presented
Original language  English 

Publication date  2009 
Publication status  Published  2009 
Event  European Workshop on Dependable Computing  Toulouse, France Duration: 14 May 2009 → 15 May 2009 Conference number: 12 
Conference
Conference  European Workshop on Dependable Computing 

Number  12 
Country/Territory  France 
City  Toulouse 
Period  14/05/2009 → 15/05/2009 
Keywords
 Statistical Software Testing
 FaultLocalization
 ConstraintBased Testing
Projects
 1 Finished

Logicstatistic modelling and analysis of biological sequence data
Christiansen, H., Gallagher, J. P., Skovgaard, O., Pedersen, M. B., Garrigues, C., Jaeger, M., Forsberg, R., Steffensen, P. J., Knudsen, T., Knudsen, B., Krogh, A. & Sato, T.
01/05/2007 → 31/12/2012
Project: Research