摘要 |
A test file generation method for generating a test file for testing a consistency of a work process includes receiving various types of definition information relating to various types of procedures included in the work process, execution sequence of the various types of procedures, a final goal that is a goal that is finally achieved in the work process, sub-goals that are goals that are achieved in the various types of procedures, a constrained condition that is observed when the various types of procedures are executed, an executioner who executes the various types of procedures, and an authority for determining a procedure that can be executed by the executioner, generating a definition file on the basis of the various types of definition information received, and generating a test file that indicates a behavioral model when the work process is executed on the basis of the definition file generated.
|