{"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":null,"pages":null},"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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
