Informace o publikaci
Complementarity of Error Detection Techniques
| Název česky | Komplementarita technik pro detekci chyb |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Článek ve sborníku |
| Konference | Parallel and Distributed Methods in verifiCation (PDMC 2008) |
| Fakulta / Pracoviště MU | |
| 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: |