Abstract:
In this work, we have extended the abstract graph model which we have previously introduced [7], 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† [8] programs. © 2005 IEEE.