Detection program, detecting device, and detecting method

Abstract

A computer-readable recording medium stores a detection program. The detection program causes a computer to execute performing the scenario model and assigning a predetermined test value to the input variable of the scenario model; performing the implementation model and assigning the test value to the input variable of the implementation model; analyzing a structure of read and write processes for each input variable of the scenario model; analyzing a structure of read and write processes for each input variable of the implementation model; comparing a value of the output variable associated with performing the scenario model and a value of the output variable associated with performing the implementation model; and comparing the structure related to the scenario model and that related to the implementation model to detect a difference between the two models.

1 . A computer-readable recording medium that stores therein a detection program that causes a computer to execute:
 when a scenario, in which the relation between a process performed according to an input variable and a value assigned to the input variable and an output variable to which a value of the result of the process is assigned is defined in a natural language, is described in a predetermined artificial language and is stored as a scenario model in a scenario-model storage unit, executing the scenario model by reading the scenario model from the scenario-model storage unit and assigning a predetermined test value to the input variable of the scenario model;   when the scenario is described in an artificial language for implementation and is stored as an implementation model in an implementation-model storage unit, executing the implementation model by reading the implementation model from the implementation-model storage unit and assigning the test value to the input variable of the implementation model;   analyzing a structure of a read process and a write process for each input variable of the scenario model by the executing of the scenario model, from a time when the test value is assigned to an input variable to a time when the resultant value is assigned to an output variable, to store the analyzed structure in a scenario-model analysis-result storage unit;   analyzing a structure of a read process and a write process for each input variable of the implementation model by the executing of the implementation model, from a time when the test value is assigned to an input variable to a time when the resultant value is assigned to an output variable, to store the analyzed structure in a implementation-model analysis-result storage unit;   comparing a value of the output variable output through the executing of the scenario model and a value of the output variable output through the executing of the implementation model; and   when the values of the output variables are different from each other as a result of the comparison, comparing the structure stored in the scenario-model analysis-result storage unit and the structure stored in the implementation-model analysis-result storage unit to detect a difference between the scenario model and the implementation model.   
   
   
       2 . A detecting device comprising:
 a scenario-model storage unit that stores a scenario model including a scenario, described in a predetermined artificial language, in which the relation between a process performed according to an input variable and a value assigned to the input variable and an output variable to which a value of the result of the process is assigned is defined in a natural language;   an implementation-model storage unit that stores an implementation model wherein the scenario is described in an artificial language for implementation;   a scenario-model executing unit that executes the scenario model by assigning a predetermined test value to the input variable of the scenario model stored in the scenario-model storage unit;   an implementation-model executing unit that executes the implementation model by assigning a predetermined test value to the input variable of the implementation model stored in the implementation-model storage unit;   a scenario-model analyzing unit that analyzes a structure of a read process and a write process for each input variable of the scenario model executed by the scenario-model executing unit, from a time when the test value is assigned to an input variable to a time when the resultant value is assigned to an output variable;   an implementation-model analyzing unit that analyzes a structure of a read process and a write process for each input variable of the implementation model executed by the implementation-model executing unit, from a time when the test value is assigned to an input variable to a time when the resultant value is assigned to an output variable;   a comparing unit that compares a value of the output variable output by executing the scenario-model executing unit and a value of the output variable output by executing the implementation-model executing unit; and   a detecting unit that compares, when the values of the output variables are different from each other as a result of the comparison by the comparing unit, the structure analyzed by the scenario-model analyzing unit and the structure analyzed by the implementation-model analyzing unit to detects a difference between the scenario model and the implementation model.   
   
   
       3 . A detection method comprising:
 when a scenario, in which the relation between a process performed according to an input variable and a value assigned to the input variable and an output variable to which a value of the result of the process is assigned is defined in a natural language, is described in a predetermined artificial language and is stored as a scenario model in a scenario-model storage unit, executing the scenario model by reading the scenario model from the scenario-model storage unit and assigning a predetermined test value to the input variable of the scenario model;   when the scenario is described in an artificial language for implementation and is stored as an implementation model in an implementation-model storage unit, executing the implementation model by reading the implementation model from the implementation-model storage unit and assigning the test value to the input variable of the implementation model;   analyzing a structure of a read process and a write process for each input variable of the scenario model by the executing of the scenario model, from a time when the test value is assigned to an input variable to a time when the resultant value is assigned to an output variable, to store the analyzed structure in a scenario-model analysis-result storage unit;   analyzing a structure of a read process and a write process for each input variable of the implementation model by the executing of the implementation model, from a time when the test value is assigned to an input variable to a time when the resultant value is assigned to an output variable, to store the analyzed structure in a implementation-model analysis-result storage unit;   comparing a value of the output variable output through the executing of the scenario model and a value of the output variable output through the executing of the implementation model; and   when the values of the output variables are different from each other as a result of the comparison, comparing the structure stored in the scenario-model analysis-result storage unit and the structure stored in the implementation-model analysis-result storage unit to detect a difference between the scenario model and the implementation model.