Denna artikel beskriver en ny metod för enhetstestning av objektorienterade program, en uppsättning verktyg baserade på denna metod, och två fallstudier. I detta tillvägagångssätt består varje testfall av en tuple av sekvenser av meddelanden, tillsammans med taggar som anger om dessa sekvenser ska sätta objekt av klassen under provning i likvärdiga tillstånd och\ eller returnera objekt som är i likvärdiga tillstånd. Tester utförs genom att sekvenserna skickas till objekt av den klass som provas, och sedan åberopar en mekanism för likvärdighetskontroll som tillhandahålls av användaren. Detta tillvägagångssätt möjliggör betydande automatisering av många aspekter av testning, inklusive generering av testfall, generering av provförare, provning och provningskontroll. Experimentella prototyper av verktyg för testgenerering och testutförande beskrivs. Testgenereringsverktyget kräver att det finns en algebraisk specifikation av den abstrakta datatyp som testas, men testverktyget kan användas när ingen formell specifikation finns tillgänglig. Med hjälp av testverktygen utfördes fallstudier som omfattade utförande av tiotusentals testfall med olika sekvenslängder, parametrar och kombinationer av operationer. Förhållandena mellan sannolikheten för att upptäcka ett fel och sekvenslängd, intervall av parametrar, och relativ frekvens av olika operationer undersöktes för prioriterade kö och sorterade-lista implementationer med subtila fel. I varje fall tenderade långa sekvenser att vara mer benägna att upptäcka felet, förutsatt att räckvidden av parametrar var suffkiently stor och sannolikheten för att upptäcka ett fel tenderade att öka upp till ett tröskelvärde när parameterområdet ökade.
ASTOOT REF är ett relaterat system för testning baserat på formella specifikationer.
The ASTOOT approach to testing object-oriented programs
{'venue': 'TSEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}