SammanfattningDenna artikel illustrerar hur programvara kan beskrivas exakt med hjälp av LD-relationer, hur dessa beskrivningar kan presenteras på ett läsbart sätt med hjälp av tabellangivelser, och ett sätt sådana beskrivningar kan användas för att testa program. Vi beskriver en algoritm som kan användas för att generera ett test oracle från programdokumentation, och presentera resultaten av att använda ett verktyg baserat på det för att hjälpa till att testa en del av en kommersiell nätverkshantering ansökan. Resultaten visar att dessa metoder kan vara effektiva när det gäller att upptäcka fel och avsevärt öka hastigheten och noggrannheten i testutvärderingen jämfört med manuell utvärdering. Sådana orakel kan användas för enhetstestning, {in situ} testning, konstruktion av självkontrollprogramvara och säkerställande av överensstämmelse mellan kod och dokumentation.
Peters och Parnas föreslog ett verktyg som genererar ett test orakel från formell programdokumentation skriven i tabelluttryck REF.
Using Test Oracles Generated from Program Documentation
{'venue': 'IEEE Trans. Software Eng.', 'journal': None, 'mag_field_of_study': ['Computer Science']}