Kursen täcker följande ämnen:
- programvarutestningskoncept enligt V-modellen
- grafisk kravmodellering, inklusive användning av fallmodeller
- modellering av logiska krav, inklusive ingångsvillkor (förutsättningar), utgångsvillkor och klassinvarianter
- graftäckningsmodeller
- modeller för logisk täckning
- partitionering av ingångsutrymme
- syntaxbaserad testning
- tillförlitlighetsmodeller
- avancerade ämnen som automatiserad och modellbaserad testning.
De teoretiska ämnena stöds av laborationer för att fördjupa studentens förståelse för viktiga begrepp.