Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach

ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis

Volumn , Issue , 2004, Pages 108-118

  Baresel, André ^a   Harman, Mark ^b   Binkley, David ^c   Korel, Bogdan ^d  

^a DAIMLER AG   (Germany)

^b BRUNEL UNIVERSITY   (United Kingdom)

^c LOYOLA UNIVERSITY MARYLAND   (United States)

^d ILLINOIS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Empirical Evaluation; Evolutionary Testing; Flags; Testability Transformation

Indexed keywords

EMPIRICAL EVALUATIONS; EVOLUTIONARY TESTING; FLAGS; TESTABILITY TRANSFORMATIONS;

CODES (SYMBOLS); DATA ACQUISITION; DATA FLOW ANALYSIS; EVOLUTIONARY ALGORITHMS; GENETIC ALGORITHMS; SOFTWARE ENGINEERING; STRUCTURAL ANALYSIS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (45)

1. A. Baresel and H. Sthamer. Evolutionary testing of flag conditions. In Genetic and Evolutionary Computation (GECCO-2003), volume 2724 of LNCS, pages 2442-2454, Chicago, 12-16 July 2003. Springer-Verlag.
2. A. Baresel, H. Sthamer, and M. Schmidt. Fitness function design to improve evolutionary structural testing. In GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, pages 1329-1336, New York, 9-13 July 2002. Morgan Kaufmann Publishers.
3. D. W. Binkley and K. B. Gallagher. Program slicing. In M. Zelkowitz, editor, Advances in Computing, Volume 43, pages 1-50. Academic Press, 1996.
4. L. Bottaci. Instrumenting programs with flag variables for test data search by genetic algorithms. In GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, pages 1337-1342, New York, 9-13 July 2002. Morgan Kaufmann Publishers.
5. British Standards Institute. BS 7925-1 vocabulary of terms in software testing, 1998.
6. British Standards Institute. BS 7925-2 software component testing, 1998.
7. J. Clark, J. J. Dolado, M. Harman, R. M. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd. Reformulating software engineering as a search problem. IEE Proceedings - Software, 150(3):161-175, 2003.
8. L. A. Clarke. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering, 2(3):215-222, Sept. 1976.
9. P. D. Coward. Symbolic execution systems - a review. Software Engineering Journal, 3(6):229-239, Nov. 1988.
10. J. Darlington and R. M. Burstall. A tranformation system for developing recursive programs. J. ACM, 24(1):44-67, 1977.
11. R. A. DeMillo and A. J. Offutt. Experimental results from an automatic test generator, acm Transactions of Software Engineering and Methodology, 2(2):109-127, Mar. 1993.
12. N. Dershowitz and Z. Manna. The evolution of programs: A system for automatic program modification. In Conference Record of the Fourth Annual Symposium on Principles of Programming Languages, pages 144-154. ACM SIGACT and SIGPLAN, ACM Press, 1977.
13. J. J. Dolado, M. Harman, M. C. Otero, and L. Hu. An empirical investigation of the influence of a type of side effects on program comprehension. IEEE Transactions on Software Engineering, 29(7):665-670, 2003.
14. M. S. Feather. A system for assisting program transformation. ACM Transactions on Programming Languages and Systems, 4(1):1-20, Jan. 1982.
15. R. Ferguson and B. Korel. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1):63-86, Jan. 1996.
16. Grammatech Inc. The codesurfer slicing system, 2002.
17. M. Harman, L. Hu, R. M. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper. Testability transformation. IEEE Transactions on Software Engineering, 30(1):3-16, Jan. 2004.
18. M. Harman and B. F. Jones. Search based software engineering. Information and Software Technology, 43(14):833-839, Dec. 2001.
19. J. H. Holland. Adaption in Natural and Artificial Systems. MIT Press, Ann Arbor, 1975.
20. B. Jones, H.-H. Sthamer, and D. Eyres. Automatic structural testing using genetic algorithms. The Software Engineering Journal, 11:299-306, 1996.
21. B. F. Jones, D. E. Eyres, and H. H. Sthamer. A strategy for using genetic algorithms to automate branch and fault-based testing. The Computer Journal, 41(2):98-107, 1998.
22. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
23. P. McMinn. A survey of evolutionary testing. Software Testing, Verification and Reliability. To appear.
24. C. Michael, G. McGraw, and M. Schatz. Generating software test data by evolution. IEEE Transactions on Software Engineering, (12):1085-1110, Dec. 2001.
25. M. Mitchell. An Introduction to Genetic Algorithms. MIT Press, 1996.
26. F. Mueller and J. Wegener. A comparison of static analysis and evolutionary testing for the verification of timing constraints. In 4th IEEE Real-Time Technology and Applications Symposium (RTAS '98), pages 144-154, Washington - Brussels - Tokyo, June 1998. IEEE.
27. A. J. Offutt. An integrated system for automatically generating test data. In R. T. Ng, Peter A.; Ramamoorthy, C.V.; Seifert, Laurence C.; Yeh, editor, Proceedings of the First International Conference on Systems Integration, pages 694-701, Morristown, NJ, Apr. 1990. IEEE Computer Society Press.
28. R. P. Pargas, M. J. Harrold, and R. R. Peck. Test-data generation using genetic algorithms. The Journal of Software Testing, Verification and Reliability, 9:263-282, 1999.
29. H. A. Partsch. The Specification and Transformation of Programs: A Formal Approach to Software Development. Springer, 1990.
30. H. Pohlheim. Genetic and evolutionary algorithm toolbox for use with Matlab.
31. H. Pohlheim and J. Wegener. Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In W. Banzhaf, J. Daida, A. E. Eiben, M. H. Garzon, V. Honavar, M. Jakiela, and R. E. Smith, editors, Proceedings of the Genetic and Evolutionary Computation Conference, volume 2, page 1795, Orlando, Florida, USA, 13-17 July 1999. Morgan Kaufmann.
32. P. Puschner and R. Nossal. Testing the results of static worst-case execution-time analysis. In 19th IEEE Real-Time Systems Symposium (RTSS '98), pages 134-143, Madrid, Spain, 1998. IEEE Computer Society Press, Los Alamitos, California, USA.
33. Radio Technical Commission for Aeronautics. RTCA DO178-B Software considerations in airborne systems and equipment certification, 1992.
34. A. Schultz, J. Grefenstette, and K. Jong. Test and evaluation by genetic algorithms. IEEE Expert, 8(5):9-14, 1993.
35. F. Tip. A survey of program slicing techniques. Technical Report CS-R9438, Centrum voor Wiskunde en Informatica, Amsterdam, 1994.
36. N. Tracey, J. Clark, and K. Mander. Automated program flaw finding using simulated annealing. In International Symposium on Software Testing and Analysis, pages 73-81. ACM/SIGSOFT, March 1998.
37. N. Tracey, J. Clark, and K. Mander. The way forward for unifying dynamic test-case generation: The optimisation-based approach. In International Workshop on Dependable Computing and Its Applications (DCIA), pages 169-180. IFIP, January 1998.
38. J. M. Voas and K. W. Miller. Software testability: The new verification. IEEE Software, 12(3):17-28, May 1995.
39. M. Ward. Reverse engineering through formal transformation. The Computer Journal, 37(5), 1994.
40. J. Wegener, A. Baresel, and H. Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms, 43(14):841-854, 2001.
41. J. Wegener, K. Grimm, M. Grochtmann, H. Sthamer, and B. F. Jones. Systematic testing of real-time systems. In 4th International Conference on Software Testing Analysis and Review (EuroSTAR 96), 1996.
42. J. Wegener and F. Mueller. A comparison of static, analysis and evolutionary testing for the verification of timing constraints. Real-Time Systems, 21(3):241-268, 2001.
43. J. Wegener, H. Sthamer, B. F. Jones, and D. E. Eyres. Testing real-time systems using genetic algorithms. Software Quality, 6:127-135, 1997.
44. M. Weiser. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
45. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.