Kvalitetssäkring av säkerhetskritiska applikationer

Syftet med denna kurs är att presentera hur fundamentala praxis för testning kan appliceras för säkerhetsmedveten mjukvaruutveckling. Studenten kommer lära sig att integrera olika metoder för automatisk testning för verifiering av säkerhet. Denna kunskap baseras på teorier från kontinuerlig kvalitetssäkring från mjukvaruutveckling samt tekniker för framställning av säker programvara. Kursen har anpassats att ge en introduktion till utvecklare utan test-expertis men med ett intresse för mjukvarusäkerhet och kommer introducera hur säkerhet kan inkorporeras i kvalitetssäkringsprocessen för både produkter och tjänster.