evolutionary testing of temporal correctness. introduction testing is aimed at finding errors in the...
Post on 22-Dec-2015
217 views
TRANSCRIPT
Evolutionary Testing of Temporal Correctness
Introduction
• Testing is aimed at finding errors in the systems.
• Testing real-time system, tester have to find the inputs with the longest or shortest execution times.
Testing Real-Time Systems
• Classification-tree method [Grochtmann and Grimm, 1993]
• Dynamic method - random
Experiment
• A simple computer graphics function written in C.
• It contained a total of 37statements and had 16 branch.
• Classification-tree method: 49 test case
• Random: 4603 test case, one branch remained untested
Genetic Algorithms Applied to Testing
• Jones et al.[1996] : branch coverage, programs written in Ada83
• Roper[1996] : branch coverage, programs written in C or C++
• Jones et al.[1995]: Z specifications
• Boden and Martino[1996]: API tests
• Schultz et al.[1993]: testing the robustness of autonomous vehicle controllers
Systematic tests
Systematic tests