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