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 ...