Detail publikace
Complementarity of Error Detection Techniques
| Základní údaje | |
|---|---|
| Originální název: | Complementarity of Error Detection Techniques |
| Název česky: | Komplementarita technik pro detekci chyb |
| Autoři: | Radek Pelánek, Václav Rosecký, Pavel Moravec |
| Další údaje | |
|---|---|
| Citace: | PELÁNEK, Radek, Václav ROSECKÝ a Pavel MORAVEC. Complementarity
of Error Detection Techniques. In Parallel and Distributed
Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier,
2008. 14 s. ISSN 1571 -0661.Export BibTeX |
| Originální jazyk: | angličtina |
| Obor: | Informatika |
| Druh: | Článek ve sborníku |
| Klíčová slova: | model checking; evaluation; error detection |
We study explicit techniques for detection of safety errors, e.g., depth-first search, directed search, random walk, and bitstate hashing. We argue that it is not important to find the best technique, but to find a set of complementary techniques. To this end, we choose nine diverse error detection techniques and perform experiments over a large set of models. We compare speed of techniques, lengths of reported counterexamples, and also achieved model coverage. The results show that the studied set of techniques is indeed complementary in several ways.
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:
