Точное, последовательное и надежное покрытие кода (Jynn Nelson на RustWeek)

Точное, согласованное и надежное покрытие кода от Джинн Нельсон. Большинство существующих инструментов покрытия кода ориентированы на измерения «достаточно хорошего» качества, где проценты используются в качестве приблизительной оценки, а изменение процента используется для определения того, вредит ли изменение кода общему покрытию или помогает. Для Ferrocene, сертифицированного по безопасности компилятора Rust, приблизительных оценок недостаточно. В этом докладе я расскажу, как мы сделали покрытие достаточно точным, чтобы тестировать в CI именно те строки исходного кода, которые покрыты, применили это к основной библиотеке Rust и использовали это, чтобы продемонстрировать эксперту по безопасности, что подмножество ядра имеет 100% покрытие строк, что позволяет использовать его в системах, критически важных для безопасности. О Джинн Нельсон (они/она/оно): Мне нравится творить зло и безумные вещи с компьютерами. Я много думаю о том, как сделать их более полезными и интересными, и как децентрализовать программы, чтобы они не зависели от крупных компаний, которые закрепляют властные структуры в своем коде. В свободное время я играю на пианино, посещаю собачьи площадки и хожу в походы по национальным паркам. git: https://github.com/jyn514/ mastodon/fedi: https://tech.lgbt/@jyn website: https://jyn.dev/ Этот доклад был прочитан на RustWeek 2026 в рамках секции компиляторов во вторник, 19 мая. Плейлист со всеми докладами этой секции можно найти по ссылке    • RustWeek 2026 Compiler Track Day 1  , а плейлист со всеми докладами RustWeek 2026 — по ссылке    • RustWeek 2026 All Talks   Информацию о RustWeek 2027 можно найти на сайте https://2027.rustweek.org. Надеемся увидеть вас там!