Modern heuristic techniques for combinatorial problems
Modern heuristic techniques for combinatorial problems
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
The Real-Time Behavior of the Steam Boiler
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Simulated annealing applied to test generation: landscape characterization and stopping criteria
Empirical Software Engineering
Hi-index | 0.00 |
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. The paper defines a test strategy for safety properties in cyclic control systems. It consists of the stepwise construction of test scenarios. Each step explores possible continuations of the dangerous scenarios found at the previous step, using black-box sampling techniques. The feasibility of the strategy is illustrated on a stem boiler case study. The target property is the "non explosion" of the boiler in presence of faults in the physical devices. The experimental results are promising since four different explosive scenarios have been identified.