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 条
12345