cargo-mutants でテストの穴を測って、proptest と kani で埋める (追記 miri)

最近、Rust にテストを書いていて cargo-mutants、proptest、kani の 3 つを組み合わせるのがかなり強力に感じたので記事にまとめておきます。 本記事は、埋め込み Rust のミッションクリティカルな領域で AI に Rust のミュータントテスト、PBT、形式化による検証を試させて、その記録を自分が理解できるように、整形したものです。 (kani についてはまだ理解が浅いので、間違った記述が残ってるかもしれません) (追記: unsafe 向けに miri も試しました) tl;dr cargo-mutants は「テストがどこを検査していないか」を測る道具 生き残った mutant を消すなら、参照モデルと突き合わせる proptest を 1 本書くのが一番安い 今回は 1 本で生存 mutant が 18 件から 0 件に 生存 mutant が出た場所が

[nguyen-oi]

カバレッジ100％教信者に冷や水を浴びせる良記事。結局テストケースを書くテストが必要になる無限ループ感あるな

[mizchi]

書いた