プログラムのテストツールであるアサーションチェッカを説明しているものはどれか。
プログラム中に宣言されている変数の事前条件や事後条件をチェックする。
プログラム中に宣言されている変数の属性や上下限などをチェックする。
プログラム中の部品の機能を模擬するスタブによってテストする。
プログラムの仕様に記述した機能を満たすかどうかをテストする。