just an update.

Finally, by matching these traces with the behavior of the activity diagram, a reduced set of test cases are selected according to the given test adequacy criterion. This paper presents additional details about the tool itself, including how test sequences are generated, how several difficult problems were solved and the introduction of new capabilities to help automate the transformation of test specifications into executable test cases.. Then, for each feasible mode, we show how to calculate its WCET estimate for modern reduced instruction set computer (RISC) processors with caches and pipelines and for traditional complex instruction set computer (CISC) processors. This paper presents a novel method to automatically find program modes and calculate the WCET estimates of programs.Test case generation based on design specifications is an important part of testing processes. Instead of directly deriving test cases from activity diagrams, this approach selects test cases from a set of randomly generated ones according to a given test adequacy criterion. First, the modes of a program will be identified automatically by mode-relevant program slicing, and the precondition will be calculated for each mode using a path-wise test data generation method. Then, by running the instrumented program we obtain the corresponding program execution traces. The tool supports specification-based testing and helps to bridge the gap between theory and practice. This approach can also be used to check the consistency between the program execution traces and the behavior of activity diagrams. It follows accepted theoretical procedures while operating directly on OO software specifications. A finite state machines model of inter-operating OO classes was presented