Property-Oriented Testing based on Simulated Annealing

  title={Property-Oriented Testing based on Simulated Annealing},
  author={Olfa Abdellatif-Kaddour and Pascale Th{\'e}venod-Fosse and H{\'e}l{\`e}ne Waeselynck},
Property-oriented testing uses the specification of a property to drive the testing process. The aim is to validate a program with respect to a target property, that is, to exercise the program and observe whether the property is violated or not. We define a test strategy for safety properties in cyclic control systems. It consists of the stepwise construction of test scenarios. Each step explores possible continuation of the dangerous scenarios found at the previous step, using heuristic… CONTINUE READING
3 Citations
14 References
Similar Papers


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

Simulated Annealing

  • K. A. Dowsland
  • Reeves, “Modern Heuristic Techniques for…
  • 1995
Highly Influential
11 Excerpts

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

  • J-R. Abrial, E. Börger, H. Langmaack
  • Springer-Verlag
  • 1996
Highly Influential
6 Excerpts

Eyes, “Structural performance measure of evolutionary testing applied to worst-case timing of real-time systems

  • H. G. Gross, D. B. Jones
  • IEE Proceedings software,
  • 2000
2 Excerpts

Similar Papers

Loading similar papers…