Testability transformation - Program transformation to improve testability

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

Volumn 4949 LNCS, Issue , 2008, Pages 320-344

  Harman, Mark ^a   Baresel, André ^b   Binkley, David ^c   Hierons, Robert ^d   Hu, Lin ^a   Korel, Bogdan ^e   McMinn, Phil ^f   Roper, Marc ^g  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b DAIMLER AG   (Germany)

^c LOYOLA UNIVERSITY MARYLAND   (United States)

^d BRUNEL UNIVERSITY   (United Kingdom)

^e ILLINOIS INSTITUTE OF TECHNOLOGY   (United States)

^f UNIVERSITY OF SHEFFIELD   (United Kingdom)

^g UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TRANSFORMATIONS; PARAMETER ESTIMATION; SEMANTICS; SOFTWARE TESTING;

TESTABILITY TRANSFORMATION; TRANSFORMING A PROGRAM;

COMPUTER PROGRAMMING;

EID: 43049100010     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78917-8_11     Document Type: Conference Paper

References (47)

1. Altman, D.G.: Practical Statistics for Medical Research. Chapman and Hall, Boca Raton (1997)
2. Baresel, A., Binkley, D., Harman, M., Korel, B.: Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, Massachusetts, USA, pp. 43-52. ACM, New York (2004)
3. Baresel, A., Pohlheim, H., Sadeghipour, S.: Structural and functional sequence test of dynamic and state-based software with evolutionary algorithms. In: Cantú-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O'Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol. 2724, pp. 2428-2441. Springer, Heidelberg (2003)
4. Baresel, A., Sthamer, H.: Evolutionary testing of flag conditions. In: Cantú-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O'Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol. 2724, pp. 2442-2454. Springer, Heidelberg (2003)
5. Baresel, A., Sthamer, H., Schmidt, M., 2002, J.: Fitness function design to improve evolutionary structural testing. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, San Francisco, CA, July 9-13, 2002, pp. 1329-1336. Morgan Kaufmann Publishers, San Francisco (2002)
6. Binkley, D.W., Gallagher, K.B.: Program slicing. In: Zelkowitz, M. (ed.) Advances in Computing, 43th edn., pp. 1-50. Academic Press, London (1996)
7. Bottaci, L.: Instrumenting programs with flag variables for test data search by genetic algorithms. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, New York, July 9-13, 2002, pp. 1337-1342. Morgan Kaufmann, San Francisco (2002)
8. British Standards Institute. BS 7925-1 vocabulary of terms in software testing (1998)
9. Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering 2(3), 215-222 (1976)
10. Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation 2(4), 511-547 (1992)
11. Coward, P.D.: Symbolic execution systems - a review. Software Engineering Journal 3(6), 229-239 (1988)
12. Darlington, J., Burstall, R.M.: A tranformation system for developing recursive programs. Journal of the ACM 24(1), 44-67 (1977)
13. Richard A DeMillo and A.J. Offutt. Experimental results from an automatic test generator. ACM Transactions of Software Engineering and Methodology, 2(2): 109-127, March 1993.
14. Dershowitz, N., Manna, Z.: The evolution of programs: A system for automatic program modification. In: Conference Record of the Fourth Annual Symposium on Principles of Programming Languages. ACM SIGACT and SIGPLAN, pp. 144-154. ACM Press, New York (1977)
15. Feather, M.S.: A system for assisting program transformation. ACM Transactions on Programming Languages and Systems 4(1), 1-20 (1982)
16. Ferguson, R., KorelThe, B.: The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 5(1), 63-86 (1996)
17. Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems 9(3), 319-349 (1987)
18. Graves, T., Harrold, M.J., Kim, J.-M., Porter, A., Rothermel, G.: An empirical study of regression test selection techniques. In: Proceedings of the 20th International Conference on Software Engineering, April 1998, pp. 188-197. IEEE Computer Society Press, Los Alamitos (1998)
19. Harman, M., Hu, L., Hierons, R., Baresel, A., Sthamer, H.: Improving evolutionary testing by flag removal ('best at GECCO' award winner). In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, July 9-13, 2002, pp. 1359-1366. Kaufmann Publishers, San Francisco (2002)
20. Harman, M., Hu, L., Hierons, R.M., Wegener, J., Sthamer, H., Baresel, A., Roper, M.: Testability transformation. IEEE Transactions on Software Engineering 30(1), 3-16 (2004)
21. Hierons, R., Harman, M., Fox, C.: Branch-coverage testability transformation for unstructured programs. The Computer Journal 48(4), 421-436 (2005)
22. Jones, B.F., Sthamer, H.-H., Eyres, D.E.: Automatic structural testing using genetic algorithms. The Software Engineering Journal 11, 299-306 (1996)
23. King, J.C.: Symbolic execution and program testing. Communications of the ACM 19(7), 385-394 (1976)
24. King, K.N., Offutt, A.J.: A FORTRAN language system for mutation-based software testing. Software Practice and Experience 21, 686-718 (1991)
25. Korel, B.: Automated software test data generation. IEEE Transactions on Software Engineering 16(8), 870-879 (1990)
26. Korel, B., Chung, S., Apirukvorapinit, P.: Data dependence analysis in automated test generation. In: Proceedings: 7th IASTED International Conference on Software Engineering and Applications, pp. 476-481 (2003)
27. Korel, B., Harman, M., Chung, S., Apirukvorapinit, P., Gupta, R.: Data dependence based testability transformation in automated test generation. In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, Illinios, USA, pp. 245-254, November 2005 (2005)
28. McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification and Reliability 14(2), 105-156 (2004)
29. McMinn, P., Holcombe, M.: The state problem for evolutionary testing. In: Cantú-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O'Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol. 2724, pp. 2488-2497. Springer, Heidelberg (2003)
30. McMinn, P., Holcombe, M.: Evolutionary testing of state-based programs. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2005), Washington DC, USA, pp. 1013-1020. ACM Press, New York (2005)
31. McMinn, P., Binkley, D., Harman, M.: Testability transformation for efficient automated test data search in the presence of nesting. In: UK Software Testing Workshop (UK Test 2005), Sheffield, UK (September 2005)
32. Michael, C.C., McGraw, G., Schatz, M.A.: Generating software test data by evolution. IEEE Transactions on Software Engineering 12, 1085-1110 (2001)
33. Mueller, F., Wegener, J.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. In: 4th IEEE Real-Time Technology and Applications Symposium RTAS 1998, Washington, Brussels, Tokyo, June 1998, pp. 144-154. IEEE, Los Alamitos (1998)
34. Offutt, A.J.: An integrated system for automatically generating test data. In: Raymond, T.N., Peter, A., Ramamoorthy, C.V., Seifert, L.C., Yeh (eds.) Proceedings of the First International Conference on Systems Integration, Morristown, NJ, April 1990, pp. 694-701. IEEE Computer Society Press, Los Alamitos (1990)
35. Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-data, generation using genetic algorithms. The Journal of Software Testing, Verification and Reliability 9, 263-282 (1999)
36. Partsch, H.A.: The Specification and Transformation of Programs: A Formal Approach to Software Development. Springer, Heidelberg (1990)
37. Pohlheim, H., Wegener, J.: Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In: Banzhaf, W., Daida, J., Eiben, A.E., Garzon, M.H., Honavar, V., Jakiela, M., Smith, R.E. (eds.) Proceedings of the Genetic and Evolutionary Computation Conference, July 13-17, 1999, vol. 2, p. 1795. Morgan Kaufmann, San Francisco (1999)
38. Puschner, P., Nossal, R.: Testing the results of static worst-case execution-time analysis. In: 19th IEEE Real-Time Systems Symposium (RTSS 1998), pp. 134-143. IEEE Computer Society Press, Los Alamitos (1998)
39. Radio Technical Commission for Aeronautics. RTCA DO178-B Software considerations in airborne systems and equipment certification (1992)
40. Schultz, A., Grefenstette, J., Jong, K.: Test and evaluation by genetic algorithms. IEEE Expert 8(5), 9-14 (1993)
41. Traeey, N., Clark, J., Mander, K.: Automated program flaw finding using simulated annealing. In: International Symposium on Software Testing and Analysis, March 1998, pp. 73-81. ACM/SIGSOFT, New York (1998)
42. Tracey, N., Clark, J., Mander, K.: The way forward for unifying dynamic testcase generation: The optimisation-based approach. In: International Workshop on Dependable Computing and Its Applications (DCIA), IFIP, January 1998, pp. 169-180 (1998)
43. Ward, M.: Reverse engineering through formal transformation. The Computer Journal 37(5) (1994)
44. Wegener, J., Baresel, A., Sthamer, H.: 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)
45. Wegener, J., Mueller, F.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real-Time Systems 21(3), 241-268 (2001)
46. Weiser, M.: Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI (1979)
47. Zhu, H.: A formal analysis of the subsume relation between software test adequacy criteria. IEEE Transactions on Software Engineering 22(4), 248-255 (1996)