| Summary: | När dagens datorsystem utvecklas ökar i de flesta fall också dess komplexitet under utvecklingens gång. Detta för med sig negativa konsekvenser i form av svårare testning och felsökning av systemen. Denna uppsats har för avsikt att förklara vilka fel som kan uppstå och varför. Även lösningar i form av modifieringar av system kommer att tas upp. Beställaren av undersökningen, Saab, ser möjligheter i att på ett enkelt sätt återskapa fel i deras datorsystem på Gripen. Detta skulle kunna minska kostnaderna för felsökning drastiskt. Då mycket tid ägnas åt verifiering av ny programvara för datorsystemet blir detta också en stor kostnad i utvecklingsarbetet. Därför är det också ett önskemål att undersöka huruvida regressionstest av nya programvaror skulle kunna automatiseras. Till en början studerades artiklar inom området och marknaden avsöktes efter färdiga verktyg. Efter en sammanställning av teorin bakom problemen så kunde en analys av det befintliga datorsystemet påbörjas, vilka problem som kunde uppstå och ifall det var möjligt att lösa dessa undersöktes med hjälp av systemets dokumentation. Vissa problem uppdagades där en del kunde avhjälpas med ett genomtänkt verktyg. Vissa problem var dock inte möjligt att deterministiskt visa lösbara, vilket leder till att målet om ett fullständigt regressionstest troligen blir svårt att genomföra. Däremot så kommer andra sorters tester för att testa robustheten i systemet att vara genomförbara. Framförallt så kommer det finnas ett underlag för framtida system där man redan från början kan ta hänsyn till problemen. De på marknaden förekommande verktyg som har analyserats har alla visat sig ha funktioner som är användbara, men inget av verktygen kan ensamt hantera de önskningar som finns.
|
|---|
