{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:10:46Z","timestamp":1759331446945,"version":"build-2065373602"},"reference-count":11,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"10","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2025,10]]},"abstract":"<jats:p> Testing is an essential means to verify software for the purpose of certification, especially in safety-critical applications. To quantify how thoroughly a software item has been tested, a test coverage criterion is required. Maybe the strictest such known in safety-critical systems is modified condition\/decision coverage (MC\/DC), which DO-178C\/ED-12C prescribes for the highest software software level in aviation. In the past, ambiguities in the interpretation of MC\/DC have been resolved already, in CAST-10. However, some central features of the Rust programming language necessitate further clarification. This work investigates the 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 tools to measure MC\/DC for code written in Rust, paving the road toward Rust in high-assurance applications. <\/jats:p>","DOI":"10.2514\/1.i011558","type":"journal-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T05:23:13Z","timestamp":1757395393000},"page":"834-841","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":0,"title":["Toward Modified Condition\/Decision Coverage of Rust"],"prefix":"10.2514","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1427-2627","authenticated-orcid":false,"given":"Wanja","family":"Zaeske","sequence":"first","affiliation":[{"name":"German Aerospace Center (DLR)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2928-1710","authenticated-orcid":false,"given":"Umut","family":"Durak","sequence":"additional","affiliation":[{"name":"German Aerospace Center (DLR)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3863-1959","authenticated-orcid":false,"given":"Pietro","family":"Albini","sequence":"additional","affiliation":[{"name":"Ferrous Systems GmbH"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7870-7359","authenticated-orcid":false,"given":"Florian","family":"Gilcher","sequence":"additional","affiliation":[{"name":"Ferrous Systems GmbH"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"volume-title":"Evaluation of Code Analysis Tools for Rust in Safety-Critical Applications","year":"2022","author":"Prebeck Y. A.","key":"r1"},{"volume-title":"Standard ED-12C\/DO-178C, European Organisation for Civil Aviation Equipment (EUROCAE) and Radio Technical Commission for Aeronautics (RTCA)","year":"2012","author":"EUROCAE WG-12, and RTCA SC-205","key":"r2"},{"key":"r4","doi-asserted-by":"publisher","DOI":"10.1145\/2804295.2804297"},{"key":"r5","unstructured":"GroupB. C. A. \u201cAn Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion,\u201d Federal Aviation Administration TR DOT\/FAA\/AR-01\/18, April 2001, https:\/\/www.tc.faa.gov\/its\/worldpac\/techrpt\/ar01-18.pdf."},{"key":"r8","unstructured":"EUROCAE WG-71, and RTCA SC-205, \u201cSupporting Information for ED-12C and ED-109A Corrigendum 1,\u201d Standard ED-94C\/DO-248C, European Organisation for Civil Aviation Equipment (EUROCAE) and Radio Technical Commission for Aeronautics (RTCA), 102 rue Etienne Dolet, 92240 MALAKOFF, France, Feb. 2021."},{"key":"r9","unstructured":"JTC1\/SC22\/WG14, \u201cInformation Technology - Programming Languages - C,\u201d Standard ISO 9899: 2017, International Organization for Standardization (ISO), Geneva, CH, June 2017."},{"key":"r10","unstructured":"JTC1\/SC22, \u201cInformation Technology - Programming Languages - C++,\u201d Standard ISO\/IEC 14882: 2020, International Organization for Standardization (ISO), Geneva, CH, Dec. 2020."},{"issue":"4","key":"r12","first-page":"59","volume":"264","author":"Wang P.","year":"2011","journal-title":"Electronic Notes in Theoretical Computer Science, Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2010)"},{"key":"r13","unstructured":"EUROCAE WG-71, and RTCA SC-205, \u201cSoftware Considerations in Airborne Systems and Equipment Certification,\u201d Standard ED-215\/DO-330, European Organisation for Civil Aviation Equipment (EUROCAE) and Radio Technical Commission for Aeronautics (RTCA), 102 rue Etienne Dolet, 92240 MALAKOFF, France, Jan. 2012."},{"volume-title":"Standard ED-12B\/DO-178B","year":"1992","author":"EUROCAE WG-12, and RTCA SC-167","key":"r14"},{"key":"r15","unstructured":"WangP. \u201cLangages Applicatifs et Machines Abstraites Pour LA Couverture De Code Structurelle,\u201d Theses, Universit\u00e9 Pierre et Marie Curie, Paris VI, Oct. 2012, https:\/\/theses.hal.science\/tel-00741549."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I011558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T12:46:53Z","timestamp":1759236413000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I011558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":11,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["10.2514\/1.I011558"],"URL":"https:\/\/doi.org\/10.2514\/1.i011558","relation":{},"ISSN":["1940-3151","2327-3097"],"issn-type":[{"type":"print","value":"1940-3151"},{"type":"electronic","value":"2327-3097"}],"subject":[],"published":{"date-parts":[[2025,10]]},"assertion":[{"value":"2024-09-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-26","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}