Search based automatic test-data generation at an architectural level

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3103, Issue , 2004, Pages 1413-1424

  Zhan, Yuan ^a   Clark, John ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMMUNICATION SYSTEMS; EMBEDDED SYSTEMS;

ARCHITECTURAL DESCRIPTION LANGUAGES; ARCHITECTURAL LEVELS; ARCHITECTURAL MODELING; AUTOMATIC TEST DATA GENERATION; EFFECTIVE TESTING; MATLAB /SIMULINK; PERFORMANCE TESTING; TESTING FRAMEWORK;

MATLAB;

EID: 35048852992     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24855-2_161     Document Type: Article

References (18)

1. B. Beizer: Software Testing Techniques. Thomason Computer Press, 2nd edition. 1990.
2. Leonardo Bottaci: Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data. GECCO 2003.
3. J. Beiman, D. Dreilinger and L. Lin: Using Fault Injection to Increase Software Test Coverage. In Proc. 7th Int. Symp. on Software Reliability Engineering (ISSRE'96).
4. Jeffrey Voas and Gary McGraw: Software Fault Injection: Innoculating Programs Against Errors. By John Wiley & Sons, 1997
5. Hong Zhu, Patrick A. V. Hall and John H. R. May: Software Unit Test Coverage and Adequacy. ACM Computing Surveys, Vol. 29, No. 4 December 1997.
6. Nigel Tracey, John Clark, Keith Mander and John McDermid: An Automated Framework for Structural Test Data Generation. Automated Software Engineering 1998, Honolulu.
7. S. Kirkpatrick, C. Gelatt, and M. Vecchi. Optimization by Simulated Annealing. Science, 220(4598): 671-680, May 1983.
8. B. F Jones, H. Sthamer, and D. E. Eyres. Automatic Structural Testing Using Genetic Algorithms. Software Engineering Journal, 11(5): 299-306, 1996.
9. B. Korel. Automated Software Test Data Generation. IEEE Transactions on Software Engineering, 16(8): 870-879, August 1990.
10. C. R. Reeves (Ed.). Modern Heuristic Techniques for Combinatorial Problems. Blackwell Scientific Publications, Oxford, 1993.
11. J. Wegener, A. Baresel, and H. Sthamer. Evolutionary Test Environment for Automatic Structural Testing. Information and Software Technology, 43: 841-854, 2001.
12. Nigel Tracey, John Clark, John McDermid and Keith Mander. Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification. 17th International System Safety Conference. Pages 128-137. August 1999.
13. Nigel Tracey, John Clark, Keith Mander and John McDermid. Automated test-data generation for exception conditions. Software Practice and Experience, January 2000.
14. Nigel Tracey, John Clark and Keith Mander. Automated Program Flaw Finding using Simulated Annealing. International Symposium on Software Testing and Analysis (ISSTA) 1998.
15. N. Metropolis, A. W. Rosenbluth, A. H. Teller, and E. Teller. Equation of State Calculation by Fast Computing Machine. Journal of Chem. Phys., 21:1087-1091, 1953.
16. Ghinwa Baradhi and Nashat Mansour. A Comparative Study of Five Regression Testing Algorithms. In the Proceedings of the Australian Software Engineering Conference, 1997.
17. th Euromicro Conference on Real-Time Systems (ECRTS'02), Austria, 2002.
18. Search Based Software Test Data generation: A Survey. Phil McMinn. Preprint (to appear in STVR). http://www.dcs.shef.ac.uk/-phil/puh/sbst.pdf