アサーションチェッカとは

定義

プログラム中に書かれた表明(アサーション)が実行時に成り立つかを検証するツール。assert文や事前条件・事後条件・不変条件を評価し、違反があれば例外を発生させる。テストやデバッグの自動化に有効で、契約による設計(Design by Contract)の実装手段となる。

ITパスポート・基本情報での出題ポイント

開発手法の用語は、要件定義、設計、実装、テスト、保守のどの工程で使うかが問われます。図法、レビュー、テスト技法、プログラム性質は、目的と検出できる問題の種類をセットで理解してください。

よく問われるパターン

• 開発工程に合う手法や成果物を選ぶ。
• レビューやテストで検出したい欠陥の種類を問う。
• UMLなどの図法が表す構造や振る舞いを判断する。

関連用語(開発手法)

• アクティビティ図あくてぃびてぃず
• アジャイルあじゃいる
• アジャイル開発あじゃいるかいはつ
• 委譲いじょう
• イテレーションいてれーしょん
• インスペクションいんすぺくしょん

間違えやすい用語との違い

アサーションチェッカと同じ「開発手法」の用語では、アクティビティ図、アジャイル、アジャイル開発などが近い文脈で問われます。工程、成果物、表現する対象、検出できる欠陥、変更への強さを軸にしてください。