Mitsubishi Denki Kabushiki Kaisha

Mitsubishi Electric Corporation

Akira Ishihara

Kimiaki Sato

Akira Kaneko

Akira Sugimoto

Satoru Nakai

Hirohisa Furuta

Takashi Tsuboi

Masayo Osaki

A program analysis support device that can freely combine program analysis conditions and can realize desired program analysis. An analysis condition setting part inputs a program analysis condition in a form of a conditional equation (analysis command, an analysis subject, and analysis condition) having an inherent equation number. A POU list extraction processing executing part executes an analysis command that reads a program to generate a collection of POUs serving as analysis subjects constituting the program, and a variable use list extraction processing executing part executes an analysis command that extracts a cross-reference of a variable to extract a cross-reference of a variable to the POU collection serving as the analysis subject. Both the parts further extract a cross-reference of a variable to another POU collection. An AND processing part further performs processing of a logical product of the cross-references of both the variables and outputs a result thereof to an analysis result display part.

Program analysis support device

The present invention has a plurality of objects each holding state data as its attribute data, and employs the following steps: an object structure management means searches for an object based on an object identifier; an attribute data input/output means updates attribute data of the object by use of changed state data; and when a remote display system has issued an attribute data retrieval request, the object structure management means searches for an object based on an object identifier included in the attribute data retrieval request, and the attribute data input/output means retrieves attribute data of the object and returns it.

Data server

Growing community of inventors

Tokyo, Japan

Akira Ishihara