摘要:
The present invention provides a program analysis program, a program analysis device, and a program analysis method which can analyze programs and obtain input/output information of the programs effectively. The program analysis device includes an execution path detection unit that detects an execution path and a variable from a group of programs, an execution path pursuit unit that pursues the detected execution path and variable, a variable value limitation unit that seeks values that the variable can turn out to be along with the pursuit for execution path, and limits the variable value in the execution path to be pursued afterward, an execution path limitation unit that, in case there arises a point at which the execution path branches depending on a condition that the variable value satisfies in the pursuit for execution path, after the branch point, limits the pursued execution path only to an execution path in which the limited variable value satisfies the condition, and an input/output information acquisition unit that, in case there arises a point at which data is input or output in the pursuit for execution path, acquires the input/output information.
摘要:
A program conversion program, a program conversion apparatus and a program conversion method that conversions a program having different process according to the content of an argument into a program which facilitate the analysis are provided. The program conversion apparatus includes a dedicated call destination program generating unit that detects the call destination program, an argument for differentiating the processes of the call destination program and the content of the argument from the program group and generates a program for executing only a process according to the content of the argument of the processes of the call destination program as the dedicated call destination program for each argument and each content of the argument, and a call source program rewriting unit that detects the call position for calling the call destination program from the program group and rewrites the call position to call the dedicated call destination program generated by the dedicated call destination program generating unit.
摘要:
A program conversion program, a program conversion apparatus and a program conversion method that conversions a program having different process according to the content of an argument into a program which facilitate the analysis are provided. The program conversion apparatus includes a dedicated call destination program generating unit that detects the call destination program, an argument for differentiating the processes of the call destination program and the content of the argument from the program group and generates a program for executing only a process according to the content of the argument of the processes of the call destination program as the dedicated call destination program for each argument and each content of the argument, and a call source program rewriting unit that detects the call position for calling the call destination program from the program group and rewrites the call position to call the dedicated call destination program generated by the dedicated call destination program generating unit.
摘要:
A method of creating computer program specifications includes creating the structure information that indicates a relation between program call structure and data input-output information of the computer program source code by analyzing a computer program source code. The method also includes creating process-outline information of the computer program source code from a part of the structure information, after the creating of the structure information. The method further includes creating computer program specifications of the computer program source code by using the process-outline information, after the creating of the process-outline information.
摘要:
A method includes generating an application model that represents a relation of connection based on a control flow relation and a data dependency relation between a module and data constituting an application, by analyzing a source code, evaluating complexity of the relation of connection that is represented by the application model generated in the generating, and outputting an enhancement point used in reducing the complexity evaluated in the evaluating.
摘要:
A method includes generating an application model that represents a relation of connection based on a control flow relation and a data dependency relation between a module and data constituting an application, by analyzing a source code, evaluating complexity of the relation of connection that is represented by the application model generated in the generating, and outputting an enhancement point used in reducing the complexity evaluated in the evaluating.
摘要:
An application analyzing method includes extracting a variable corresponding to a particular input data item and information regarding a value of the variable by analyzing a plurality of source programs constituting an application, record information of a database used by the application, and execution control information of the application, and outputting, based on the variable and the information regarding the value of the variable extracted in the extracting, information regarding a presumed value with respect to the input data item as presumed requirement information.
摘要:
Cytorhodin S derivatives, especially cytorhodin S-immunoglobulin complexes are disclosed. Cytorhodin S possesses very high anticancer activity, but the complexes act more selectively on cancer cells and are more useful as an anticancer agent. New intermediate derivatives are also useful as an anticancer agent.
摘要:
An application analyzing method includes extracting a variable corresponding to a particular input data item and information regarding a value of the variable by analyzing a plurality of source programs constituting an application, record information of a database used by the application, and execution control information of the application, and outputting, based on the variable and the information regarding the value of the variable extracted in the extracting, information regarding a presumed value with respect to the input data item as presumed requirement information.
摘要:
In a computer for executing a process in accordance with a workflow diagram generation program, a path extractor extracts processing paths from program information indicating the procedure of a business program, and generates path information indicating read and update processes performed in the individual processing paths and operation screens displayed in the processing paths. A path associator associates each transition relation, which is the relation between two data sets successively updated, with a processing path of which the data set to be read agrees with the data set of the transition source and of which the data set to be updated agrees with the data set of the transition destination. A flow diagram generator generates a workflow diagram which indicates the data sets as nodes and the transition relations as links and in which information indicating the operation screens displayed in the processing paths are annexed to the corresponding links.