首页>
外国专利>
Model checking programs, model checking method, model checking equipment
Model checking programs, model checking method, model checking equipment
展开▼
机译:模型检查程序,模型检查方法,模型检查设备
展开▼
页面导航
摘要
著录项
相似文献
摘要
PROBLEM TO BE SOLVED: To provide a model inspection program, a model inspection method and a model inspection device, allowing detection of possibility of omitted setting of a property in model inspection, and allowing reduction of calculation cost.;SOLUTION: In the model inspection wherein an inspection target program is simulation-executed to inspect whether the property is concluded in each screen, a screen displayed when simulation-executing the inspection target program, a screen item related to input/output of data displayed on the screen, and a variable described in the inspection target program are associated, a variable shared and used by the plurality of screens in screen transition is extracted from the associated variables, a variable wherein the variable used in the property related to the screen transition is extracted from the extracted variables is set as a monitoring variable, only the monitoring variable is monitored in each screen, a value of the monitoring variable is compared before and after the screen transition, and the monitoring variable having different values in the screens before and after the screen transition is detected and recorded.;COPYRIGHT: (C)2011,JPO&INPIT
展开▼