Abstract
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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have