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

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 1998, Pages 144-154

  Mueller, Frank ^a   Wegener, Joachim ^b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEMENTARY METHODS; EVOLUTIONARY TESTING; EXECUTION PATHS; REAL-TIME APPLICATION; TEST OBJECT; TESTING PROCEDURE; TIMING CONSTRAINTS; UPPER AND LOWER BOUNDS;

ITERATIVE METHODS; PROGRAM PROCESSORS; APPROXIMATION THEORY; CONSTRAINT THEORY; DATA COMMUNICATION SYSTEMS;

STATIC ANALYSIS; REAL TIME SYSTEMS;

EXECUTION TIMES; TIMING CONSTRAINTS;

EID: 0031629844     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1998.683198     Document Type: Conference Paper

References (31)

1. R. Arnold, F. Mueller, D. B. Whalley, and M. Harmon. Bounding worst-case instruction cache performance. In IEEE Real-Time Systems Symposium, pages 172-181, Dec. 1994.
2. J. E. Baker. Reducing bias and inefficiency in the selection algorithm. In International Conference on Genetic Algorithms and their Application, July 1987.
3. M. E. Benitez and J. W. Davidson. A portable global optimizer and linker. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 329-338, June 1988.
4. V. Braberman, M. Felder, and M. Marre. Testing timing behavior of real-time software. In International Software Quality Week, May 1997.
5. J. V. Busquets-Matraix. Adding instruction cache effect to schedulability analysis of preemptive real-time systems. In IEEE Real-Time Technology and Applications Symposium, pages 204-212, June 1996.
6. D. Clarke and I. Lee. Testing real-time constraints in a process algebraic setting. In International Conference on Software Engineering, Apr. 1995.
7. B. Dasarathy. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering, 11(1):80-86, 1985.
8. C. G. Davis. Testing large, real-time software systems. In Software Testing, Infotech State of the Art Report, volume 2, pages 85-105, 1979.
9. C. Ferdinand, F. Martin, and R. Wilhelm. Applying compiler techiniques to cache behavior prediction. In ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, pages 37-46, June 1997.
10. M. Grochtmann, K., and Grimm. Classification trees for partition testing. Software Testing, Verification & Reliability, 3(2):63-82, 1993.
11. C. A. Healy, D. B. Whalley, and M. G. Harmon. Integrating the timing analysis of pipelining and instruction caching. In IEEE Real-Time Systems Symposium, pages 288-297, Dec. 1995.
12. W. S. Heath. Real-Time Software Techniques. VanNostrand Reinhold, 1991.
13. S. Kim, S. Min, and R. Ha. Efficient worst case timing analysis of data caching. In IEEE Real-Time Technology and Applications Symposium, June 1996.
14. D. B. Kirk. SMART (strategic memory allocation for realtime) cache design. In IEEE Real-Time Systems Symposium, pages 229-237, Dec. 1989.
15. C. Lee, J. Hahn, Y. Seo, S. Min, R. Ha, S. Hong, C. Park, M. Lee, and C. Kim. Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. In IEEE Real-Time Systems Symposium, Dec. 1996.
16. Y.-T. S. Li, S. Malik, and A. Wolfe. Cache modeling for realtime software: Beyond direct mapped instruction caches. In IEEE Real-Time Systems Symposium, pages 254-263, Dec. 1996.
17. J. Liedke, H. Hartig, and M. Hohmuth. Os-controlled cache predictability for real-time systems. In IEEE Real-Time Technology and Applications Symposium, pages 213-223, June 1997.
18. D. Mandrioli, S. Morasca, and A. Morzenti. Functional test case generation for real-time systems. In IFIPWorking Conference on Dependable Computing for Critical Applications, pages 29-61, Sept. 1992.
19. F. Mueller. Static Cache Simulation and its Applications. PhD thesis, Dept. of CS, Florida State University, July 1994.
20. F. Mueller. Timing predictions for multi-level caches. In ACM SIGPLANWorkshop on Language, Compiler, and Tool Support for Real-Time Systems, pages 29-36, June 1997.
21. Muhlenbein and Schlierkamp-Vossen. Predictive models for the breeder genetic algorithm: I. continuous parameter optimization. Evolutionary Computation, 1(1):25-49, 1993.
22. G. J. Myers. The Art of Software Testing. John Wiley & Sons, 1979.
23. C. Y. Park. Predicting program execution times by analyzing static and dynamic program paths. Real-Time Systems, 5(1):31-61, Mar. 1993.
24. H. Pohlheim. GEATbx: Genetic and evolutionary algorithm toolbox for use with matlab-documentation. Technical report, Technical University Ilmenau, Germany, 1996.
25. P. Puschner and C. Koza. Calculating the maximum execution time of real-time programs. Real-Time Systems, 1(2):159-176, Sept. 1989.
26. R. M. Stallman. Using and Porting GNU CC. Free Software Foundation, Inc., 2. 7. 2 edition, Nov. 1995.
27. H.-H. Sthamer. The Automatic Generation of Software Test Data Using Genetic Algorithms. PhD thesis, Dept. of Electronics and Information Technology, University of Glamorgan, Wales, UK, 1996.
28. N. Y. University. The Gnu NYU Ada Translator (GNAT). Available by anonymous FTP from cs. nyu. edu.
29. J. Wegener and R. Pitschinetz. Tessy-yet another computeraided software testing tool? In European International Conference on Software Testing Analysis & Review, Oct. 1994.
30. J. Wegener, H.-H. Sthamer, B. F. Jones, and D. E. Eyres. Testing real-time systems using genetic algorithms. Software Quality Journal, 6(2):127-135, 1997.
31. R. White, F. Mueller, C. Healy, D. Whalley, and M. Harmon. Timing analysis for data caches and set-associative caches. In IEEE Real-Time Technology and Applications Symposium, pages 192-202, June 1997.