摘要 |
The purpose of the invention is to provide a method that enables use as a performance simulation in which an attainable performance value set is found efficiently without restricting a particular value as a verification formula, said method being provided when performance attributes such as model response time are verified during model inspection. A performance model inspection device that carries out a performance simulation based on model inspection of a system is provided with a model conversion processing unit, a model inspection execution unit and a performance information statistical processing unit. Said model conversion processing unit converts to a simulation-use model having a response time calculation formula added to a particular process of the model. Said model inspection execution unit executes a model inspection tool using: the simulation-use model converted by the model conversion processing unit; and a process completion condition formula. Said performance information statistical processing unit carries out and outputs a statistical process on response time information output when model inspection is executed on the simulation-use model. |