| 摘要 |
<p>A verification scenario creation unit (102) analyzes an implementation code which is a program to be verified, and designates, as interruption points, a plurality of timings at which there is a possibility that interruption may occur when the implementation code is executed. An implementation code execution unit (1011) executes the implementation code. An interruption simulation unit (105) does not cause interruption at the interruption point if a setting has been made to prohibit interruption at said interruption point at the time of executing the implementation code, and causes interruption at the interruption point if a setting has been made to permit interruption at said interruption point. A verification item analysis unit (104) analyzes the result of executing the implementation code and determines whether or not a setting to prohibit interruption was made properly at timings, among said plurality of interruption points, at which interruption is to be prohibited.</p> |
