BibTex RIS Kaynak Göster
Yıl 2000, Cilt: 1 Sayı: 2, 140 - 153, 01.07.2000

Öz

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

Kaynakça

  • ZHU, H., HALL, P. and MAY J. (1999), "Software Unit Test Coverage and Adequacy", ACM Computing Surveys, Vol. 29, No. 4.
  • WEYUKER, E. J. (1986), "Axiomatizing Software Test Data Adequacy". IEEE Trans. On Software Eng., Vol. 12, NO. 12, pp. 1128-1138.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • WEYUKER, E. J. (1993), "More Experience with Data Flow Testing". IEEE Trans. On Software Eng., Vol. 19, NO. 9, pp. 912-919.
  • 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.
  • INCE, D. C. (1987), "The Automatic Generation of Test Data". The Computer Journal, Vol. 30, NO. 1, pp 63-69.
  • KOREL, B. (1990), "Automated Software Test Data Generation". IEEE Trans. Software Eng. Vol. 16, NO. 8, pp. 870-879.
  • 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.
  • OFFUTT, A. J. and PAN, J. "The Dynamic Domain Reduction Procedure for Test Data Generation", http://www.isse.gmu.edu/faculty/ofut/index.html.

AUTOMATIC TEST DATA GENERATION USING DATA FLOW INFORMATION

Yıl 2000, Cilt: 1 Sayı: 2, 140 - 153, 01.07.2000

Öz

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.

Kaynakça

  • ZHU, H., HALL, P. and MAY J. (1999), "Software Unit Test Coverage and Adequacy", ACM Computing Surveys, Vol. 29, No. 4.
  • WEYUKER, E. J. (1986), "Axiomatizing Software Test Data Adequacy". IEEE Trans. On Software Eng., Vol. 12, NO. 12, pp. 1128-1138.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • WEYUKER, E. J. (1993), "More Experience with Data Flow Testing". IEEE Trans. On Software Eng., Vol. 19, NO. 9, pp. 912-919.
  • 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.
  • INCE, D. C. (1987), "The Automatic Generation of Test Data". The Computer Journal, Vol. 30, NO. 1, pp 63-69.
  • KOREL, B. (1990), "Automated Software Test Data Generation". IEEE Trans. Software Eng. Vol. 16, NO. 8, pp. 870-879.
  • 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.
  • OFFUTT, A. J. and PAN, J. "The Dynamic Domain Reduction Procedure for Test Data Generation", http://www.isse.gmu.edu/faculty/ofut/index.html.
Toplam 14 adet kaynakça vardır.

Ayrıntılar

Birincil Dil İngilizce
Bölüm Araştırma Makalesi
Yazarlar

Abdelaziz Khamıs Bu kişi benim

Reem Bahgat Bu kişi benim

Rana Abdelazız Bu kişi benim

Yayımlanma Tarihi 1 Temmuz 2000
Yayımlandığı Sayı Yıl 2000 Cilt: 1 Sayı: 2

Kaynak Göster

APA Khamıs, A., Bahgat, R., & Abdelazız, R. (2000). AUTOMATIC TEST DATA GENERATION USING DATA FLOW INFORMATION. Doğuş Üniversitesi Dergisi, 1(2), 140-153.