Tesztelési módszerek kiselőadások¶
Egy adott témából fel kell készülni, azt kb. 30 percben gyakorlatias módon be kell mutatni. A gyakorlatias mód azt jelenti, hogy össze kell állítani egy olyan műveletsort/feladatsort, amit a gyakorlat többi résztvevője is megcsinál. Egy kiselőadás általános felosztása:
- 5-10 perc elmélet: a módszer (és a hozzá szükséges ismeretek) elméleti ismertetése
- 5-15 perc demo: a módszer használatának bemutatása egy vagy több példán keresztül
- 10-20 perc gyakorlat: egy kiadott feladat önálló elkészítése és az eredmények rövid értékelése
A félév során egy kiselőadás megtartása kötelező. Egy esetleges második kiselőadás megtartása részben vagy egészben kiválthat egyéb feladatokat.
A kiselőadások várható ütemezése a féléves menetrendben megtalálható.
Az első, kötelező kiselőadásra jelentkezni a CooSpace Kiselőadás választás eszközén keresztül lehet.
A második, zh-t kiváltó kiselőadásra a Második kieslőadás CooSpace eszközön keresztül lehet jelentkezni.
Választható témák¶
KE01: Alacsony szintű lefedettség mérés gcov segítségével.¶
Előadó: Asszman Máté
Be kell mutatni, hogyan lehet a gcc fordítóprogram és a gcov segítségével utasítás és elágazás szintű lefedettséget mérni.
KE02: Magas szintű lefedettség mérés gcc környezetben.¶
Előadó: Görög Ádám László
Be kell mutatni, hogyan lehet a gcc fordítóprogram --finstrument-functions kapcsolója segítségével a függvényhívásokat és visszatéréseket megfigyelni, valamint ezekből a hívott függvényeket "visszakapni".
KE03: A JUnit keretrendszer.¶
Előadó: Bakk Ábel
Röviden be kell mutatni a JUnit keretrendszer lehetőségeit, használatát, fontosabb elemeit. A legújabb 5-ös verzió mellett a jelenleg még elterjedtebb 4-es verzió jellemzőit is be kell mutatni.
(Érdemes egyeztetni a Java lefedettséges KE04 és a mutációs KE05 kiselőadások előadóival.)
KE04: Lefedettség mérés Java környezetben IDE-n keresztül és "parancssorból".¶
Előadó: Cserei Norbert
Be kell mutatni, hogyan lehet Java környezetben IDE-ben (például Eclipse-ben az EclEmma segítségével) és parancssorból vagy valamely build rendszerből (például a JaCoCo segítségével) lefedettséget mérni.
(Érdemes egyeztetni a JUnit-os KE03 kiselőadás előadójával.)
KE05: Mutációs tesztelés a PIT Mutation Testing eszköz segítségével.¶
Előadó: (Kovács Marcell ???)
Röviden ismertetni kell a mutációs tesztelés lényegét, majd be kell mutatni a PIT eszközt és használatát Java programokon.
(Érdemes egyeztetni a JUnit-os KE03 előadás előadójával.)
KE06: Statikus analízis eszközök bemutatása.¶
Előadó: Udvari Attila
Be kell mutatni 2-3 elterjedt statikus elemző eszközt (PMD, CheckStyle, SpotBugs, ...), használatukat, az általuk megtalált "hibák" főbb csoportjait.
KE07: Debugging Java környezetben IDE-n keresztül.¶
Előadó: Vörös László
Be kell mutatni valamely IDE-n keresztül a debuggolási funkciókat, használatukat.
(Érdemes egyeztetni a parancssori debuggingos KE08 kiselőadás előadójával.)
KE08: Debugging C/C++ környezetben parancssorból.¶
Előadó: Balázs-Hegedüs Áron
Be kell mutatni valamely parancssori debugging eszköz (pl. gdb) funkcióit, használatát.
(Érdemes egyeztetni az IDE debuggingos KE07 kiselőadás előadójával.)
KE09: Test Driven Development.¶
Előadó: Beszédes Bence
Egy példán keresztül be kell mutatni a TDD alapelveit, folyamatát.
(Érdemes egyeztetni a JUnit-os KE03 kieslőadás előadójával.)
KE10: Behavior Driven Development.¶
Előadó: Nikli Erik
Egy BDD keretrendszert használó példán keresztül be kell mutatni a BDD alapelveit, folyamatát.
KE11: Teszt szelekció és priorizálás.¶
Előadó: Nagy Noémi
Be kell mutatni a lefedettség alapú szelekciós és priorizáló módszereket.
KE12: Fault localization.¶
Előadó: Hajdú Zalán
Be kell mutatni a lefedettség alapú hibalokalizációs módszereket.
KE13: Szoftver szeletelés.¶
Előadó: Pápay Nimród Csaba
Be kell mutatni a statikus és dinamikus szeletelés alapelveit.
KE14: Osztályozási fa és kombinatorikus módszerek.¶
Előadó: (Rácz Norbert ???)
Be kell mutatni az osztályozási fa módszerét, valamint ez alapján az input kategóriák minimális lefedését, az összes kombináció lefedését, és a bármely N input kategória teljes lefedését (ortogonális tömbök) lehetővé tevő tesztgenerálási módszereket.