Complementarity of Error Detection Techniques

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.

Základní údaje

Originální název

Complementarity of Error Detection Techniques

Název česky

Komplementarita technik pro detekci chyb

Autoři

PELÁNEK, Radek (203 Česká republika, garant), Václav ROSECKÝ (203 Česká republika) a Pavel MORAVEC (203 Česká republika)

Vydání

Nizozemsko, Parallel and Distributed Methods in verifiCation (PDMC 2008), 14 s. 2008

Nakladatel

Elsevier

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/08:00025027

Organizační jednotka

Fakulta informatiky

ISSN

Klíčová slova anglicky

model checking; evaluation; error detection

Štítky

error detection, evaluation, Model checking

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.

Česky

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í.

---

Návaznosti

GP201/07/P035, projekt VaV	Název: Automatická analýza modelů pomocí procházení stavového prostoru Investor: Grantová agentura ČR, Automatická analýza modelů pomocí procházení stavového prostoru
1M0545, projekt VaV	Název: Institut Teoretické Informatiky Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky