Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing (2002)
Cached
Download Links
- [www.sbu.ac.uk]
- [www.cs.utk.edu]
- [www.csis.ul.ie]
- [www.jpbowen.com]
- DBLP
Other Repositories/Bibliography
| Venue: | ZB2002: Formal Specification and Development in Z and B, Proceedings of 2nd International Conference of B and Z Users |
| Citations: | 6 - 3 self |
BibTeX
@INPROCEEDINGS{Vilkomir02reinforcedcondition/decision,
author = {Sergiy A. Vilkomir and Jonathan P. Bowen},
title = {Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing},
booktitle = {ZB2002: Formal Specification and Development in Z and B, Proceedings of 2nd International Conference of B and Z Users},
year = {2002},
pages = {295--313},
publisher = {Springer-Verlag, LNCS}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A new Reinforced Condition/Decision Coverage (RC/DC) criterion for software testing is proposed. This criterion provides further development of the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for testing of safety-critical software. Formal definitions in the Z notation for RC/DC, as well as MC/DC, are presented. Specific examples of using of these criteria are considered and some features are formally proved.
