| 摘要 |
検証シナリオ作成部１０２は、検証対象のプログラムである実装コードを解析し、実装コードが実行された際に割込みが発生する可能性がある複数のタイミングをそれぞれ割込みポイントとして指定する。実装コード実行部１０１１は実装コードを実行する。割込み模擬部１０５は、実装コードの実行時に、割込みポイントにて割込みを禁止する設定が行われていれば、割込みポイントにて割込みを発生させず、割込みポイントにて割込みを許可する設定が行われていれば、割込みポイントにて割込みを発生させる。検証項目解析部１０４は、実装コードの実行結果を解析し、複数の割込みポイントのうち割込みが禁止されるタイミングに正しく割込みを禁止する設定が行われたか否かを判断する。 |
