Modified condition/decision coverage: Difference between revisions

Revision as of 16:50, 28 August 2025

Latest revision as of 16:51, 28 August 2025

Line 70:

==RC/DC==

In 2002 [[Sergiy Vilkomir]] proposed '''reinforced condition/decision coverage''' ('''RC/DC''') as a stronger version of the MC/DC coverage criterion that is suitable for [[safety-critical system]]s.<ref>{{cite book |last1=Vilkomir |first1=S.A. |last2=Bowen |first2=J.P. |date=2002 |titlechapter=Reinforced condition/decision coverage (RC/DC): A new criterion for software testing |journaltitle=International Conference of B and Z Users |series=[[Lecture Notes in Computer Science]] |publisher=[[Springer-Verlag]] |volume=2272 |pages=291–308 |doi=10.1007/3-540-45648-1_15 |isbn=978-3-540-43166-4 |authorlink1=Sergiy Vilkomir |authorlink2=Jonathan Bowen}}</ref><ref>{{cite journal| title=From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria | first1=S.A. | last1=Vilkomir | authorlink1=Sergiy Vilkomir | first2=J.P. | last2=Bowen | authorlink2=Jonathan Bowen | journal=[[Formal Aspects of Computing]] | volume=18 | number=1 | pages=42–62 | date=2006 | publisher=[[Springer Nature]] | doi=10.1007/s00165-005-0084-7 | s2cid=10467796 | doi-access=free }}</ref>

[[Jonathan Bowen]] and his co-author analyzed several variants of MC/DC and RC/DC and concluded that at least some MC/DC variants have superior coverage over RC/DC.<ref>{{cite journal |last1=Kapoor |first1=Kalpesh |last2=Bowen |first2=Jonathan P |authorlink2=Jonathan Bowen |title=A formal analysis of MCDC and RCDC test criteria |journal=Software Testing, Verification and Reliability |date=2005 |volume=15 |issue=1 |pages=21–40 |doi=10.1002/stvr.306 |publisher=[[Wiley Online Library]]|s2cid=35276126 }}</ref>