Data Flow Analysis of IntelligentPad - A Basis of Reusing and Synthesizing Component Pads

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.