Method And Apparatus For Dynamically Analyzing The Correctness Of Software

摘要

A method is provided for dynamically analyzing the correctness of software. A central processing unit of a target system has a trace interface that provides coded raw data relating to the tracing of the processing unit. The raw data are processed by initially conditioning the raw data and then evaluating the conditioned data using a conventional correctness analysis algorithm. The input data for the analyses can therefore be obtained without intervening in the target system and influencing its runtime behavior. By combining existing algorithms with hardware trace solutions, the solution makes it possible to dynamically analyze correctness without the previously required interventions in the program to be analyzed and meaningful analyses with respect to correctness can therefore be made more easily and more quickly during the development of software in embedded systems, which contributes to increasing the productivity during software testing and results in a higher quality of the software.

主权项

1. A method for dynamically analyzing the correctness of software, comprising:
providing, by a trace interface of a central processing unit of a target system, coded raw data relating to tracing of the processing unit, and processing the raw data, including:
conditioning the raw data; andevaluating the conditioned raw data using a correctness analysis algorithm.