Automated test-data generation for exception conditions

Software - Practice and Experience

Volumn 30, Issue 1, 2000, Pages 61-79

  Tracey, N ^a   Clark, J ^a   Mander, K ^a   McDermid, J ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; PROGRAM DEBUGGING;

SAFETY CRITICAL SYSTEMS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033880192     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9     Document Type: Article

References (43)

1. Denis Howe. The free on-line dictionary of computing, http://wombat.doc.ic.ac.uk.
2. Leveson NG. Safeware: System Safety and Computers; Addison Wesley, 1995.
3. Toy WN. Fault-tolerant design of local ESS processors. The Theory and Practice of Reliable System Design, 1981.
4. Lions JL. Ariane 5: Flight 501 failure report. Technical report, ESA/CNES, July 1996.
5. ISO/IEC 8652:1995. Ada 95: Language Reference Manual, 1995.
6. McHugh J. Towards efficient code from verfied programs. Technical Report 40, Institute for Computer Science, University of Texas, March 1984.
7. Beizer B. Software Testing Techniques, 2nd edn.; Thomson Computer Press, 1990.
8. Korel B. Automated test data generation for programs with procedures. International Symposium on Software Testing and Analysis; ACM/SIGSOFT, 1996; 209-215.
9. Jones BF, Eyres DE, Sthamer HH. A strategy for using genetic algorithms to automate branch and fault-base testing. The Computer Journal 1998; 41(2):98-107.
10. Boyer R, Elspas B, Levitt K. SELECT - a formal system for testing and debugging programs by symbolic execution. Proceedings International Conference on Reliable Software, 1975; 234-245.
11. Clarke L. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering September 1976; 215-222.
12. Demillo R, Offutt A. Experimental results form an automatic test case generator. ACM Transactions on Software Engineering and Methodology 1993; 2(2):109-127.
13. King J. Symbolic execution and program testing. Communications of the ACM 1976; 19(7):385-394.
14. Ramamoorthy C, Ho F, Chen W. On the automated generation of program test data. IEEE Transactions on Software Engineering 1976; SE-2(4):293-300.
15. Miller W, Spooner. D. Automatic generation of floating-point test data. IEEE Transactions on Software Engineering 1976; SE-2(4):223-226.
16. Ferguson R, Korel B. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 1996; 5(1):63-86.
17. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering 1990; 16(8):870-879.
18. Korel B, Al-Yami AM. Assertion oriented automated test data generation. 18th International Conference on Software Engineering; IEEE, 1996; 71-80.
19. Gallagher MJ, Narashimhan VL. ADTEST: A test data generation suite for ada software systems. IEEE Transactions on Software Engineering 1997; 23(8):473-484.
20. Jones B, Sthamer H, Eyres D. Automatic structural testing using genetic algorithms. Software Engineering Journal 1996; 11(5):299-306.
21. Xanthakis S, Ellis C, Skourlas C, Le Gall A, Katsikas S, Karapoulios K. Application des algorithmes genetiques au test des logiciels. Proceedings of 5th International Conference on Software Engineering, 1992; 625-638.
22. Watkins AL. The automatic generation of test data using genetic algorithms. Proceedings of the 4th Software Quality Conference, 1995; 2:300-309.
23. Jones BF, Sthamer HH, Eyres DE. Generating test-data for Ada procedures using gentic algorithms. Genetic Algorithms in Engineering Systems: Innovations and Applications; IEEE, September 1995; 65-70.
24. Clark J, Tracey N. Solving constraints in LAW. LAW/D5.1.1(E), European Commission - DG III Industry, 1997. Legacy Assessment Workbench Feasibility Assessment.
25. Tracey N, Clark J, Mander K. Automated program flaw finding using simulated annealing. International Symposium on Software Testing and Analysis; ACM/SIGSOFT, 1998; 73-81.
26. Tracey N, Clark J, Mander K. The way forward for unifying dynamic test case generation: The optimisation-based approach. International Workshop on Dependable Computing and Its Applications; IFIP, 1998; 169-180.
27. Tracey N, Clark J, Mander K, McDermid J. An automated framework for structural test-data generation. Proceedings of the International Conference on Automated Software Engineering; IEEE, October 1998.
28. Tracey N, Clark J, McDermid J, Mander K. Integrating safety analysis with automatic test-data generation for software safety verification. Proceedings of the 17th International Conference on System Safety; IEEE, August 1999.
29. Deo N. Graph Theory with Applications to Engineering and Computer Science; Prentice-Hall, 1974.
30. Voas JM, McGraw G. Software Fault Injection: Inoculating Programs Against Errors; Wiley, 1998.
31. Praxis Critical Systems. Spark-Ada Documentation 2.0, 1995.
32. Barnes J. High Integrity Ada: The SPARK Approach; Addison-Wesley, 1997.
33. Ntafos SC. A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 1988; 14(6):868-874.
34. Zhu H, Hall PAV, May JHR. Software unit test coverage and adequacy. ACM Computing Surveys 1997; 29(4):366-427.
35. Kirkpatrick Jr S, Gelatt CD, Vecchi MP. Optimization by simulated annealing. Science 1983; 220(4598):671-680.
36. Holland JH. Adaptation in Natural and Artificial Systems; University of Michigan Press, 1975.
37. Rayward-Smith VJ, Osman IH, Reeves CR, Smith GD (eds). Modern Heuristic Search Methods; Wiley, 1996.
38. MoD. 00-55 requirements of safety related software in defence equipment. Ministry of Defence, August 1997.
39. Radio Technical Commission for Aeronautics. RTCS/DO-178B: software considerations in airborne systems and equipment, December 1992.
40. IEC. 61508 - functional safety of electrical / electronic / programmble electronic safety-related systems. International Electrotechnical Commission, Draft Standard, December 1997.
41. Tracey N, Clark J, Mander K, McDermid J. Integrating automated testing with exception freeness proofs for safety critical systems. Proceedings of the 4th Australian Workshop on Safety Critical Systems and Software; The Australian Computer Society, 1999.
42. Chapman R. Praxis critical systems. Personal communication, 1997.
43. King S, Hammond J, Chapman R, Pryor A. The value of verification: positive experience of industrial proof. Formal Methods 1999 Technical Symposium, 1999.