[发明专利]用于分析包含校准值的软件的方法和设备

说明书

技术领域

本发明涉及嵌入式系统设计的设计自动化，特别是涉及使用计算机的软件编程代码规范的结构分析。

背景技术

本节内容仅提供涉及本发明的背景信息，可能不构成现有技术。

已知的控制系统包括具有控制模块的嵌入式系统，所述控制模块配置成执行嵌入式软件程序以便实现一个或多个规定功能。所述控制模块和嵌入式软件程序能够同时设计和开发，通常被称为协同设计过程。该控制模块能包含可编程处理设备，其包括专用集成电路（ASIC）、电子电路和中央处理单元－例如微处理器中的一种。可编程处理设备包括存储器和存储设备，或信号性地且可操作地连接到存储器和存储设备。示例性的存储器和存储设备包括例如只读存储器（ROM）、可编程只读存储器（PROM）、随机存取存储器（RAM）和硬盘驱动器。可编程处理设备配置成执行一个或多个嵌入式软件或固件程序。控制模块可包括组合逻辑电路、输入/输出电路和信号性地且可操作地连接到处理器的设备。控制模块包括适当的信号调节和缓存电路，以及其他合适的用以实现规定功能的部件。

嵌入式软件能够利用编程语言开发和细化，这种编程语言能够编译成适于存储和被控制模块的可编程处理设备执行的机器代码。已知的软件分析方法包括用以标识能够在程序中的特定点处影响计算的程序语句子集的程序切片。这个程序点可定义为语句或在语句处使用的特定变量，且被称作切片准则。在单入口、单出口程序的简单实例中，通过寻找全部传播数据流和导致切片准则的控制依赖性来确定切片。切片可以用作一些活动的维护或复用工具，如程序理解、调试、回归测试和从现有代码中的功能提取。作为交互工具，程序切片通过将源代码直接转换为简化的规范来促进对软件相关部分的理解。

程序切片由那些可能影响准则变量的值的语句组成，包括该语句是否执行。通过交互地解析数据和基于软件程序的控制流程图示的控制流等式来计算一种已知的切片。

控制流图表是适用于系统分析的程序表示法，其利用标准技术从必要的语言源代码规范得来。控制流图表包括被称为节点的运算，以及被称为边的介于各运算之间的控制和数据通路。流程图表是等价图示，其由基本规程和基本规程之间的控制通路组成。基本规程是总是成组执行的一串运算。控制流图表是源代码分析的普通图示，并且采用标准技术来查找控制依赖关系和数据流依赖关系。

在基于控制流图表的方法中，系统依赖关系图概括整个程序或部分程序的控制和数据依赖性。系统依赖关系图由一个或多个规程依赖关系图组成，其中每个规程依赖关系图概括过程内的控制和数据流依赖性。程序依赖图（程序内的每个规程对应一个）在系统依赖关系图内与表示规程内数据和控制依赖关系的边连接。通过基于图形的方法能够更准确地计算切片，而且包含的语句更少。能够界定多线程控制流程图，使得能够在单控制流图中明确地标示出所有并行的线程，之后分析该图以找出干扰依赖性，这是并行软件线程之间的数据流依赖性，也是多个软件线程的可行的执行次序。

发明内容

一种用于评测机器可执行软件代码规范的计算机实施方法包括用计算机生成与软件代码规范对应的系统依赖关系图。系统依赖关系图中所含的元素包括节点和边。计算机评测该系统依赖关系图，该评测包括：选择在软件代码规范中被修正的变量，给与软件代码规范中的控制语句对应的系统依赖关系图的控制运算节点提供优选校准状态，遍历至系统依赖关系图的选定元素，其中选定元素与选定变量和控制运算节点的优选校准状态相关联，仅对系统依赖关系图的选定元素进行评测，以及标识选定变量的状态被修正的位置处的那些选定元素。

方案1. 一种用于评测机器可执行软件代码规范的计算机实施方法，包括：

用计算机生成与所述软件代码规范相对应的系统依赖关系图，所述系统依赖关系图所含的元素包括节点和边，其中计算机评测所述系统依赖关系图，所述系统依赖关系图的评测包括：

选择在所述软件代码规范中被修正的变量；

给所述系统依赖关系图的、与所述软件代码规范中的控制语句相对应的控制运算节点提供优选校准状态；

遍历到所述系统依赖关系图的选定元素，所述选定元素与所述选定变量和所述控制运算节点的优选校准状态相关联；

仅评测所述系统依赖关系图的选定元素；和

标识所述选定变量的状态被修正的位置处的那些选定元素。

方案2. 如方案1所述的方法，进一步包括标识所述选定变量和相关变量之一的状态被修正的位置处的那些选定元素。

方案3. 如方案1所述的方法，进一步包括标识所述相关变量被使用的位置处的那些选定元素。