一种基于场景的锁存器测试方法技术

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

A scenario based latch test method

The invention belongs to the software testing technique of a flight control system, and relates to a test method for a latch in a software of a flight control system. The method adopts the testing method of modeling, conceptual design test case scenarios, based on the concept of the latch, the input signal and the execution of the number of beats is mapped into matrix, each matrix corresponding to a scene in time sequence in order to measure the column vector of the input matrix program, thereby verify the continuous shot, and use the PASS/FAIL (pass / fail) standard way to judge the test results, the test results are given by the script should meet the conditions, and obtain the test coverage information. This method greatly improves the flexibility of the test and improves the efficiency of the test.

【技术实现步骤摘要】
一种基于场景的锁存器测试方法
本专利技术属于飞行控制系统软件测试技术，涉及一种对飞行控制系统软件中的锁存器测试方法。
技术介绍
在飞行控制系统软件的设计中，锁存器占有很大比重，例如在飞行控制系统的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；thenflt_set；else～flt_set；以上脚本中的simpleDelay函数为已封装的实现延时功能的脚本函数。5.执行脚本，获取覆盖率等相关信息。本文档来自技高网...

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

【技术特征摘要】
1.一种基于场景的锁存器测试方法，其特征在于，使用场景的概念设计测试用例，根据锁存器的概念，将输入信号及执行的拍数映射成为矩阵，每一个矩阵对应一个场景，以时间节拍为序依次向被测程序输入矩阵中的各列向量，从而进行连续多拍的验证，并使用PASS/FAIL(通过/失败)准则的方式判定测试结果，通过脚本给出测试结果应该满足的条件，并获取测试覆盖率相关信息。2.根据权利要求1所述的一种基于场景的锁存器测...

【专利技术属性】
技术研发人员：陈晰亮，张丹涛，武方方，赵亮，李鹏，田佳，王玮，马戎，
申请(专利权)人：中国航空工业第六一八研究所，
类型：发明
国别省市：陕西,61