A comparison of static analysis and evolutionary testing for the verification of timing constraints

Real-Time Systems

Volumn 21, Issue 3, 2001, Pages 241-268

  Wegener, Joachim ^a   Mueller, Frank ^b  

^a DAIMLER AG   (Germany)

^b North Carolina State University   (United States)

Author keywords

Evolutionary testing; Genetic algorithms; Real time systems; Static timing analysis; Testing; Timing analysis

Indexed keywords

CONSTRAINT THEORY; GENETIC ALGORITHMS; ITERATIVE METHODS; SYSTEMS ANALYSIS;

BEST CASE EXECUTION TIME; STATIC TIMING ANALYSIS; VERIFICATION TIMING; WORST CASE EXECUTION TIME;

REAL TIME SYSTEMS;

EID: 0035501757     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011132221066     Document Type: Article

References (52)

1. Verifying timing constraints of real-time systems by means of evolutionary testing
2. Testing real-time systems using genetic algorithms
3. Testing the results of static worst-case execution time analysis
4. Evolutionary testing of temporal correctness
5. Testing the temporal behavior of real-time tasks using extended evolutionary algorithms
6. A comparison of static analysis and evolutionary testing for the verification of timing constraints
7. Calculating the maximum execution time of real-time programs
8. Avoiding conditional branches by code replication
9. Interprocedural conditional branch elimination
10. An accurate worst case timing analysis for RISC processors
11. Bounding pipeline and instruction cache performance
12. Timing analysis for instruction caches
13. Efficient microarchitecture modeling and path analysis for real-time software
14. Worst case timing analysis of RISC processors: R3000/R3010 case study
15. Static analysis of cache analysis for real-time programming
16. Efficient worst case timing analysis of data caching
17. Cache modeling for real-time software: Beyond direct mapped instruction caches
18. Timing analysis for data and wrap-around fill caches
19. Predicting program execution times by analyzing static and dynamic program paths
20. Integrating the timing analysis of pipelining and instruction caching
21. An integrated path and timing analysis method based on cycle-level sympolib execution
22. Fast and precise wcet prediction by separated cache and path analyses
23. Efficient and precise cache behavior predication for real-time systems
24. Timing predictions for multi-level caches
25. SMART (strategic memory allocation for real-time) cache design
26. Software-based cache partitioning for real-time applications
27. Compiler support for software-based cache partitioning
28. Os-controlled cache predictability for real-time system
29. Adding instruction cache effect to schedulability analysis of preemptive real-time systems
30. Hybrid instruction cache partitioning for preemptive real-time systems
31. Analysis of cache-related preemption delay in fixed-priority preemptive scheduling
32. Testing large, real-time software systems
33. Tessy-yet another computer-aided software testing tool?
34. Classification trees for partition testing
35. Testing timing behavior of real-time software
36. Functional test case generation for real-time system
37. Testing real-time constraints in a process algebraic setting
38. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them
39. A portable global optimizer and linker
40. GEATbx: Genetic and evolutionary algorithm toolbox for use with matlab-documentation
41. The GENITOR algorithm and selection pressure: Why rank-based allocation of reproductive trials is best
42. Reducing bias and inefficiency in the selection algorithm
43. Predictive models for the breeder genetic algorithm: 1. Continuous parameter optimization
44. Testing temporal correctness of real-time systems-A new approach using genetic algorithms and cluster analysis
45. A strategy for using genetic algorithms to automate branch and fault-based testing