Enhanced-condition-MC/DC: A method for improving MC/DC testing adequacy

Haihua Yan, Xiaowei Zhang, Zhen Zhang
{"title":"Enhanced-condition-MC/DC: A method for improving MC/DC testing adequacy","authors":"Haihua Yan, Xiaowei Zhang, Zhen Zhang","doi":"10.1109/ICRMS.2016.8050052","DOIUrl":null,"url":null,"abstract":"The Modified Condition Decision Coverage (MC/DC) test criterion is a mandatory requirement for the testing of avionics software as per the DO-178B standard. In the implementation of safety-critical software, there are many complex logics and testing requirements are relatively high. In structure-based testing, MC/DC coverage has a strong ability to detect errors compared to decision or condition coverage. However, it isn't enough to prove that the implementation is correct; there may be defects still lurking in the software. In this paper we classified the flaws in Boolean expressions into four types based on the software faults model and analyzed the MC/DC sensitivity to these flaws. We found that MC/DC is not sensitive to the relational condition boundary error. Additionally, we present a testing criteria called Enhanced-Condition-MC/DC (EC-MC/DC) as a method of improving MC/DC testing adequacy. The validity and feasibility of the method are verified by real-world open source programs.","PeriodicalId":347031,"journal":{"name":"2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS)","volume":"83 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICRMS.2016.8050052","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

The Modified Condition Decision Coverage (MC/DC) test criterion is a mandatory requirement for the testing of avionics software as per the DO-178B standard. In the implementation of safety-critical software, there are many complex logics and testing requirements are relatively high. In structure-based testing, MC/DC coverage has a strong ability to detect errors compared to decision or condition coverage. However, it isn't enough to prove that the implementation is correct; there may be defects still lurking in the software. In this paper we classified the flaws in Boolean expressions into four types based on the software faults model and analyzed the MC/DC sensitivity to these flaws. We found that MC/DC is not sensitive to the relational condition boundary error. Additionally, we present a testing criteria called Enhanced-Condition-MC/DC (EC-MC/DC) as a method of improving MC/DC testing adequacy. The validity and feasibility of the method are verified by real-world open source programs.
增强条件MC/DC:一种提高MC/DC测试充分性的方法
修改条件决策覆盖(MC/DC)测试准则是根据DO-178B标准对航空电子软件进行测试的强制性要求。在安全关键型软件的实现中,有许多复杂的逻辑,测试要求也比较高。在基于结构的测试中,与决策覆盖或条件覆盖相比,MC/DC覆盖具有很强的检测错误的能力。然而,这还不足以证明实现是正确的;软件中可能还潜伏着缺陷。本文基于软件故障模型将布尔表达式中的缺陷分为四类,并分析了MC/DC对这些缺陷的敏感性。我们发现MC/DC对相关条件边界误差不敏感。此外,我们提出了一种称为增强条件MC/DC (EC-MC/DC)的测试标准,作为提高MC/DC测试充分性的方法。通过实际的开源程序验证了该方法的有效性和可行性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信