Automated Tool for Revising Masking MC/DC Test Suite

研究成果: Conference contribution

抄録

Modified Condition and Decision Coverage (MC/DC) is a software testing criterion to check code coverage. It can be divided into a unique-cause MC/DC and masking MC/DC, according to the level of acceptance in concepts. Although masking MC/DC is used in many applications, in our study we found undetectable cases utilizing Masking MC/DC test suites that could be detected using stricter unique-cause MC/DC. To ensure the strictness of MC/DC criterion, herein we propose an automated tool that revises the masking MC/DC test suite into a unique-cause MC/DC.

本文言語English
ホスト出版物のタイトルProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
編集者Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng
出版社Institute of Electrical and Electronics Engineers Inc.
ページ157-158
ページ数2
ISBN(電子版)9781728198705
DOI
出版ステータスPublished - 2020 10月
イベント31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 - Virtual, Coimbra, Portugal
継続期間: 2020 10月 122020 10月 15

出版物シリーズ

名前Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020

Conference

Conference31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
国/地域Portugal
CityVirtual, Coimbra
Period20/10/1220/10/15

ASJC Scopus subject areas

  • ソフトウェア
  • 安全性、リスク、信頼性、品質管理

フィンガープリント

「Automated Tool for Revising Masking MC/DC Test Suite」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル