Řada studií ukázala, že kombinatorické testování může pomoci při odhalení těžko detekovatelných softwarových chyb, které se nepodaří zjistit pomocí testů generovaných s použitím jiných testovacích metod. První část přednášky se zaměří na tradiční black-box kombinatorické testování založené na požadavcích. Pozornost bude věnována především rozboru výsledků a poučení, které vyplynuly ze dvou praktických aplikací, jmenovitě jde o řídicí panel železničního systému a Linux systém. Druhá část přednášky rozšíří koncept kombinatorického testování na white-box zadání založené na znalosti struktury. Bude představeno pokročilé kritérium pokrytí – Combinatorial Decision Coverage – spojené se symbolickým výpočtem, díky němuž lze dosáhnout vysokého pokrytí s malými náklady, které nebudou degradovány možným prohledáváním stavového prostoru. V závěru přednášky bude vysvětleno, jak lze kombinatorické testování použít v metodologii testování IoT (Internet of Things) založené na grafech.
Vstup je zdarma, registrace není nutná.