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

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

Cached

Download Links

Other Repositories/Bibliography

CiteULike
DBLP

by Frank Mueller , Joachim Wegener

Venue:	Real-Time Systems
Citations:	75 - 30 self

BibTeX

@INPROCEEDINGS{Mueller98acomparison,
    author = {Frank Mueller and Joachim Wegener},
    title = {A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints},
    booktitle = {Real-Time Systems},
    year = {1998},
    pages = {144--154},
    publisher = {IEEE}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

This paper contrasts two methods to verify timing constraints of real-time applications. The method of static analysis predicts the worst-case and best-case execution times of a task's code by analyzing execution paths and simulating processor characteristics without ever executing the program or requiring the program's input. Evolutionary testing is an iterative testing procedure, which approximates the extreme execution times within several generations. By executing the test object dynamically and measuring the execution times the inputs are guided yielding gradually tighter predictions of the extreme execution times. We examined both approaches on a number of real world examples. The results show that static analysis and evolutionary testing are complementary methods, which together provide upper and lower bounds for both worst-case and best-case execution times. 1. Introduction For real-time systems the correct system functionality depends on their logical correctness as well as o...

Citations

518	The Art of Software Testing - Myers - 1979
300	Schlierkamp-Voosen D: Predictive models for the breeder genetic algorithm i. continuous parameter optimization. Evol Comput - Mühlenbein
277	The GENITOR algorithm and selection pressure: why rank-based allocation of reproductive trials is best - Whitley - 1989
252	Reducing bias and inefficiency in the selection algorithm - Baker - 1987
248	Calculating the maximum execution time of real-time programs - Puschner, Ch - 1989
149	A portable global optimizer and linker - Benitez, Davidson - 1988
118	Predicting program execution times by analyzing static and dynamic program paths - Park - 1993
104	Bounding pipeline and instruction cache performance - Healy, Arnold, et al. - 1999
104	Efficient microarchitecture modeling and path analysis for real-time software - Li, Malik, et al. - 1995
101	A.Wolfe. Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches - Li, Malik - 1997
94	An accurate worst case timing analysis for risc processors - Lim, Bae, et al. - 1995
92	Integrating the timing analysis of pipelining and instruction caching - Healy, Whalley, et al. - 1995
66	M.L.: Interprocedural conditional branch elimination - Bodik, Gupta, et al. - 1997
65	OS-controlled cache predictability for real-time systems - Liedtke, Härtig, et al.
65	Fast and precise WCET prediction by separated cache andpath analyses - Theiling, Ferdinand, et al.
64	An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution - Lundqvist, Stenström - 1999
63	Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Method of Validating Them - Dasarathy - 1985
56	Avoiding conditional branches by code replication - Mueller, Whalley - 1995
55	Timing analysis for instruction caches - Mueller - 2000
53	Analysis of cache-related preemption delay in fixed-priority preemptive scheduling - Lee, Hahn, et al. - 1998
47	strategic memory allocation for real-time) cache design - SMART
47	Using and Porting GNU CC - Stallman - 1995
45	Compiler support for software-based cache partitioning - Mueller
45	Software-based cache partitioning for real-time applications - Wolfe - 1993
43	Classification trees for partition testing - Grochtmann, Grimm - 1993
43	GEATbx: Genetic and Evolutionary Algorithm Toolbox for use with MATLAB. Available - Pohlheim - 1998
41	Static Cache Simulation and its Applications - Mueller - 1994
40	Efficient and precise cache behavior prediction for real-time systems. Real-Time Systems - Ferdinand, Wilhelm - 1999
40	Eyres. Testing real-time systems using genetic algorithms - Wegener, Sthamer, et al. - 1997
39	Efficient worst case timing analysis of data caching - Kim, Min, et al. - 1996
38	Evolutionary Algorithms in Theory and Practice - Baeck - 1996
33	Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing - Wegener, Grochtmann - 1998
32	H.H.: A strategy for using genetic algorithms to automate branch and fault-based testing. The Computer Journal 41 - Jones, Eyres, et al. - 1998
32	Testing the results of static worst-case execution-time analysis - Puschner, Nossal - 1998
29	The Automatic Generation of Software Test Data Using Genetic Algorithms - Sthamer - 1996
26	Timing analysis for data and wrap-around fill caches. Real-Time Systems - White, Mueller, et al. - 1999
21	Timing predictions for multi-level caches - Mueller - 1997
12	Testing timing behavior of real-time software - Braberman, Felder, et al. - 1997
10	The Gnu NYU Ada Translator (GNAT). Available by anonymous FTP from cs.nyu.edu - University
9	Testing real-time constraints in a process algebraic setting - Clarke, Lee - 1995
9	Static analysis of cache analysis for real-time programming - Rawat - 1995
8	Evolutionary Testing of Temporal Correctness - Grochtmann, Wegener - 1998
7	Testing large, real-time software systems - Davis - 1979
7	Testing the temporal behavior of real-time tasks using extended evolutionary algorithms - Wegener, Pohlheim, et al. - 1999
6	TESSY - Yet Another Computer–Aided Software Testing Tool - Wegener, Pitschinetz - 1994
5	Functional test case generation for real-time systems - Mandrioli, Morasca, et al. - 1992
5	Testing temporal correctness of real-time systems - a new approach using genetic algorithms and cluster analysis - O’Sullivan, Vössner, et al. - 1998
2	Hybrid instruction cache partitioning for preemptive realtime systems - Busquets-Matraix - 1997
1	Adding instruction cache effect to schedulability analysis of preemptive real-time systems - Busquets-Matraix - 1996