DMCA
Searching for Safety Violations using Estimation of Distribution Algorithms (2010)
| Venue: | Third International Conference on Software Testing, Verification, and Validation Workshops |
| Citations: | 3 - 1 self |
BibTeX
@INPROCEEDINGS{Clark10searchingfor,
author = {John A. Clark},
title = {Searching for Safety Violations using Estimation of Distribution Algorithms},
booktitle = {Third International Conference on Software Testing, Verification, and Validation Workshops},
year = {2010}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract—Using aspects of model checking to analyse multi-threaded software is a promising method for finding common concurrent errors such as deadlock. Traditional model checking tools exhaustively search the state space of a concurrent system in order to find faults. Unfortunately, model checking suffers from the state space explosion problem, limiting the applicability of the approach to commercial software. Metaheuristic search mechanisms have been used in an attempt to overcome this issue with good results. Techniques such as Genetic Algorithms (GAs) and Estimation of Distribution Algorithms (EDAs) focus the search of the state space on areas that are more likely to contain errors. In this work, a novel EDA-based approach to exploring the state space of a model is outlined. Experiments are performed on an implementation using the Java PathFinder (JPF) model checker and the ECJ toolkit. The EDA-based approach is shown to perform well against standard search procedures such as depth-first search, whilst also outperforming random search on a benchmark problem. On larger problems, the EDA is shown to be the only effective technique of those compared. I.
Keyphrases
distribution algorithm safety violation state space eda-based approach model checker state space explosion problem random search effective technique traditional model checking tool good result benchmark problem depth-first search promising method common concurrent error metaheuristic search mechanism genetic algorithm standard search procedure multi-threaded software abstract using aspect ecj toolkit novel eda-based approach java pathfinder concurrent system commercial software
