Valet av lämpliga testfall är en viktig fråga för överensstämmelsetestning av protokollimplementeringar samt inom programvaruteknik. Ett antal metoder är kända för valet av en testsvit baserad på specifikationen av genomförandet under provning, antas ges i form av en ändlig tillståndsmaskin. I detta dokument presenteras en ny metod som ger en logisk koppling mellan flera av de kända metoderna. Den kallas "partiell W-metod", och har allmän tillämplighet, full feldetekteringseffekt och ger kortare testsviter än W-metoden. I den andra delen av dokumentet diskuteras olika andra frågor som påverkar valet av en lämplig testsvit. Detta inkluderar beaktande av interaktionsparametrar, olika testarkitekturer för protokolltestning, och det faktum att många specifikationer inte uppfyller de antaganden som gjorts av de flesta testmetoder, såsom fullständig definition, en korrekt implementerad återställningsfunktion, ett begränsat antal tillstånd i genomförandet, och determinism.
Susumu m.fl. presentera en ny metod för valet av en testsvit baserad på specifikationen av genomförandet under provning ges i form av en ändlig stat maskin REF.
Test Selection Based on Finite State Models
{'venue': 'IEEE Transactions on Software Engineering', 'journal': None, 'mag_field_of_study': ['Computer Science']}