Sciweavers

ICSE
1997
IEEE-ACM

A Theory of Probabilistic Functional Testing

13 years 7 months ago
A Theory of Probabilistic Functional Testing
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into the correctness of the system under test, as a function of two parameters. One is an estimate of the reliability, and the other is an estimate of the risk that the vendor takes when (s)he notifies this reliability percentage to the client. These results are based on the theory of “formula testing” developed in the article. We also present a first prototype of a tool which assists test case generation according to this theory. Lastly, we illustrate our method on a small formal specification. Keywords software testing, random testing, formal specification, functional testing, partition testing, reliability, probabilistic testing.
Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where ICSE
Authors Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
Comments (0)