The invention provides a method for testing a circuit operation (circuit simulation), which is conducted by using a model of high precision. After parameters are extracted by using a model of which physical precision is low and parameter extraction time is short from measurement data, the parameters are converted to those obtained by a model of which parameter extraction time is generally long and a circuit operation test is performed by a model of high physical precision. In other words, a parameter is extracted first by a model of low physical precision and then, the extracted parameter is converted into a parameter obtained by the model of high physical precision. Finally, a circuit operation test is performed by using the model having high physical precision.