Software development device and software development program

1. A non-transitory software development device comprising a memory and a hardware processor configured to:

obtain a source code;

determine a first scope in the source code;

extract a constraint condition associated with the first scope from the source code;

determine a second scope associated with the first scope in the source code;

apply restrictions based on the extracted constraint condition to partial source codes in both the first scope and the second scope even if a constraint condition identical to the extracted constraint condition is not associated with the second scope in the source code;

generate an object code from the source code to conform the restrictions based on the constraint condition;

evaluate whether or not the partial source codes in the first scope and the second scope conform to the restrictions; and

stop generation of an object code when the partial source codes in the first scope and the second scope are evaluated not to conform to the restrictions;

wherein, when verifying the source code without change conforms to the restrictions is not evaluated, the software development device is further configured to generate another object code for evaluating whether or not the restrictions are conformed during execution of the object code, and for evaluating whether or not the object code is corresponding to the source code; and

wherein the restrictions include any one of restrictions or rules on resources used by the object code at a time of execution, restrictions or rules on an execution state of the object code, restrictions or rules on an execution procedure of the object code, and restrictions or rules on instructions included in the source code.

2. The software development device according to claim 1 ,

wherein, when a call instruction is included in the first scope, the software development device is configured to evaluate whether or not an instruction called by the call instruction also conforms to the restrictions.

3. A non-transitory storage medium storing thereon a software development program configured to:

generate an object code from a source code, the program, when executed by one or more hardware processors, cause the one or more hardware processors to:

determine a first scope in the source code;

extract a constraint condition associated with the first scope from the source code;

determine a second scope associated with the first scope in the source code;

apply restrictions based on the extracted constraint condition to partial source codes in both the first scope and the second scope set in the source code and evaluate whether or not the source code conforms to the restrictions within an application range of the extracted restrictions and a constraint condition identical to the extracted constraint condition is associated with the second scope in the source code;

generate an object code to conform to the restrictions based on the constraint condition;

evaluate whether or not the partial source codes in the first scope and the second scope conform to the restrictions; and

stop generation of an object code when the partial source codes in the first scope and the second scope are evaluated not to conform to the restrictions;

wherein, when verifying that the source code without change conforms to the restrictions is not evaluated, the one or more hardware processors further configured to generate another object code for evaluating whether or not the restrictions are conformed during execution of the object code, and for evaluating whether or not the object code is corresponding to the source code; and

wherein the restrictions include any one of restrictions or rules on resources used by the object code at a time of execution, restrictions or rules on an execution state of the object code, restrictions or rules on an execution procedure of the object code, and restrictions or rules on instructions included in the source code.

4. The non-transitory storage medium according to claim 3 , the one or more hardware processors further configured to evaluate whether or not an instruction called by a call instruction also conforms to the restrictions, when the call instruction is included in the application range of the restrictions.

5. A software development method executable by a hardware processor for generating an object code from a source code, the method comprising:

extracting restrictions set in a source code and evaluating whether or not the source code conforms to the restrictions within an application range of the extracted restrictions;

obtaining the source code;

determining a first scope in the source code;

extracting a constraint condition associated with the first scope from the source code;

determining a second scope associated with the first scope in the source code;

applying restrictions based on the extracted constraint condition to partial source codes in both the first scope and the second scope even if a constraint condition identical to the extracted constraint condition is not associated with the second scope in the source code;

generating an object code from the source code to conform to the restrictions based on the constraint condition;

evaluating whether or not the partial source codes in the first scope and the second scope conform to the restrictions within the application range of the extracted restrictions; and

stop generating of an object code when the partial source codes in the first scope and the second scope are evaluated not to conform to the restrictions within the application range of the extracted restrictions;

wherein, when verifying that the source code without change conforms to the restrictions is not evaluated, generate another object code for evaluating whether or not the restrictions are conformed during execution of the object code, and for evaluating whether or not the object code is corresponding to the source code; and

wherein the restrictions include any one of restrictions or rules on resources used by the object code at a time of execution, restrictions or rules on an execution state of the object code, restrictions or rules on an execution procedure of the object code, and restrictions or rules on instructions included in the source code.

6. The software development method according to claim 5 , wherein, the extracting and evaluating comprises evaluating whether or not an instruction called by a call instruction also conforms to the restrictions, when the call instruction is included in the application range of the restrictions.