Automated Tool for Revising Masking MC/DC Test Suite

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
EditorsMarco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages157-158
Number of pages2
ISBN (Electronic)9781728198705
DOIs
Publication statusPublished - 2020 Oct
Event31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 - Virtual, Coimbra, Portugal
Duration: 2020 Oct 122020 Oct 15

Publication series

NameProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020

Conference

Conference31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
CountryPortugal
CityVirtual, Coimbra
Period20/10/1220/10/15

Keywords

  • masking MC/DC
  • Modified Condition and Decision Coverage
  • Soft-ware testing

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'Automated Tool for Revising Masking MC/DC Test Suite'. Together they form a unique fingerprint.

Cite this