[发明专利]一种基于场景的锁存器测试方法

说明书

技术领域

本发明属于飞行控制系统软件测试技术，涉及一种对飞行控制系统软件中的锁存器测试方法。

背景技术

在飞行控制系统软件的设计中，锁存器占有很大比重，例如在飞行控制系统的BIT(机内自检测)检测中，应用锁存器对BIT测试结果进行故障锁存和故障复位。对锁存器的测试一直是飞控软件测试中的重点和难点。传统的测试方法往往只关注锁存器输出的当拍值，没有将锁存器放在应用场景中连续多拍进行测试验证；并且如果锁存器使用了延迟模块将输出信号反馈给输入信号，由于传统的测试方法不能将反馈信号单独作为输入赋值，因此无法测试该锁存器的正确性。

发明内容

本发明的目的是：提出一种灵活高效的能够基于场景测试锁存器的方法。

本发明的技术方案是：采用模型化的测试方法，使用场景的概念设计测试用例，根据锁存器的概念，将输入信号及执行的拍数映射成为矩阵，每一个矩阵对应一个场景，以时间节拍为序依次向被测程序输入矩阵中的各列向量，从而进行连续多拍的验证，并使用PASS/FAIL(通过/失败)准则的方式判定测试结果，通过脚本给出测试结果应该满足的条件，并获取测试覆盖率相关信息。

所述的基于场景的锁存器测试的方法，其步骤如下：

步骤一：根据软件需求识别出该锁存器模型相关的所有输入及输出信号；

步骤二：根据被测软件的安全性等级确定测试所需达到的覆盖率准则；

步骤三：根据软件需求描述的锁存器应用场景，结合2)中的覆盖率准则，为1)中的输入信号设计用例矩阵；

步骤四：使用1)中的输出信号，构建测试结果的PASS/FAIL(通过/失败)判定准则；

步骤五：执行测试，得到测试PASS/FAIL结果及所需覆盖率信息；所述的基于场景的锁存器测试的方法的流程如图1所示。

本发明具有的优点和有益效果：本发明通过测试矩阵能够连续多拍对锁存器进行测试，从而消除传统单拍测试的测试充分性不足的问题，并结合应用场景能够对带有反馈信号的锁存器进行测试，极大增强了测试的灵活性，提高了测试效率。

附图说明

图1是本发明所述一种基于场景的锁存器测试方法的流程图。

图2是应用本发明一种基于场景的锁存器测试方法的被测软件示意图。

具体实施方式

下面结合图2对本发明方法的具体实施步骤进行详细说明：

1.根据需求识别锁存器的所有输入输出信号，在图2中输入信号有：nvm_sync，flt_latch，flt_set_lcl，flt_set_ml，flt_set_mr，fcm_ml_vld，flt_set_mr，fcm_mr_vld，flt_in_nvm，init，rst_cmd；输出信号有：flt_latch，flt_set。

2.由于被测软件的软件安全性等级为A级，根据相关标准，测试覆盖率要达到MC/DC的100％覆盖；

3.设计测试用例；图2中存在输出信号到输入信号的延迟反馈，那么当拍的输出信号在下一拍才会反馈到数输入端，另外考虑到RS锁存器的特性，要满足MC/DC的100％覆盖，如果在输入下一拍信号前RS锁存器已经被置位，就需要先输入一拍复位信号；因此设计出基于场景的用例矩阵如下：

4.利用脚本构建测试结果的PASS/FAIL(通过/失败)判定准则；例如对输出

信号flt_set的PASS/FAIL准则可以通过if-then-else脚本判断：

if (simpleDelay(flt_set_lcl,0)&nvm_sync)|flt_set_lcl；

then flt_set；

else ～flt_set；

以上脚本中的simpleDelay函数为已封装的实现延时功能的脚本函数。

5.执行脚本，获取覆盖率等相关信息。