I denna rapport behandlas frågor som rör extern validering och datorstöd (CASE) för detta. Rapporten redogör för en undersökning vars syfte är att ta reda på vilka krav som tekniker för extern validering ställer på CASE-verktyg och hur verktygen svarar upp till dessa krav. Olika metoder finns för att skapa ett informationssystem och varje metod har sina beskrivningstekniker som underlag för extern validering.
De beskrivningstekniker som föreskrivs i en metod är ofta mycket detaljerade. En metods notationen ställer därför stora krav på CASE-verktyg som uttalar stöd för denna metod.
Arbetet som beskrivs i denna rapport identifierar krav på datorstöd utifrån en viss metods beskrivningstekniker samt ytterligare valideringstekniker som beskrivs i litteraturen. Därefter undersöks CASE-verktygs förmåga att svara upp till dessa krav.
Själva undersökningen av verktygen genomförs via ett testförfarande där samtliga utvalda verktyg implementerar två olika testfall.
Resultatet från genomförandet av tester visar att det existerar stora skillnader mellan verktygens påstådda stöd för en viss metod och vad de faktiskt klarar av. CASE-verktygens förmåga att ge stöd för extern validering enligt vald metod är överraskande dåligt. Stöd för andra valideringstekniker än de som föreskrivs enligt vald metod är i stort sett obefintligt.