Informace o publikaci

Complementarity of Error Detection Techniques

Název česky Komplementarita technik pro detekci chyb
Autoři

PELÁNEK Radek ROSECKÝ Václav MORAVEC Pavel

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info