Test file generation device and test file generation method

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.

2. The computer-readable, non-transitory medium according to claim 1 , wherein

the receiving includes receiving a definition diagram that is a diagram in which the various types of definition information is expressed by a graphic and a character string as the various types of definition information, and

the generating includes generating a definition file on the basis of the definition diagram received at the receiving.

3. The computer-readable, non-transitory medium according to claim 2 , wherein the receiving includes receiving, as the definition diagram, a mission diagram that is a definition diagram in which the final goal, the sub-goals, and the constraint are defined, an activity diagram that is a definition diagram in which the various types of procedures, the execution sequence, and the executioner are defined, and a faculty diagram that is a definition diagram in which an authority of the executioner is defined.

4. The computer-readable, non-transitory medium according to claim 2 , wherein the receiving includes receiving a definition diagram that is described in conformity with a UML (Unified Modeling Language) notation.

5. The computer-readable, non-transitory medium according to claim 1 , wherein the test file generation program making a computer to further execute testing whether the consistency of the work process is satisfied on the basis of the behavioral model generated at the generating.

6. The computer-readable, non-transitory medium according to claim 5 , wherein the testing includes testing whether the sub-goals are achieved when the various types of procedures are executed, whether the constrained condition is observed when the various types of procedures are executed, whether the various types of procedures are executed by the executioner having the authority, and whether the final goal is achieved.

7. The computer-readable, non-transitory medium according to claim 5 , wherein the test file generation program making a computer to further execute displaying a procedure that causes the consistency to be dissatisfied on a predetermined display unit in such a manner that the procedure can be identified when it is determined at the testing that the work process does not satisfy the consistency.

8. A test file generation device for generating a test file for testing a consistency of a work process, the test file generation device comprising:

a receiving unit that receives 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;

a definition file generating unit that generates a definition file on the basis of the various types of definition information received by the receiving unit; and

a behavioral model generating unit that generates a test file that indicates a behavioral model when the work process is executed on the basis of the definition file generated by the definition file generating unit.

9. The test file generation device according to claim 8 , wherein

the receiving unit receives a definition diagram that is a diagram in which the various types of definition information is expressed by a graphic and a character string as the various types of definition information, and

the definition file generating unit generates a definition file on the basis of the definition diagram received by the receiving unit.

10. The test file generation device according to claim 9 , wherein the receiving unit receives, as the definition diagram, a mission diagram that is a definition diagram in which the final goal, the sub-goals, and the constraint are defined, an activity diagram that is a definition diagram in which the various types of procedures, the execution sequence, and the executioner are defined, and a faculty diagram that is a definition diagram in which an authority of the executioner is defined.

11. The test file generation device according to claim 9 , wherein the receiving unit receives a definition diagram that is described in conformity with a UML (Unified Modeling Language) notation.

12. The test file generation device according to claim 8 , further comprising

a testing unit that tests whether the consistency of the work process is satisfied on the basis of the behavioral model generated by the behavioral model generating unit.

13. The test file generation device according to claim 12 , wherein the testing unit tests whether the sub-goals are achieved when the various types of procedures are executed, whether the constrained condition is observed when the various types of procedures are executed, whether the various types of procedures are executed by the executioner having the authority, and whether the final goal is achieved.

14. The test file generation device according to claim 12 , wherein further comprising a display control unit that controls a predetermined display unit to display a procedure that causes the consistency to be dissatisfied in such a manner that the procedure can be identified when it is determined by the testing unit that the work process does not satisfy the consistency.

15. A test file generation method performed by a test file generation device that generates a test file for testing a consistency of a work process, the test file generation method 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 in 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.