Makoto Haraguchi, Atsushi Hirata, and Ken Sadohara
This paper introduces a notion of data flows and mode declarations for IntelligentPad, a kind of component software. The mode specifies how component pads are used for testing the behavior of composite pads. Under the constraints obtained from a family of mode declarations, we present an expansion procedure to generate hypothetical composite pads. An experimental result shows that the usages of mode declarations can reduce the size of search space of composite pads admissible with respect to the mode declarations.