Abstract

Bu makalede veri akış kriterini sağlayan Pascal programları için otomatik test verisi üreten bir yazılım programı sunulmuştur. Mevcut programların aksine, bizim programımız Pascal programında tek bir düğümdeki okuma komutuna bağlı kalma­makta, bunun yerine herhangi bir düğümde bulunan okuma komutuyla ilgilenmek­tedir. Ayrıca test veri üretim sistemlerinde incelenmesi zor olan çevrim ve dizileri de ele almaktadır. Bu metod, literatürde mevcut programlardan daha kapsamlı prog­ramlar için test üretimini mümkün kılmaktadır

Keywords

• Yazılım testi, Otomatik test üretimi, Test uygunluk kriteri, Veri akış kriteri

AUTOMATIC TEST DATA GENERATION USING DATA FLOW INFORMATION

Abstract

This paper presents a tool for automatically generating test data for Pascal programs that satisfy the data flow criteria. Unlike existing tools, our tool is not limited to Pascal programs whose program flow graph contains read statements in only one node but rather deals with read statements appearing in any node in the program flow graph. Moreover, our tool handles loops and arrays, these two features are traditionally difficult to handle in test data generation systems. This allows us to generate tests for larger programs than those previously reported in the literature.

Keywords

• Software Testing, Automated Test Generation, Test Adequacy Criteria, Data Flow Criteria

References

1. ZHU, H., HALL, P. and MAY J. (1999), "Software Unit Test Coverage and Adequacy", ACM Computing Surveys, Vol. 29, No. 4.
2. WEYUKER, E. J. (1986), "Axiomatizing Software Test Data Adequacy". IEEE Trans. On Software Eng., Vol. 12, NO. 12, pp. 1128-1138.
3. DEMILLO, R. and OFFUTT, A. J. (1991), "Constraint-Based Automatic Test Data Generation", IEEE Trans. On Software Eng., Vol. 17, NO. 9, pp. 900- 910.
4. FRANKL, P. G. and WEYUKER, E. J. (1993), "An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing ". IEEE Trans. On Software Eng., Vol. 19, NO. 8, pp. 774-787.
5. FRANKL, P. G. and WEYUKER, E. J. (1993), "Provable Improvements on Branch Testing". IEEE Trans. On Software Eng., Vol. 19, NO. 10, pp. 962- 975.
6. OFFUTT, A. J., PAN, J., TEWARY K. and ZHANG, T. (1996), "An Experimental Evaluation of Data Flow and Mutation Testing". Software- practice and Experience, Vol. 26, No. 2, pp. 165-176.
7. RAPPS, S. and WEYUKER, E. J. (1985), "Selecting Software Test Data using Data Flow Information". IEEE Trans. On Software Eng., Vol. 14, NO.4, pp. 367-375.
8. FRANKL, P.G. and WEYUKER, E. J. (1988), "An Applicable Family of Data Flow Testing Criteria". IEEE Trans. On Software Eng., Vol. 14, N 0.10, pp. 1483-1498.

9. WEYUKER, E. J. (1993), "More Experience with Data Flow Testing". IEEE Trans. On Software Eng., Vol. 19, NO. 9, pp. 912-919.
10. FRANKL, P. G. and WEYUKER, E. J. (1993), "AFormal Analysis of the Fault- Detecting Ability of Testing Methods". IEEE Trans. On Software Eng., Vol. 19, NO. 3, pp. 202-213.
11. INCE, D. C. (1987), "The Automatic Generation of Test Data". The Computer Journal, Vol. 30, NO. 1, pp 63-69.
12. KOREL, B. (1990), "Automated Software Test Data Generation". IEEE Trans. Software Eng. Vol. 16, NO. 8, pp. 870-879.
13. FERGUSON, R. and KOREL, B. (1996), "The Chaining Approach for Software Test Data Generation", ACM Trans. On Software Eng. And Methodology, Vol. 5, NO. 1, pp. 63-86.
14. OFFUTT, A. J. and PAN, J. "The Dynamic Domain Reduction Procedure for Test Data Generation", http://www.isse.gmu.edu/faculty/ofut/index.html.