RSS トレイル・オブ・ビッツ ブログ
フォロー
突然変異検査はDAMLに登場します
同社は、テストスイートのギャップを特定するオープンソースのミューテーションテストエンジンであるMewtをリリースし、現在ではCanton Networkアプリケーションで使用される言語であるDAMLのサポートにまで拡張しました。MewtはDAMLを読み込み、ミュータントを生成し、既存のテストスイートで実行して生存ミュータントの数をカウントします。このカウントはテストスイートがどの程度チェックしているかを示し、従来のテストカバレッジレポートよりもテストの有効性をより正確に測定します。テストカバレッジレポートは、コードが実行されたかどうかを示すだけで、コードが意図したとおりに機能しなくなった場合にテストが失敗するかどうかを示さないため、誤解を招く可能性があります。一方、ミューテーションテストは、コードを妨害し、テストが失敗するかどうかを確認することでテストを評価し、テストの有効性をより包括的に測定します。MewtのDAMLサポートには、DAMLコントラクトで一般的なバグの原因となる認可プリミティブを対象とした2つの新しいミューテーションが含まれています。このツールは既存のワークフローに簡単に統合でき、その出力はどのテストが欠落しており、記述する必要があるかを明確に示します。Mewtを使用することで、開発者はテストが包括的で効果的であることを保証し、コード内のバグやエラーのリスクを軽減できます。同社は、より多くのミューテーションの追加や、コードの動作に影響を与えない変更である同等ミュータントの検出能力の向上など、Mewtの改善を続ける予定です。全体として、Mewtは開発者がテストの品質と有効性を向上させるための強力なツールを提供し、DAMLのサポートはCanton Networkアプリケーションの信頼性とセキュリティを確保するための重要なステップです。Mewtの使用は、開発者が開発プロセスの早い段階でバグを特定して修正するのに役立ち、高品質なソフトウェアを提供するのに必要な全体的なコストと時間を削減できます。