Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software
Previous work has shown the efficacy of using Estimation of Distribution Algorithms (EDAs) to detect faults in concurrent software/systems. A promising feature of EDAs is the ability to analyse the information or model learned from any particular execution. The analysis performed can yield insights into the target problem allowing practitioners to adjust parameters of the algorithm or indeed the algorithm itself. This can lead to a saving in the effort required to perform future executions, which is particularly important when targeting expensive fitness functions such as searching concurrent software state spaces. In this work, we describe practical scenarios related to detecting concurrent faults in which reusing information discovered in EDA runs can save effort in future runs, and prove the potential of such reuse using an example scenario. The example scenario consists of examining problem families, and we provide empirical evidence showing real effort saving properties for three such families.
KeywordsModel Check Transition System Linear Temporal Logic Problem Family Distribution Algorithm
Unable to display preview. Download preview PDF.
- 4.Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)Google Scholar
- 5.Edelkamp, S., Lafuente, A.L., Leue, S.: Directed explicit model checking with HSF-SPIN. In: Proceedings of the 8th International SPIN Workshop on Model Checking of Software, pp. 57–79. Springer-Verlag New York, Inc., New York (2001)Google Scholar
- 6.Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Protocol verification with heuristic search. In: AAAI-Spring Symposium on Model-based Validation Intelligence, pp. 75–83 (2001)Google Scholar
- 7.Luke, S., Panait, L., Balan, G., et al.: Ecj 16: A java-based evolutionary computation research system (2007)Google Scholar
- 10.Russell, S.J., Norvig, P., Canny, J.F., Malik, J., Edwards, D.D.: Artificial intelligence: a modern approach. Prentice hall, Englewood Cliffs (1995)Google Scholar
- 11.Staunton, J., Clark, J.A.: Searching for safety violations using estimation of distribution algorithms. In: IEEE International Conference on Software Testing, Verification, and Validation Workshop, pp. 212–221 (2010)Google Scholar
- 12.Staunton, S., Clark, J.A.: Finding short counterexamples in promela models using estimation of distribution algorithms. To appear: Search-based Software Engineering Track, Genetic and Evolutionary Computation Conference (2011)Google Scholar