Analytically derived worst-case execution time (WCET) bounds are prone to errors, because they often rely on information provided by the user. This 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 input data from the user and (b) that the GA guides data generation

more »

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