Modified condition/decision coverage: Difference between revisions

Revision as of 05:21, 9 August 2022

Revision as of 14:40, 30 August 2022

Line 67:

==RC/DC==

In 2002 [[Sergiy Vilkomir]] proposed '''Reinforced condition/decision coverage''' ('''RC/DC''') isas a stronger version of the MC/DC coverage criterion, that is suitable for [[safety-critical system]]s.<ref>{{cite journal | titlelast1=From MC/DC to RC/DC: formalization and analysis of control-flow testing criteriaVilkomir | first1=S.A. | last1last2=VilkomirBowen | authorlink1=Sergiy Vilkomir | first2=J.P. | last2date=Bowen2002 | authorlink2title=JonathanReinforced Bowencondition/decision |coverage (RC/DC): A new criterion for software testing |journal=[[FormalInternational AspectsConference of Computing]]B |and volume=18Z |Users number|series=1[[Lecture |Notes pages=42–62in |Computer date=2006Science]] | publisher=[[Springer Nature-Verlag]] |volume=2272 |pages=291–308 |doi=10.1007/s001653-005540-008445648-71_15 |isbn=978-3-540-43166-4 s2cid|authorlink1=10467796Sergiy Vilkomir |authorlink2=Jonathan Bowen}}</ref> It was originally proposed by [[Sergiy Vilkomir]] in 2002.<ref>{{cite journal| title=ReinforcedFrom conditionMC/decisionDC coverageto (RC/DC): Aformalization newand criterionanalysis forof softwarecontrol-flow testing criteria | first1=S.A. | last1=Vilkomir | authorlink1=Sergiy Vilkomir | first2=J.P. | last2=Bowen | authorlink2=Jonathan Bowen | journal=International[[Formal ConferenceAspects of B and Z Users | publisher=[[Springer-VerlagComputing]] | seriesvolume=[[Lecture Notes in Computer Science]]18 | volumenumber=22721 | pages=291–30842–62 | date=20022006 | publisher=[[Springer Nature]] | doi=10.1007/3s00165-540005-456480084-1_157 | isbns2cid=978-3-540-43166-410467796 }}</ref>

A[[Jonathan secondBowen]] publicationand refuteshis thisco-author claimanalyzed andseveral indicatesvariants thatof MCDCMC/DC (atand leastRC/DC theand Uniqueconcluded Causethat Strongat MCDCleast "UCMS"some or Masking)MC/DC variants of MCDC have superior coverage to the referenced Reinforced condition/decision coverageover (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>

==See also==