（1）に存在する必要がありますプログラムの状態やプログラム変数は、プログラムの実行中に、特定の時点で満たす必要がある一連の条件を指定する論理式を指定します。
（2）機能や要件はドメイン固有の概念を表しています。アサーションは次のカテゴリに分類さ：パフォーマンス、信頼性、相互運用性、セキュリティ、および管理します。