Towards Modified Condition/Decision Coverage of Rust
<|reference_start|>Towards Modified Condition/Decision Coverage of Rust: Testing is an essential tool to assure software, especially so in safety-critical applications. To quantify how thoroughly a software item has been tested, a test coverage metric is required. Maybe the strictest such metric known in the safety critical systems is Modified Condition/Decision Coverage (MC/DC), which DO-178C prescribes for the highest software assurance level in aviation. In the past, ambiguities in the interpretation of MC/DC have been resolved already, i. e. in CAST-10. However, some central features of the Rust programming language necessitate further clarification. This work investigates aforementioned features, in particular pattern matching, providing a consistent view on how to apply MC/DC to Rust. Hence, this paper informs the implementation of Rust MC/DC tools, paving the road towards Rust in high-assurance applications.<|reference_end|>
@article{zaeske2024towards,
    title={Towards Modified Condition/Decision Coverage of Rust},
    author={Wanja Zaeske, Pietro Albini, Florian Gilcher, Umut Durak},
    journal={arXiv preprint arXiv:2409.08708},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.08708},
    primaryClass={cs.SE}
}