Abstract: There is provided a system which analyzes data representative of operation situation of a work system and finds tacit problem hidden in work performed at the a field by a system user. Particularly, the system is to support to find the problem even if the user is not a specialist such as ethnographer. The system includes event examples in which the problems in the work at the field found from user analysis such as observation or interview are classified and expressed as events in operation data when a computer is utilized, analysis menu, analysis function and visualization unit for finding the events.

Abstract: A business specification generation assisting system for generation of a business specification that implements a business function specified by a user, on the basis of association among the business functions, programs and physical data is provided. A physical model which is a graph having programs and input and output physical data as vertexes, a business model which is a graph having business functions and input and output logical data as vertexes, and an association model including an association table of business functions with program functions and an association table of logical data with physical data are stored. With respect to a business function specified by the user, an associated physical model is analyzed, and subgraphs associated with the business function are calculated and displayed. The business model and the association model are modified according to a modification order given by the user.

Abstract: A test pattern generation apparatus extracts processing that coincides with input combinational test confirmation processing from program test patterns stored in a file, extracts execution conditions of the extracted processing from program test pattern lists, rearranges the execution conditions, generates one test pattern, extracts data handling processing that satisfies conditions in the test pattern lists, and generates and displays a combinational test pattern list.

Abstract: A reverse engineering support system is provided which has a high abstract degree of an analysis target system and supports high level understanding. The reverse engineering support system stores a physical model which is a graph having as vertexes a program and input/output physical data, a business model which is a graph having as vertexes a business function and input/output logical data and an association model which is an association table indicating association of the business function with the program function and association of the logical data with the physical data, calculates a subgraph corresponding to the business function specified by a user by analyzing the corresponding physical model, displays a comparison with the subgraph of the physical model, and receives a modification order of the business and association models from the user.

Abstract: In extracting logic by backward slice, all logic portions influencing an output start point are extracted and the extraction result contains logic not necessary for a user. In order to solve this, a user is made to designate input information on logic to be extracted from a program constituting an already existing system, and it is judged whether it is necessary to extract specific logic of each command statement of the program. Extraction necessity of specific logic from an analysis subject program is classified as follows. A command statement influenced by only an input designated by a user is classified into a command statement to be extracted, a command statement influenced by both an input designated by the user and an input not designated by the user is classified into a command statement to be corrected, and a command statement influenced by only an input not designated by the user is classified into a command statement not to be extracted.

Abstract: A business specification generation assisting system for generation of a business specification that implements a business function specified by a user, on the basis of association among the business functions, programs and physical data is provided. A physical model which is a graph having programs and input and output physical data as vertexes, a business model which is a graph having business functions and input and output logical data as vertexes, and an association model including an association table of business functions with program functions and an association table of logical data with physical data are stored. With respect to a business function specified by the user, an associated physical model is analyzed, and subgraphs associated with the business function are calculated and displayed. The business model and the association model are modified according to a modification order given by the user.