Using visual augmentations to test control interactions in visual dataflow languages

In this work, we have extended the abstract graph model which we have previously introduced (Karam, M. et al., Sept. 2001), and incorporated the extended model into a visual dataflow testing system that allows testers to import, test, and reflect, with the use of colors, the testedness/coverage of a visual dataflow program´s controls. The testing environment in our system is complemented with an augmentation technique that uses visual artifacts and a coloring scheme. Results from our case studies indicates the usefulness of this technique and its practicality in terms of catching, as well as locating faults in real Prograph (shafer Dan, Oct. 1994) programs