Szoftverellenőrzés automatizálási technikái .NET platformon

Egészen kis szoftvereknél még elfogadható, hogy az elkészült munkát adhoc módon vagy rögzítve, de kézzel ellenőrizzük. Kicsit nagyobb programok esetén ez már nem működőképes. Nyilvánvaló, hogy többszáz, többezer esetet már senki nem fog végigpróbálni kézzel, pláne nem minden változtatás után. Ilyen esetekben célszerű automatizálni és központosítani az ellenőrzés folyamatát.

A témát választó hallgató feladata megismerkedni (szükség szerint) a szoftverellenőrzés alapjaival, az ellenőrzés típusaival, illetve az ehhez használható keretrendszerekkel .NET platformon (pl. NMock3, moq, FsCheck, Pex stb.). Ez után a feladat a tanszéken fejlesztett PetriDotNet programhoz egy automatikus tesztfuttatást végző folyamatot összeállítani a megismert eszközök segítségével, illetve a folyamat működését demonstrálni.