Property-oriented testing: A strategy for exploring dangerous scenarios

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2003, Pages 1128-1134

  Abdellatif Kaddour, Olfa ^a   Thévenod Fosse, Pascale ^a   Waeselynck, Hélène ^a  

^a LAAS CNRS   (France)

Author keywords

Case study; High level safety property; Software testing; Test data generation

Indexed keywords

ALGORITHMS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

COMPUTER SOFTWARE;

EID: 0037634718     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. J-R. Abrial, E. Börger and H. Langmaack (Eds), Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Springer-Verlag, 1996.
2. J.R. Cuéllar and I. Wildgruber, "The Real-Time Behavior of the Steam-Boiler", in [1], pp. 185-202.
3. J.W. Duran and S.C. Ntafos, "An Evaluation of Random Testing", IEEE Transactions on Software Engineering, 10(4), pp. 438-444, July 1984.
4. G. Fink and M. Bishop, "Property-Based Testing; A New Approach to Testing for Assurance", ACM SIGSOFT on Software Engineering, 22(4), pp. 74-80, July 1997.
5. S. Kirkpatrick, C.D. Gelatt and M.P. Vecchi, "Optimization by Simulated Annealing", Science, 220(4598), pp. 671-680, May 1983.
6. C.C. Michael, G. McGraw and M.A. Schatz, "Generating Software Test Data by Evolution", IEEE Transactions on Software Engineering, 27(12), pp. 1085-110, December 2001.
7. C.R. Reeves (Ed), Modern Heuristic Techniques for Combinatorial Problems, McGraw-Hill, 1995.
8. A.C. Schultz, J.J. Grefenstette and K.A. De Jong, "Learning to Break Things: Adaptive Testing of Intelligent Controllers", in Handbook on Evolutionary Computation, Chapter G3.5, IOP Publishing Ltd. and Oxford Press, 1997.
9. N. Tracey, J. Clark and K. Mander, "Automated Program Flaw Finding using Simulated Annealing", in Proc. Int. Symp. on Software Testing and Analysis (ISSTA'98), Clearwater Beach, Florida, USA, ACM Press, pp. 73-81, 1998.
10. J.A. Whittaker and M.G. Thomason, "A Markov Chain Model for Statistical Software Testing", IEEE Transactions on Software Engineering, 20(10), pp. 812-824, October 1994.
11. http://www.atelierb.societe.com/BOILER/UK/main.h