Complementarity of Error Detection Techniques
PELÁNEK, Radek, Václav ROSECKÝ and Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier, 2008, 14 pp. ISSN 1571-0661. |
Other formats:
BibTeX
LaTeX
RIS
|
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 | |
---|---|
Original language | English |
Type of outcome | Proceedings paper |
Field of Study | 10201 Computer sciences, information science, bioinformatics |
Country of publisher | Netherlands |
Confidentiality degree | is not subject to a state or trade secret |
RIV identification code | RIV/00216224:14330/08:00025027 |
Organization unit | Faculty of Informatics |
ISSN | 1571-0661 |
Keywords in English | model checking; evaluation; error detection |
Tags | error detection, evaluation, Model checking |
Tags | International impact, Reviewed |
Changed by | Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 30/3/2010 09:57. |
Abstract |
---|
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. |
Abstract (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 |
PrintDisplayed: 14/10/2024 04:43