MC_DC准则在嵌入式软件测试中的应用.pdfVIP

第40卷第6期自动化仪表Vol.40No.6

2019年6月PROCESSAUTOMATIONINSTRUMENTATIONJun.2019

MC/DC准则在嵌入式软件测试中的应用

安媛1,陆云峰2

(1•国核自仪系统工程有限公司，上海200241；2.±海申能崇明发电有限公司，上海202155)

摘要：MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中，是一种实用而高效的软件结构覆盖率验证准则。基于

嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具

实现MC/DC测试流程。MC/DC准则在核电仪控系统中的成功应用，对于航空、军工、机器人等高安全性和高可靠性领域有着很好的

借鉴作用。

关键词：嵌入式软件；软件测试；MC/DC；结构覆盖；逻辑控制；仪控；VectorCAST；最小测试用例集

中图分类号：TH-86文献标志码：ADOI：10.16086/j.cnki.issnl000-0380.2019030113

ApplicationofMC/DCCriterioninEmbeddedSoftwareTesting

ANYuan1,LUYunfeng2

(1.StateNuclearPowerAutomationSystemEngineeringCo.,Ltd.,Shanghai200241,China；

2.ShanghaiShenergyChongmingPowerGenerationCo.,Ltd.,Shanghai202155,China)

Abstract:MC/DCcriterioniswidelyusedinhighsecurityembeddedsoftwareindependentverificationandvalidation,anditisa

practicalandefficientsoftwarestructurecoverageverificationcriterion.Basedonthecharacteristicsofembeddedsoftwaretesting

andthebasicconceptsofMC/DC,amethodtformtheminimumtestsetofMC/DCisproposed.TheMC/DCtestingprocessis

realizedbyusingautomatedtestingtlsandcombiningwithpractical3ngineeringproject.ThesuccessfulapplicationofMC/DC

standardinnuclearpowerinstrumentcontrolsystemhasagdreferenceforhighsafetyandhighreliabilityfieldssuchas

aviation,militaryandrobotics.

Keywords:Embeddedsoftware；Softwaretesting；MC/DC；Structuralcoverage；Logiccontrol；Instrumentcontrol；

VectorCAST；Minimumtestcaseset

和验证流程。因此，在软件的各个生命周期内因地制

o引言