Program analyzing apparatus and testing apparatus, and analyzing method and program therefor

Abstract

The present invention makes it possible to perform a black-box test even on a system in which relationships between inputs and outputs cannot uniquely be determined, by enabling analysis of a cause-effect relation (dependency) between a state of an object and a state of another object in a program, thereby analyzing the cause-effect relation between the input and the output in the test. There are provided a cause-effect relation extracting section for extracting a cause-effect relation between a state of an object and a state of another object by executing the program under test step by step and obtaining in each step a history of changes made to fields of objects and information about fields that have caused the changes; and a testing section for performing a test based on an assertion of the test that is set between a given object to be examined and a causal object by analyzing a cause-effect relation to the given object to be evaluated on the basis of the cause-effect relations between objects extracted by the cause-effect extracting section to detect the causal object.

Dependencies are inferred from the claim text.