Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms

Authors:
Joachim Wegener;Hartmut Pohlheim;Harmen Sthamer
Affiliations:
-;-;-
Venue:
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Year:
1999

Citing 0
Cited 1

A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

For real-time systems, correct system functionality depends on logical as well as on temporal correctness. Static analysis alone is not sufficient to verify the temporal behavior of real-time systems. Since existing test methods are not specialized for the verification of temporal correctness, we have developed a new testing method, namely evolutionary testing. This paper illustrates results of the first industrial application of the evolutionary test.