På grund av den ökande betydelsen av objektorienterad programmering har ett antal teststrategier föreslagits. De är baserade antingen på ren svart-box eller vit-box tekniker. Vi föreslår i den här artikeln en metod för att integrera svart-och vit-box tekniker. Black-box-tekniken används för att välja testfall. White-box-tekniken används främst för att avgöra om två objekt som är resultatet av programutförandet av ett testfall är observationsmässigt likvärdiga. Det används också för att välja testfall i vissa situationer. Vi definierar begreppet grundläggande par som ett par likvärdiga termer som bildas genom att ersätta alla variabler på båda sidor av ett axiom med normala former. Vi bevisar att ett genomförande är förenligt med alla likvärdiga villkor om och endast om det är förenligt med alla grundläggande par. Med andra ord, testtäckningen av grundläggande par är lika bra som för alla möjliga termer omskrivning, och därför behöver vi bara koncentrera oss på testning av grundläggande par. Vår strategi är baserad på matematiska teorem. Enligt strategin föreslår vi en algoritm för att välja en ändlig uppsättning grundläggande par som testfall. Med ett par likvärdiga termer som ett testfall, bör vi sedan avgöra om de objekt som är resultatet av att genomföra det implementerade programmet är observationsmässigt likvärdiga. Vi bevisar dock att objektens observationslikvärdighet inte kan bestämmas med hjälp av en ändlig uppsättning observerbara sammanhang (som är operationssekvenser som slutar med en observatörsfunktion) som härrör från någon svart-box-teknik. Därför kompletterar vi vårt tillvägagångssätt med ett tillstånd att göra digital / papperskopia av en del av eller allt detta verk för personligt eller klassrum användning beviljas utan avgift, förutsatt att kopiorna inte görs eller distribueras för vinst eller kommersiell fördel, upphovsrättsmeddelandet, titeln på publikationen, och dess datum visas, och meddelande ges att kopiering är med tillstånd av ACM, Inc. Att kopiera annars, att publicera, att posta på servrar, eller att omfördela till listor, kräver tidigare specifik behörighet och / eller en avgift. © 1998 ACM 1049-331X/98/0700 -0250 $5,00 ACM Transaktioner på Software Engineering och Methodology, Vol. Sju, fyra, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, sex, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, fyra, 3 juli 1998, sidorna 250 -295. "Relevant observerbar kontext"-teknik, som är en heuristisk vit-box-teknik för att välja en relevant finit delmängd av uppsättningen observerbara sammanhang för att bestämma observationsekvivalenten. De relevanta observerbara sammanhangen är konstruerade från en datamedlem relevans diagram (DRG), som är en abstraktion av det givna genomförandet för en viss specifikation. Ett semiautomatiskt verktyg har utvecklats för att stödja denna teknik.
REF presenterar en strategi för att integrera Black-box och white-box testning för objektorienterade program.
In black and white: an integrated approach to class-level testing of object-oriented programs
{'venue': 'TSEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}