[发明专利]一种软件运行时故障定位方法

权利要求书

1.一种软件运行时故障定位方法，其特征在于包括以下步骤：

(1)、采用规约定义语言将设定的软件系统测试需求定义为性质规约；

(2)、对性质规约对应的脚本文件进行编译得到事件识别器，并确定所述事件识别器的插装位置；然后在软件系统程序进行编译之前，通过代码插装工具将所述事件识别器对应的代码插装在软件系统程序中；

(3)、根据性质规约确定软件系统对应的LTL公式，并利用自动机理论将所述LTL公式转化为有穷状态机，作为运行时监控器；

(4)、根据性质规约确定软件系统的关键变量和关键函数，将所述关键变量和关键函数所在位置作为检测节点，并在所述检测节点上部署探针；

(5)、在软件系统运行时：事件识别器采集设定的监控变量的变化数据，并发送给运行时监控器；运行时监控器对监控变量的变化数据进行验证，判断软件系统执行情况是否符合性质规约；探针记录软件系统的执行路径；

(6)、重复步骤(5)，将软件系统运行M次，得到M组验证结果和软件系统执行路径；

(7)、根据M组验证结果和软件系统执行路径，统计每个检测节点上出现故障的次数，选取故障次数最高的若干个位置作为软件系统的故障点；软件系统的故障点具体定位实现过程如下：

(7a)、在M组验证结果中提取M′组有效验证结果，即所述M′组有效验证结果对应的软件系统执行路径；M′为验证结果有效的软件执行次数；

(7b)根据M′组有效验证结果和软件系统执行路径，得到软件故障分析矩阵Q：

其中：e_i为第i个有效验证结果，如果运行监控器判断软件系统执行情况符合性质规约，则e_i＝0，如果运行监控器判断软件系统执行情况不符合性质规约，则e_i＝1；X_i＝[x_i1 x_i2… x_ij … x_iN]^T为第i个有效验证结果对应的软件系统执行路径，如果软件执行过程中经过第j个检测节点，则x_ij＝1；i＝1、2、…、M′，j＝1、2、…、N，N为软件系统中部署的探针总数；

(7c)根据软件故障分析矩阵Q，统计软件系统执行过程中经过各检测节点时出现软件故障的次数，具体计算公式如下：

其中，α_j为软件系统经过第j个检测节点时出现软件故障的次数；

(7d)对α₁、α₂、…、α_N按升序进行排序，选取排序后的前L个值对应的检测点作为软件故障点。

2.根据权利要求1所述的一种软件运行时故障定位方法，其特征在于：在步骤(1)中，采用原子事件定义语言PDEL和复合事件定义语言MEDL描述设定的软件系统测试需求，确定性质规约。

3.根据权利要求1所述的一种软件运行时故障定位方法，其特征在于：在步骤(5)中，运行时监控器对监控变量的变化数据进行验证，判断软件系统执行情况是否符合性质规约，其中：如果运行监控器判断软件系统执行情况符合性质规约，则输出验证结果为0；如果运行监控器判断软件系统执行情况不符合性质规约，则输出验证结果为1；如果运行监控器不能确定软件系统执行情况是否符合性质规约，则设定验证结果无效。

4.根据权利要求1所述的一种软件运行时故障定位方法，其特征在于：在步骤(5)中，探针记录软件系统的执行路径，具体实现方法如下：在软件系统执行过程时，如果对探针对应的关键变量或关键函数进行了操作，则所述探针输出结果为1；在软件系统执行完成后，将N个探针值构成的矢量作为软件系统的执行路径；N为软件系统中部署的探针总数。