Patent ID: 7886276

Claim:
An information processing apparatus that verifies consistency in a Web application program, comprising: a control flow graph generating section for generating a control flow graph representing one or more screen transitions associated with the application program; a dataflow analyzing section for calculating from the control flow graph a solution of a dataflow problem which occurs in the application program; an inconsistency detecting section for detecting at least one inconsistency in the application program on the basis of the calculated solution; and an output section for displaying information concerning the detected inconsistency; wherein the control flow graph comprises a plurality of nodes; wherein at least first and second Web pages associated with the Web application program are represented by corresponding at least first and second nodes of the control flow graph; wherein a transition between the first Web page and the second Web page is represented by one or more nodes of the control flow graph in addition to the first and second nodes; and wherein the control flow graph is generated based at least in part on model information based on an internal design and screen transition information of the application program, the model information being distinct from source code of the application program.