ファジング

ソフトウェアに対して予期しない入力データ（ファズ）を大量に送り込み、異常動作やセキュリティ上の脆弱性を発見するテスト手法。自動化ツールを用いてランダムまたは半構造的なデータを生成し、クラッシュやメモリリークを検出する。

プログラムの入力に大量の予期しないデータ（ファズ）を自動的に生成・投入し、異常動作やクラッシュを引き起こすことで未知の脆弱性を発見するテスト手法。バッファオーバーフローやフォーマットストリング脆弱性などの検出に有効。

ソフトウェアに対して予期しない入力データ（ファズ）を大量に送り込み、異常動作やセキュリティ上の脆弱性を発見するテスト手法。自動化ツールを用いてランダムまたは半構造的なデータを生成し、クラッシュやメモリリークを検出する。

検査対象のソフトウェアに、ファズと呼ぶ大量の異常値や想定外のデータを自動で入力し、異常終了や応答の停止などの挙動から未知の脆弱性を見つける検査手法。バッファオーバーフローなど、入力処理の不備を発見しやすい。正常な入力を少しずつ変化させる方式や、実行された経路の網羅度を手がかりに入力を生成する方式がある。

ソフトウェアの設計・実装段階からセキュリティを考慮したプログラミング手法。入力値の検証、出力のエスケープ処理、適切なエラー処理、最小権限の原則などにより、脆弱性の作り込みを防止する。

条件と動作の組合せを表形式で整理する手法。複雑な条件分岐のロジックを網羅的に表現でき、業務分析や要件定義、テストケースの作成に活用される。デシジョンテーブルとも呼ばれる。

ソフトウェアユニット（最小のプログラム単位）ごとに行うテスト。ソフトウェア設計で定義したテスト仕様に従い、個々のモジュールが正しく動作するかを検証する。ホワイトボックステストが主に用いられる。

プログラムの内部構造（ロジック）に着目してテストデータを作成するテスト手法。命令網羅、判定条件網羅（分岐網羅）、条件網羅、複数条件網羅などのカバレッジ基準がある。

プログラムの内部構造を意識せず、入力と出力の関係に着目してテストデータを作成するテスト手法。同値分析法、限界値分析法、原因結果グラフ法、エラー埋込法などの技法がある。

テストによってプログラムのどの程度が実行されたかを示す指標。命令網羅（C0）、判定条件網羅（C1）、条件網羅（C2）、複数条件網羅（MCC）などの基準があり、テストの十分性を評価する。