A testing methodology for a dataflow based visual programming language

2001 IEEE Symposium on Human-Centric Computing

Volumn , Issue , 2001, Pages 280-287

  Karam, Marcel R ^a   Smedley, Trevor J ^a  

^a DALHOUSIE UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; ENCODING (SYMBOLS); ERROR DETECTION; SOFTWARE ENGINEERING;

VISUAL CODING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0035791583     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Azem, A.; Belli, F.; Jack, O.; Jedrezejowicz, P., Testing and reliability of logic programs. In the Forth International Symposium on Software Reliability Engineering, pages 318-327, 1993.
2. Belli, F.; Jack, O., A test coverage notion for logic programming. In the 6th International Symposium on Software Reliability Engineering, pages 133-142, 1995.
3. Berry E. Paton., Sensors, Transducers & Lab-View, Prentice Hall, 1998.
4. Burnett, M. and A. Ambler, Interactive Visual Data Abstraction in a Declarative Visual Programming Language. Journal of Visual Languages and Computing, 29-60, March 1994.
5. Burnett, M; Dupuis, C; Li, L; Rothermel, G., What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs. IEEE International Conference on Software Engineering, pp.198-207 1998.
6. Burnett, B; Li, L; Rothermel, Gragg., Testing Strategies for Form-Based Visual Programs. IEEE on Software Reliability Engineering, pp. 96-107, November 1997.
7. Cox, P; Pietrzykowski, T., Prograph: A step towards liberating the programmer from textual conditioning. Proceedings of the IEEE Workshop on Visual Languages, pp. 150-156, 1989.
8. Frankl, P; Weyuker, E., A Formal Analysis of the Fault-Desecting Ability of Testing Methods. IEEE Transactions on Software Engineering, Vol. 19, No.3, pp. 202-213, March 1993.
9. Frankl, P; Weyuker, E., An Applicable Family of Data Flow Criteria, IEEE Transactions on Software Engineering, Vol. 14, No. 10, pp. 1483-1498, October 1988.
10. Frankl, P; Weiss, S., An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. IEEE Transaction on Software Engineering, Vol. 19, No. 8, August 1993.
11. Frankl, P; Weiss, S; Weyuker, E. J., ASSET: A system to select and evaluate tests. In Proceedings of the IEE Conference on software Tools, pp. 72-79, April, 1985.
12. Herman, P., A data flow analysis approach to program testing. Aust. Compu. J. 8, 3, (Nov.), 92-96, 1976.
13. Hils, D.D., "Visual Languages and Computing Survey: Data Flow Visual Programming", Journal of Visual Languages and Computing, vol 3, 1992, pp.69-101.
14. Laski, J. W.; Korel, B., A Data Flow Oriented Program Testing Strategy. IEEE Transactions on Software Engineering, Vol. SE-9, No. 3, pp. 347-54, May 1983.
15. Myers, G. J., The Art of Software Testing. John Wiley and Sons, New York, 1979.
16. Ntafos, S. C., A comparison of some structural testing strategies. IEEE Transaction on Software Engineering, SE-14, pp. 868-874, June 1988.
17. Rothermel, K; Cook, C; Burnett, M; Schonfeld, J; Green, T. R. G; Rothermel G., "WYSIWYT Testing in the Spreadsheet Paradigm: An Empirical Evaluation", International Conference on Software Engineering, Limerick, Ireland, June 2000, pp 230-239.
18. Zhu, H; Hall, A. P; May, H. R. J., Software Unit Test Coverage and Adequacy. ACM Computing Surveys, Vol. 29, No. 4, December 1997.