[发明专利]一种事件序列故障定位方法

权利要求书

1.一种事件序列故障定位方法，所述定位方法应用于测试系统中，其特征在于，所述定位方法包括：

步骤100：根据所述测试系统中的测试结果，获得可能错误事件序列集；

步骤200：根据所述可能错误事件序列集，获得强度为t的错误事件序列；根据所述强度为t的错误事件序列，获得多条测试激励；

步骤300：逐条对所述多条测试激励触发，获得触发结果；

步骤400：判断所述触发结果是否错误，如果是，执行步骤500；否则，执行步骤600；

步骤500：将对应触发结果错误的测试激励加入到错误激励集合M中；

步骤600：将对应触发结果正确的测试激励加入到正确激励集合N中；

步骤700：根据所述正确激励集合N计算，获得所述测试系统的安全值集合，具体包括：

步骤701：设正确激励具有k个事件，由k个事件组成的测试激励；

步骤702：从所述正确激励集合N中筛选出kt的正确激励，获得新的正确激励集合N′；

步骤703：将所述新的正确激励集合N′中的每条所述正确激励对应的第i个事件至第i+t个事件的序列存储到所述安全值集合中，获得所述安全值集合，当kt时，i的取值为0,1,2，......，k-1；

步骤800：根据所述安全值集合定位所述错误激励集合M中的每条所述测试激励中对应的错误事件序列，将所述错误事件序列存储在错误事件序列集H中，输出所述错误事件序列集H，具体包括：

步骤801：设错误激励为T；

步骤802：初始化所述错误激励T，获得集合A，所述集合A为1到k的整数；

步骤803：判断所述集合A的强度是否大于t，如果是，执行步骤805；否则，执行步骤804；

步骤804：采用所述安全值集合中的各元素逐一替换所述集合A中的各元素，定位所述集合A中的错误事件序列，获得所述错误事件序列；

步骤805：将所述集合A平均分成t+1个互不相交的集合A₁,A₂,...,A_t+1；

步骤806：采用所述集合A₁,A₂,...,A_t+1中的集合A_j将所述错误激励对应位置上的元素替换为所述安全值，获得t+1条附加测试激励；

步骤807：当测试过程中出现m条所述附加测试激励触发错误，获取m条所述附加测试激励的交集对应的因素集A′；

步骤808：根据所述因素集A′生成新的测试激励T′；

步骤809：执行所述新的测试激励T′，判断触发结果是否错误，如果是，执行步骤810；否则，执行步骤811；

步骤810：将所述新的测试激励T′重新执行步骤801；

步骤811：从m条所述附加测试激励中任选一条所述附加测试激励重新执行801。