摘要:
A variable retrieving unit refers to variable relation information and variable definition information held in an analysis result storing unit and retrieves variables which directly relate to a variable designated by a retrieval designating unit. A display unit displays a variable retrieval result by the variable retrieving unit in a form such that the variable retrieval result can be used for designation for re-retrieval by the retrieval designating unit.
摘要:
A restricting condition extracting unit analyzes an error determination portion included in a program to be analyzed and extracts a restricting condition of a particular variable. A variable categorizing unit analyzes the relation among variables used in an executable statement in the program to be analyzed and categorizes the variables corresponding to the analyzed result. A domain definition extracting unit outputs domain relation information representing a domain to which a plurality of variables belong and the relation among variables that belong to the domain using the output of the restricting condition extracting unit and the variable categorizing unit. The domain definition information is graphically displayed so that the user can easily understand the content thereof.
摘要:
A variable type analyzing unit detects the data types of each variable. A variable length analyzing unit detects the length of each variable. A partial reference unit detects the range of a partial reference when part of a variable is referred to. An internal layout analyzing unit checks the range to which data is actually referred and to which data is actually assigned based on the information on each variable obtained by the above units. A domain analyzing unit categorizes variables used in a target program by domain based on the ranges.
摘要:
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.
摘要:
A test specification formation supporting apparatus is constructed by a test factor classification table forming unit and a test specification forming unit. The test factor classification table forming unit analyzes design information of a class of software designed by an object orientation and forms a template of a test factor classification table in which test factors which influence the operation of a method of a test target and conditions of the test factors have been listed. The test specification forming unit forms a test specification by combining the conditions described in the test factor classification table completed on the basis of the template of the test factor classification table.
摘要:
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.
摘要:
Connection relationships among prepared program modules are stored so that the modules and the relationships form a network structure that is directed from an initial state through an end state, and a program is generated by determining a path on the network structure and by combining modules along the path. In one aspect of the present invention, the determination of the path is performed in an interactive manner. In another aspect of the present invention, the determination of the path is performed by an inference device that issues user-friendly interrogations to a user and sequentially fixes the path in the network structure according to answers to the interrogations and to conditions effected by selected modules. The network is preferably pruned by taking necessity of modules and/or interaction relationships between modules into account before the path is inferred.