1. A computer-readable, non-transitory medium having stored therein a test file generation program for generating a test file for testing a consistency of a work process, the test file generation program causing a computer to execute a process comprising: 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 at the receiving; and generating a test file that indicates a behavioral model when the work process is executed on the basis of the definition file generated at the generating.