主要观点：测试是确保软件的重要工具，在安全关键应用中尤其如此，需用测试覆盖度量来量化软件测试的彻底程度，安全关键系统中最严格的度量是修改条件/决策覆盖（MC/DC），DO - 178C 规定其用于航空中的最高软件保证级别，过去已解决 MC/DC 解释的歧义，而 Rust 编程语言的一些核心特征需要进一步澄清，此工作研究了相关特征，特别是模式匹配，为在 Rust 中应用 MC/DC 提供了一致观点，有助于 Rust MC/DC 工具的实现，为高保证应用中的 Rust 铺平道路。
关键信息：19 页，1 幅图，9 个列表；学科为软件工程（cs.SE）；引用为[arXiv:2409.08708]或[arXiv:2409.08708v1]；[https://doi.org/10.48550/ArXi...]；提交历史从 Wanja Zaeske 于 2024 年 9 月 13 日 10:53:32 UTC 提交（41 KB）。