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

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