Data-Flow Testing of Declarative Programs

被引：0
|
作者：
Fischer, Sebastian [1 ]
Kuchen, Herbert [1 ]
机构：
[1] Univ Kiel, Dept Comp Sci, D-24098 Kiel, Germany
来源：
ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING | 2008年
关键词：
Code Coverage; Data Flow; Curry;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose a novel notion of data-flow coverage for testing declarative programs. Moreover, we extend an automatic test-case generator such that it can achieve data-flow coverage. The coverage information is obtained by instrumenting a program such that it collects coverage information during its execution. Finally, we show the benefits of data-flow based testing for a couple of example applications.
引用
收藏
页码：201 / 212
页数：12
相关论文
共 50 条
  • [41] DATA-FLOW MULTITASKING
    KAR, RP
    DR DOBBS JOURNAL, 1989, 14 (11): : 16 - &
  • [42] DATA-FLOW AT MIT
    DETTMER, R
    ELECTRONICS AND POWER, 1986, 32 (08): : 570 - 571
  • [43] Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
    Trcka, Nikola
    van der Aalst, Wil M. P.
    Sidorova, Natalia
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 425 - 439
  • [44] Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
    Schrammel, Peter
    Jeannet, Bertrand
    STATIC ANALYSIS, 2011, 6887 : 233 - 248
  • [45] An agent-based data-flow testing approach for Web applications
    Qi, Yu
    Kung, David
    Wong, Eric
    INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (12) : 1159 - 1171
  • [46] METHODOLOGIES IN DEVELOPMENT AND TESTING OF THE DATA-FLOW MACHINE-EM-4
    OKAMOTO, K
    KODAMA, Y
    SAKAI, S
    YAMAGUCHI, Y
    PARALLEL COMPUTING, 1992, 18 (08) : 901 - 912
  • [47] A REVIEW OF SPECIFICATION AND VERIFICATION METHODS FOR PARALLEL PROGRAMS, INCLUDING THE DATA-FLOW APPROACH
    DESHPANDE, AK
    KAVI, KM
    PROCEEDINGS OF THE IEEE, 1989, 77 (12) : 1816 - 1828
  • [48] EDDA, A LANGUAGE BASED ON PETRINETS AND THE DATA-FLOW PRINCIPLE FOR THE DEVELOPMENT OF PARALLEL PROGRAMS
    KERNER, H
    RAINEL, H
    MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 299 - 305
  • [49] CODE OPTIMIZATION OF STRAIGHT-LINE PROGRAMS FOR A DATA-FLOW MACHINE.
    Kimura, Haruhiko
    Systems, computers, controls, 1982, 13 (05): : 64 - 73
  • [50] A data-flow testing methodology for a dataflow based visual programming language
    Karam, MR
    Smedley, TJ
    IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 86 - 88
12345