Abstract-This paper extenderar CHOiCe reLATion framEwork, förkortat som CHOC'LATE, som hjälper mjukvarutestare i tillämpningen av kategori/val metoder för testning. CHOC'LATE antar att testaren kan konstruera en enda valrelationstabell från hela specifikationen. Denna tabell utgör sedan grunden för testfallsgenerering med hjälp av tillhörande algoritmer. Detta antagande kanske dock inte stämmer när specifikationen är komplicerad och innehåller många specifikationer. För en sådan specifikation kan testaren konstruera en preliminär valrelationstabell från varje specifikationskomponent, och sedan konsolidera alla preliminära tabeller till en slutlig tabell som ska bearbetas av CHOC'LATE för testfallsgenerering. Det är dock ofta svårt att slå samman dessa preliminära tabeller, eftersom en sådan sammanslagning kan ge upphov till inkonsekvenser mellan olika valförhållanden eller överlappningar mellan olika val. För att lindra detta problem, introducerar vi en DividE-and-conquer metodik för att identifiera kategoriseraS, choiceS, och choicE Relations for Test case generation, förkortas som DESSERT. Den teoretiska ramen och tillhörande algoritmer diskuteras. För att visa vår metodiks genomförbarhet och effektivitet beskriver vi fallstudier med hjälp av specifikationerna för tre verkliga kommersiella mjukvarusystem.
Dessutom har de nyligen utvecklat en DividE-and-conquer metodik för att identifiera kategoriseringS, choicE Relations for Test case generering (DESSERT) för stora och komplexa specifikationer som omfattar många olika komponenter REF.
DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}