Physiological principles for the effective use of color
IEEE Computer Graphics and Applications
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Adequate testing and object-oriented programming
Journal of Object-Oriented Programming
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
VIPERS: a data flow visual programming environment based on the Tcl language
AVI '94 Proceedings of the workshop on Advanced visual interfaces
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
An experimental evaluation of data flow and mutation testing
Software—Practice & Experience
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Sensors, transducers, & LabVIEW
Sensors, transducers, & LabVIEW
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
A tool for data flow oriented program testing
Proceedings of the second conference on Software development tools, techniques, and alternatives
Towards a better visual programming language: critiquing Prograph's control structures
CCSC '00 Proceedings of the fifth annual CCSC northeastern conference on The journal of computing in small colleges
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
Toward Visual Programming Languages for Steering Scientific Computations
IEEE Computational Science & Engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
A Testing Methodology for a Dataflow Based Visual Programming Language
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Buffering of intermediate results in dataflow diagrams
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Reserved Graph Grammar: A Specification Tool for Diagrammatic VPLs
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
A formal specification of a visual language editor
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Scalable statistical bug isolation
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
XQueryViz: A Visual Dataflow XQuery Tool
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
XQueryViz: an XQuery visualization tool
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Issues in clone classification for dataflow languages
Proceedings of the 4th International Workshop on Software Clones
Hi-index | 0.00 |
Visual dataflow languages (VDFLs), which include commercial and research systems, have had a substantial impact on end-user programming. Like any other programming languages, whether visual or textual, VDFLs often contain faults. A desire to provide programmers of these languages with some of the benefits of traditional testing methodologies has been the driving force behind our effort in this work. In this article we introduce, in the context of prograph, a testing methodology for VDFLs based on structural test adequacy criteria and coverage. This article also reports on the results of two empirical studies. The first study was conducted to obtain meaningful information about, in particular, the effectiveness of our all-Dus criteria in detecting a reasonable percentage of faults in VDFLs. The second study was conducted to evaluate, under the same criterion, the effectiveness of our methodology in assisting users to visually localize faults by reducing their search space. Both studies were conducted using a testing system that we have implemented in Prograph's IDE.