D 2008

Complementarity of Error Detection Techniques

PELÁNEK, Radek, Václav ROSECKÝ and Pavel MORAVEC

Basic information

Original name

Complementarity of Error Detection Techniques

Name in Czech

Komplementarita technik pro detekci chyb

Authors

PELÁNEK, Radek (203 Czech Republic, guarantor), Václav ROSECKÝ (203 Czech Republic) and Pavel MORAVEC (203 Czech Republic)

Edition

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

Publisher

Elsevier

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/08:00025027

Organization unit

Faculty of Informatics

ISSN

Keywords in English

model checking; evaluation; error detection

Tags

Tags

International impact, Reviewed
Změněno: 30/3/2010 09:57, doc. Mgr. Radek Pelánek, Ph.D.

Abstract

ORIG CZ

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.

In Czech

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

Links

GP201/07/P035, research and development project
Name: Automatická analýza modelů pomocí procházení stavového prostoru
Investor: Czech Science Foundation, Automatic model analysis by state space exploration
1M0545, research and development project
Name: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science