Abstract:
Many research systems have been proposed and implemented to visualize program statements and control flow information of a function-program under test. Visualizing data-flow interactions of a. function under test has been however problematic. This is mainly due to the over-whelming information that needs to be visually represented, especially in the presence of loops. In this work, we describe a new visual mapping technique that would allow users to generate visual artifacts to represent source code elements (statements, control-flow, and data-flow interactions) of a function under test. We demonstrate, using an example, the effectiveness of our proposed mapping technique in visually communicating testing results, in a way that would allow users to accurately relate such visual information to untested portions of the source code.