基于MC∕DC最小测试用例集设计方法研究

《基于MC∕DC最小测试用例集设计方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于MC/DC最小测试用例集设计方法研究袁军2010年9月第41卷第3期(总第140期)基于MC/DC最小测试用例集设计方法研究1,2袁军(1.南京航空航天大学，南京210016；2.中国航空无线电电子研究所，上海200233)[摘要]动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的，针对不同级别的软件，DO-178B规定了不同的结构覆盖标准。本文针对A级软件，给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路，结合LDRATestbed覆盖分析结果，总结出合理的设计

2、方法。[关键词]DO-178B；改进条件/判定范围（MC/DC）；最小测试用例集+[中图分类号]P306.2[文献标识码]A[文章编号]1006-141X（2010）03-0051-04ResearchonMethodforDesigningMinimalTestCasesSetBasedonMC/DC1,2YUANJun(1.NanjingUniversityofAeronauticsandAstronautics,Nanjing210016,China;2.ChinaNationalAeronauticalRadioElectronicsResearchInstitute,Shanghai

3、200233,China)Abstract:Dynamictestsfinderrorswhichexistinthesoftwarethroughdesigningtestcases,developingandrunningtestprocedures.Howtodeterminethedesignoftestcasesissufficient,DO-178Bprovidesthedifferentcriteriaofstructurecoveragefordifferentlevelsofsoftware.AimingatLevelAsoftware,thispapershowsafast

4、designmethodtogenerateminimaltestcasessetbasedonMC/DCcriterion.Therearetwodifferentcasedesignideasforacomplicatedsituation,inwhichaoneconditionappearsmorethanonceinadecision.AreasonabledesignwillbeisconcludedforthissituationcombinedwiththecoverageanalysisresultbyLDRAtestbed.Keywords:DO-178B;Modified

5、Condition/DecisionCoverage（MC/DC）;minimaltestcasesset美国航空无线电技术委员会（RTCA：Radio1引言TechnicalCommissionforAeronautics）提出的一个随着软件产业规模的不断扩大，如何避免那航空工业的软件标准，其目的是为航空软件的生些防不胜防的软件错误，对于具有高安全性要求产提供指导，使软件达到相应等级的安全性。软的航空软件尤为重要，因为这样的错误一旦发件级别依据系统安全评估过程中所确定的潜在失生，其结果往往是灾难性的。DO-178B航空系统效状态而决定，如失效状态为灾难性的其对应的和设备认证的软件要求（Sof

6、twareConsiderationin软件级别为A级（LevelA）。AirborneSystemsandEquipmentCertification）是由51September2010Vol.41No.3(serialNo.140)航空电子技术AVIONICSTECHNOLOGY软件测试是软件生命周期中的一个重要过能结果出现一次；条件A在条件B不变的情况下独程，可分为静态测试和动态测试两种。动态测试立地影响判定的结果。主要是通过设计测试用例、开发和运行测试程序考察表1中的第1、3组测试用例：条件B的来发现软件中存在的错误。设计测试用例应该基所有取值均出现一次；条件B在条件A不变的情况于

7、需求，因为这类测试用例发现错误的效率是最下独立地影响判定的结果。高的。如何判断设计的测试用例是充分的，针对综上分析可得出满足MC/DC准则的测试用例不同级别的软件，DO-178B规定了不同的结构覆集（见表2）。盖标准。本文针对A级软件，给出一种适合表2“AandB”满足MC/DC测试用例集MC/DC准则的最小测试用例集快速设计方法。针用例组号AB结果1111对一个判定中同一条件出现多次的复杂情形引