型カバレッジ
型カバレッジ 英語表記: Type Coverage 概要 型カバレッジは、静的型付けを採用したプログラミング言語環境において、コードベース全体の中で「型情報が明確に定義または推論されている部分の割合」を定量的に測定する […]
テストとの関係
このカテゴリの用語
型検査の自動化
型検査の自動化 英語表記: Automated Type Checking 概要 型検査の自動化とは、プログラミング言語の型システムが持つルール（特に静的型付けのルール）に基づき、ソースコードの記述内容に型に関する矛盾が […]
型とユニットテスト
型とユニットテスト 英語表記: Types and Unit Tests 概要 型とユニットテストは、ソフトウェア開発における品質保証を二重構造で実現する、非常に強力な手法です。特に、静的型付けを採用している言語において […]