loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01)
A Testing Methodology for a Dataflow Based Visual Programming Language
Stresa, Italy
September 05-September 07
ISBN: 0-7695-0474-4
Marcel R. Karam, Dalhousie University
Trevor J. Smedley, Dalhousie University
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 form-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 for 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.
Citation:
Marcel R. Karam, Trevor J. Smedley, "A Testing Methodology for a Dataflow Based Visual Programming Language," hcc, pp.280, IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.