首页>
外国专利>
Method and apparatus for dynamically analyzing the correctness of software
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.
展开▼