Testing the results of static worst-case execution-time analysis

Author

Puschner, P. ; Nossal, R.

Author_Institution

Tech. Univ. Wien, Austria

fYear

1998

fDate

2-4 Dec 1998

Firstpage

134

Lastpage

143

Abstract

Analytically derived worst case execution time (WCET) bounds are prone to errors, because they often rely on information provided by the user. The paper presents a method for testing the results of static WCET analysis. The proposed test method is a blackbox test method that uses a genetic algorithm (GA) for test case generation. Important properties of the method are: (a) that it requires minimal information about possible impact data from the user and (b) that the GA guides data generation into directions that have a good chance to yield the real WCET of the program under test. Experimental results show that GA based testing produces results of high quality

Keywords

genetic algorithms; program testing; real-time systems; system monitoring; GA based testing; WCET bounds; analytically derived worst case execution time; blackbox test method; data generation; genetic algorithm; impact data; minimal information; real WCET; static WCET analysis; static worst case execution time analysis; test case generation; Genetic algorithms; Hardware; Humans; Information analysis; Processor scheduling; Programming profession; Resource management; System testing; Time measurement; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE

Conference_Location

Madrid

Print_ISBN

0-8186-9212-X

Type

conf

DOI

10.1109/REAL.1998.739738

Filename

739738