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 条
  • [21] INFORMATION-FLOW AND DATA-FLOW ANALYSIS OF WHILE-PROGRAMS
    BERGERETTI, JF
    CARRE, BA
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 37 - 61
  • [22] Data-flow bending: On the effectiveness of data-flow integrity
    Lu, Tingting
    Wang, Junfeng
    COMPUTERS & SECURITY, 2019, 84 : 365 - 375
  • [23] Interprocedural data-flow testing for visual dataflow languages
    Karam, MR
    Smedley, TJ
    PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2003, : 196 - 201
  • [24] A STUDY OF THE EFFECTIVENESS OF CONTROL AND DATA-FLOW TESTING STRATEGIES
    FOREMAN, LM
    ZWEBEN, SH
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 215 - 228
  • [25] Implementation techniques for efficient data-flow analysis of large programs
    Atkinson, DC
    Griswold, WG
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 52 - 61
  • [26] HIERARCHICAL DATA-FLOW ANALYSIS FOR O-O PROGRAMS
    SUBRAMANIAN, S
    TSAI, WT
    KIRANI, SH
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1994, 7 (02): : 36 - 46
  • [27] Checking Model Consistency using Data-Flow Testing
    Wang, Chen-Wei
    Cavarra, Alessandra
    APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 414 - 421
  • [28] Formal Verification of Programs in the Functional Data-flow Parallel Language
    Kropacheva, M. S.
    Legalov, A. I.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2013, 47 (07) : 373 - 384
  • [29] DEBUGGING OF GLOBALLY OPTIMIZED PROGRAMS USING DATA-FLOW ANALYSIS
    WISMULLER, R
    SIGPLAN NOTICES, 1994, 29 (06): : 278 - 289
  • [30] FLOWSPEC: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
    Smits, Jeff
    Wachsmuth, Guido
    Visser, Eelco
    JOURNAL OF COMPUTER LANGUAGES, 2020, 57
12345