The Complexity of Data Flow Criteria for Test Data Selection

Rapps et Weyuker ont introduits une famille de criteres de choix de donnees tests, bases sur l'analyse du flux des donnees, utilisees pour optimiser les compilateurs. On determine les bornes superieures du volume de donnees tests necessaire pour satisfaire chaque critere, et par consequent la difficulte relative pour satisfaire chacun de ces criteres

[1]  Donald E. Knuth,et al.  An empirical study of FORTRAN programs , 1971, Softw. Pract. Exp..

[2]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[3]  Simeon C. Ntafos,et al.  ON TESTING WITH REQUIRED ELEMENTS. , 1981 .

[4]  Janusz W. Laski,et al.  A Data Flow Oriented Program Testing Strategy , 1983, IEEE Transactions on Software Engineering.

[5]  Matthew S. Hecht,et al.  Flow Analysis of Computer Programs , 1977 .

[6]  Elaine J. Weyuker,et al.  Data flow analysis techniques for test data selection , 2015, ICSE '82.