Formal Methods and Testing: Hypotheses, and Correctness Approximations

Photograph of Marie Claude Gaudel

Marie Claude Gaudel

(LRI, Paris-Sud University & CNRS, Orsay, France)

It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various kinds of formal specifications, their submission, and verdict. All these methods rely upon some hypotheses on the system under test that formalise the gap between the success of a test campaign and the correctness of the system under test.

In this talk we recall the notions of testability hypotheses and selection hypotheses, and we show how they have been used or could be used on various kinds of formal methods. We also address the issues of observation and control of the system under test.
Friday 10th March 2006, 14:00
Robert Recorde Room
Department of Computer Science