Testverktyg för programvara skriven i Ada
Syftet med den här rapporten är att undersöka om det finns något testverktyg som uppfyller kraven från Saab Underwater Systems. I rapporten presenteras även en sammanfattning av testningens grunder och metoder för att välja ut och utvärdera datorprogram. Arbetet med att välja ut och utvärdera testve...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | Swedish |
| Published: |
Linköpings universitet, Institutionen för datavetenskap
2005
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-4083 |
| Summary: | Syftet med den här rapporten är att undersöka om det finns något testverktyg som uppfyller kraven från Saab Underwater Systems. I rapporten presenteras även en sammanfattning av testningens grunder och metoder för att välja ut och utvärdera datorprogram. Arbetet med att välja ut och utvärdera testverktyg kan ses som en process. Först ska kraven sammanställas och sedan ska några verktyg väljas ut för utvärdering. Två av de tre verktyg som valdes ut utvärderades mer ingående. De två testverktyg som utvärderades var LDRA Testbed och AdaTEST 95. LDRA Testbed har väldigt många olika statiska analyser vilket i många fall troligen inte kommer att utnyttjas. Enhetstestningen sker med hjälp av TBrun som är en del av verktygsserien som LDRA marknadsför. AdaTEST 95 har inte lika många funktioner som LDRA Testbed men har de nödvändiga statiska analyserna och enhetstestning presenterade i ett enklare gränssnitt. Båda verktygen uppfyller de viktigaste kraven från Saab Underwater Systems, men inget av dem uppfyller alla krav. Båda verktygen skulle kunna underlätta testningen men AdaTEST 95 rekommenderas. AdaTEST 95 är framtaget för att underlätta för i första hand utvecklare och det är utvecklare som ska använda verktyget på Saab Underwater Systems. |
|---|