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 条
  • [1] Data-flow testing of declarative programs
    Fischer, Sebastian
    Kuchen, Herbert
    ACM SIGPLAN NOTICES, 2008, 43 (09) : 201 - 212
  • [2] Data-flow Testing in the Large
    Andrioli de Araujo, Roberto Paulo
    Chaim, Marcos Lordello
    2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 81 - 90
  • [3] A Survey on Data-Flow Testing
    Su, Ting
    Wu, Ke
    Miao, Weikai
    Pu, Geguang
    He, Jifeng
    Chen, Yuting
    Su, Zhendong
    ACM COMPUTING SURVEYS, 2017, 50 (01)
  • [4] Dynamic Data-Flow Testing
    Vivanti, Mattia
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 682 - 685
  • [5] Data-flow analysis for MPI programs
    Strout, Michelle Mills
    Kreaseck, Barbara
    Hovland, Paul D.
    2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2006, : 175 - 184
  • [6] Data-flow synthesis for logic programs
    De Carvalho, Cedric Luiz
    Pereira, Antonio Eduardo Costa
    Julia, Rita Maria Da Silva
    Systems Analysis Modelling Simulation, 1999, 36 (03): : 349 - 366
  • [7] MORE EXPERIENCE WITH DATA-FLOW TESTING
    WEYUKER, EJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (09) : 912 - 919
  • [8] EFFICIENT DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    JOURNAL OF THE ACM, 1992, 39 (04) : 949 - 984
  • [9] ON THE COMPLEXITY OF DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (02): : 331 - 365
  • [10] ON THE COMPLEXITY OF DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 509 - 520
12345