Next:
List of Figures
Up:
No Title
Previous:
No Title
Contents
List of Figures
List of Tables
Introduction
Testing Techniques for Real-Time Systems
Recent Static Analysis Techniques
Disadvantages of Static Techniques
Problems in Dynamic Testing
Genetic Algorithms
Overview
Fitness Functions and Timing
Counting Techniques
Dynamic Analysis Experiments
Dynamic Analysis of a Sorting Algorithm
Testing a Real-Time Module
Further Real-Time Module Testing
Conclusion and Further Research
Genetic Algorithm Implementation
Example Implementation for
ptrace
Example Implementation for
Visual Quantify
References
About this document ...
Next:
List of Figures
Up:
No Title
Previous:
No Title
Commander
Thu Oct 22 15:09:09 GMT 1998