一种测试用例集自动生成方法技术

本发明专利技术为一种测试用例集自动生成方法，包括以下具体步骤：步骤1：获取逻辑表达式的条件集及条件前置逻辑符集、条件/判定集及条件/判定前置逻辑符集信息；所述的条件集是指逻辑表达式的所有条件的集合，所有条件包括耦合条件，每一个条件表示为C1～Cn，设总条件数为N，相异条件数为M，且按照表达式中出现顺序排列；所述的条件/判定集是逻辑表达式的所有条件和判定的集合，判定包括父判定和子判定，根据排序原则对判定和条件进行排序，排序原则为：按照从属关系和出现顺序进行排序，从属关系优先，条件在相应判定之后；所述的前置逻辑符是指：逻辑表达式中出现在该条件或判定前面的逻辑符号“&&”或“||”，或者无逻辑符号即设为空。

A method of automatic generation of test case set

【技术实现步骤摘要】
一种测试用例集自动生成方法
本专利技术专利涉及软件测试
，涉及一种测试用例集自动生成方法，具体涉及一套基于MC/DC要求的测试用例集自动生成算法。
技术介绍
DO-178B根据系统安全性评估过程中予以确定的软件对潜在失效状态的影响程度将航空电子软件划分为A-E五个等级。不同等级软件对应不同的测试覆盖性要求，其中，A级软件测试应满足MC/DC(ModifiedCondition/DecisionCoverage)覆盖。MC/DC，即修订的条件/判定覆盖，是由Chilenski和Miller提出的一套利用足够少的测试用例完成软件可信度测试的准则。MC/DC要求：程序中，每一个入口点和退出点至少被引用一次；每一个判定的所有可能输出结果至少产生一次；判定中，每一个条件的所有可能输出结果至少产生一次，且能独立影响该判定的输出。尽管该方法可以有效提高软件测试效率，但如何快速获取满足MC/DC要求的测试用例集却是一个难题，为此，国内外众多学者都作了相关研究。专利200910242657.8(一种计算机软件白盒测试的实现方法及系统)提出的方法，首先需要对所有可能情况(2n，n为条件数)进行遍历本文档来自技高网...

【技术保护点】
一种测试用例集自动生成方法，其特征在于，包括以下具体步骤：步骤1：获取逻辑表达式的条件集及条件前置逻辑符集、条件/判定集及条件/判定前置逻辑符集信息；所述的条件集是指逻辑表达式的所有条件的集合，所有条件包括耦合条件，每一个条件表示为C1～Cn，设总条件数为N，相异条件数为M，且按照表达式中出现顺序排列；所述的条件/判定集是逻辑表达式的所有条件和判定的集合，判定包括父判定和子判定，根据排序原则对判定和条件进行排序，排序原则为：按照从属关系和出现顺序进行排序，从属关系优先，条件在相应判定之后；所述的前置逻辑符是指：逻辑表达式中出现在该条件或判定前面的逻辑符号“&&;”或“||”，或者...

【技术特征摘要】
1.一种测试用例集自动生成方法，其特征在于，包括以下具体步骤：步骤1：获取逻辑表达式的条件集及条件前置逻辑符集、条件/判定集及条件/判定前置逻辑符集信息；所述的条件集是指逻辑表达式的所有条件的集合，所有条件包括耦合条件，每一个条件表示为C1～Cn，设总条件数为N，相异条件数为M，且按照表达式中出现顺序排列；所述的条件/判定集是逻辑表达式的所有条件和判定的集合，判定包括父判定和子判定，根据排序原则对判定和条件进行排序，排序原则为：按照从属关系和出现顺序进行排序，从属关系优先，条件在相应判定之后；所述的前置逻辑符是指：逻辑表达式中出现在该条件或判定前面的逻辑符号“&&”或“||”，或者无逻辑符号即设为空；步骤2：依次选取条件集中的条件作为独立条件，获取一组赋值，保证该组赋值代入表达式的输出结果由独立条件的赋值决定；所述的独立条件是指，当前独立影响逻辑表达式输出结果的条件；对于耦合条件，则赋值由当前测试用例中的前次设定值为依据；对于零耦合条件逻辑表达式和弱耦合条件逻辑表达式，步骤2可以分解为如下步骤:步骤2.1A：选取条件集的第一个条件作为独立条件，然后获取条件集的一组有效赋值；步骤2.1.1A：选取C1作为独立条件，赋值为False；步骤2.1.2A：依次选取后续受控条件为比较条件，设比较条件为Ci，i>＝2，在条件/判定集中找到所有比较判定D1～Dn，n>＝1，其中，D1为同父判定，当n>＝2，其中D2为一级比较子判定；从Dn开始往前遍历，基于“决定条件判定法”判断Ci是否为当前判定的决定条件，如果是，则继续向前查找，直到找到决定条件不为Ci的比较判定Dj，此时j>＝1；当j>＝2，则Ci的设定值由Dj-1的前置逻辑符决定，当j＝1时，则为Ci的前置逻辑符决定；如果遍历到D2，Ci依然为决定条件，则如果比较条件出现在独立条件之前，则其值由一级独立子判定，如果比较条件出现在独立条件之后，则为C1的前置符号决定，否则，则由D2的前置符号决定，当n＝1时，则为Ci的前置逻辑符决定，然后依次获取其余受控条件的设定值；所述的受控条件是指，条件集中除当前独立条件以外的条件；所述的比较条件是指，条件集中当前准备处理的受控条件；所述的独立判定是指，当前条件/判定集中独立影响逻辑表达式输出结果的判定，包含独立条件，在条件/判定集中至少有一个；所述的受控判定是指，条件/判定集中除当前独立判定以外的判定；所述的比较判定是指，条件/判定集中当前准备处理的受控判定，即含比较条件的判定；所述的同父判定是指，当前条件/判定集中同时包含独立条件与比较条件且离独立条件最近的判定；所述的一级独立子判定是指，同父判定下一级包含独立条件的判定，即当前条件/判定集中紧接着同父判定的含独立条件的判定；所述的一级比较子判定是指，同父判定下一...

【专利技术属性】
技术研发人员：谢祥南，魏延栋，徐志鑫，曹明华，
申请(专利权)人：中国航空无线电电子研究所，
类型：发明
国别省市：上海,31