Complementarity of Error Detection Techniques

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Komplementarita technik pro detekci chyb
Autoři	PELÁNEK Radek ROSECKÝ Václav MORAVEC Pavel
Rok publikování	2008
Druh	Článek ve sborníku
Konference	Parallel and Distributed Methods in verifiCation (PDMC 2008)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	model checking; evaluation; error detection
Popis	Studujeme explicitní techniky pro pro detekci chyb, např. prohledávání do hloubky, heuristické prohledávání a náhodnou procházku. Argumentujeme, že není důležité hledat nejlepší techniku, ale množinu vzájmně komplementárních technik. Za tímto účelem jsme vybrali 9 rozličných technik pro hledání chyb a vyhodnotili jsme úspěšnost těchto technik na velkých testovacích datech. Výsledky ukazují, že vybrané techniky jsou skutečně v mnoha ohledech komplementární.
Související projekty:	Institut Teoretické Informatiky Automatická analýza modelů pomocí procházení stavového prostoru