基于需求模型的航天软件测试用例生成方法.pdfVIP

第 24卷 第 5期 光学 精密工程 VoL24 No．5 2O16年 5月 OpticsandPrecisionEngineering M ay．2016 文章编号 1004—924X(2016)05—1185—12 基于需求模型的航天软件测试用例生成方法 哈清华 ，刘大有 ，沈湘衡 ，刘 逻 (1．吉林大学计算机科学与技术学院，吉林长春 130012； 2．中国科学院长春光学精密机械与物理研究所，吉林长春130033； 3．吉林大学符号计算与知识工程教育部重点实验室，吉林 长春 130012) 摘要 ：为了提高航天软件测试 的效率和覆盖率 ，增加航天软件测试 的有效性 ，提 出了一种基于需求模型 的软件测试用例 设计方法 。针对航天软件测试 的特点，该方法采用从用例层深入至步骤层 的测试优化策略。首先 ，基于元建模方法定义 了一种测试需求模型；通过建立模型，将测试需求加 以拆分 ，获取 了测试需求之间的先后依赖关系 以及测试需求与测试 步骤之间的对应关系。然后 ，基于测试需求模型，构建 了测试需求 的路径图，进而通过对 图的遍历获得 了测试用例 。最 后 ，将该方法用于工程实践进行 了实验验证 。验证结果表明，该方法有效保证 了测试活动 的充分性和有效性，降低 了测 试用例约简的风险。与不约简的测试方法相 比，该方法减少测试工作量达 18 ，减少测试用例数量为 4o 以上 ，软件 测试 的执行时间也减少 了4O 以上 ，在满足需求覆盖率 的同时，有效提高了测试效率 。 关 键 词 ：软件测试 ；航天软件 ；测试用例生成 ；用例约简 ；测试 需求；模型 中图分类号 ：TP301．6 文献标识码 ：A doi：10．3788／OPE1185 Testcasegeneration ofaerospacesoftware based on modelingrequirements HA Qing～hua ，LIU Da—you” ，SHEN Xiang—heng ，LIU Luo。 (1．College0-厂ComputerScienceandTechnology，JilinUniversity，Changchun130012，China； 2．ChangchunInstituteofOptics，FineMechanicsandPhysics， ChineseAcademyofSciences，Changchun130033，China； 3．KeyLaboratoryofSymbolicComputationandKnowledgeEngineering {0rtheMinistryofEducation，JilinUniversity，Changchun130012，China) *Corresp0 他gauthor，E-mail：liudy(jlu。edu．cn Abstract：A model—driven software testcase generation approach wasresearched to improve the efficiencyandcoveragerateofaerospacesofttestandtoincreasethevalidityoftest．Accordingtothe characteristicsofaerospace so{twaretest，the strategy ofstep—layertestcaseoptimization wasput forwardinstead ofcaselayeroptimization．Firstly，amodelfortesting requirementswaspresented basedonmeta—modelingmethod．Then，thetestrequirementsweresplitbymodelbuilding