Software testing based on formal specifications: a theory and a tool

  title={Software testing based on formal specifications: a theory and a tool},
  author={Gilles Bernot and Marie-Claude Gaudel and Bruno Marre},
  journal={Software Engineering Journal},
This paper addresses the problem of constructing test data sets from formal specifications. Starting from a notion of an ideal exhaustive test data set which is derived from the notion of satisfaction of the formal specification, it is shown how to select by refinements a practicable test set, i.e. computable, not rejecting correct programs (unbiased), and accepting only correct programs (valid), assuming some hypotheses. The hypotheses play an important role: they formalize common test… CONTINUE READING
Highly Influential
This paper has highly influenced 23 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 358 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 215 extracted citations

359 Citations

Citations per Year
Semantic Scholar estimates that this publication has 359 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 30 references

A formalism for test with oracle based on algebraic specifications LIENS Report 89-4, LIENS/DMI

  • G. Bernot
  • 1989
1 Excerpt

Algebraic specifications and software testing: theory and application LRI Report 407, Orsay, February 1988, and extended abstract

  • Gaudel M.-C, B Marre
  • in Proc. workshop on Software Testing,
  • 1988
1 Excerpt

Prolog with Simplification Programming of Future Generation Computers

  • L. Fribourg
  • Fuchi, Nivat Ed. Elsevier Science Publishers B.V…
  • 1988
3 Excerpts

The use of Generic Constraint Logic Programming for Software Testing and Analysis Comp. Sc

  • C Wild
  • Technical Report Series,
  • 1988
1 Excerpt

Similar Papers

Loading similar papers…