Dataflow based visual programming Languages have become an important topic of research in recent years, yielding a variety of research systems and commercial applications [3][7]. As with any programming language, visual or textual, dataflow programs may contain faults. Thus, to ensure the correct functioning of dataflow programs, and increase confidence in the quality of these programs, testing is required Despite this valid observation, we find that the testing criteria found in the literature mainly addressed imperative, declarative, and firm-based Languages; however, we did not find any discussion that specifically addressed testing criteria for dataflow programs. In this paper, we investigate, from a testing perspective, differences between dataflow and imperative Languages. The results reveal opportunities fir adapting code-based control-flow testing criteria to test dataflow Languages. We show that our proposed testing methodology is well suited for dataflow programs. In particular, the "all-branches" criterion provides important error detection ability, and can be applied to dataflow programs. We have implemented a testing system that allows users to visually and empirically investigate the testedeness of programs written in the visual programming Language Prograph. Our empirical results confirm that, analogous to imperative Languages, the all-branches criterion cannot detect all the errors in a dataflow program. Thus, to catch those undetected errors, more rigorous testing should be applied This is indeed the focus of our future work.
展开▼