向Rust的修改条件/决定覆盖迈进
Towards Modified Condition/Decision Coverage of Rust
AI总结：
本文研究Rust语言中模式匹配等特性，探讨如何将MC/DC测试覆盖标准应用于Rust，为高保证应用中的Rust实现提供指导。
摘要：
测试是确保软件的重要工具，特别是在安全关键应用中。为了量化软件项已被测试的充分程度，需要一种测试覆盖度度量标准。在安全关键系统中，已知的最严格此类度量标准是修改条件/决定覆盖（MC/DC），DO-178C规定了航空领域最高软件保证级别。过去，MC/DC的解释歧义已得到解决，例如在CAST-10中。然而，Rust编程语言的一些核心特性需要进一步澄清。本文研究了上述特性，特别是模式匹配，提供了一种一致的观点，说明如何将MC/DC应用于Rust。因此，本文为Rust MC/DC工具的实现提供了指导，为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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
