Concolic testing in logic programming

被引：7
|
作者：
Mesnard, Fred [1 ]
Payet, Etienne [1 ]
Vidal, German [2 ]
机构：
[1] LIM Univ Reunion, Paris, France
[2] Univ Politecn Valencia, DSIC, MiST, E-46022 Valencia, Spain
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2015年 / 15卷
关键词：
Symbolic execution; logic programming; testing; EXECUTION;
D O I：
10.1017/S1471068415000332
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic execution. Our approach is fully automatic and guarantees full path coverage when it terminates. We prove some basic properties of our technique and illustrate its practical usefulness through a prototype implementation.
引用
收藏
页码：711 / 725
页数：15
相关论文
共 50 条
  • [1] Concolic Testing of Functional Logic Programs
    Tikovsky, Jan Rasmus
    [J]. DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 169 - 186
  • [2] On the Completeness of Selective Unification in Concolic Testing of Logic Programs
    Mesnard, Fred
    Payet, Etienne
    Vidal, German
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 205 - 221
  • [3] An SMT-Based Concolic Testing Tool for Logic Programs
    Fortz, Sophie
    Mesnard, Fred
    Payet, Etienne
    Perrouin, Gilles
    Vanhoof, Wim
    Vidal, German
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2020, 2020, 12073 : 215 - 219
  • [4] LOGIC PROGRAMMING FOR SOFTWARE TESTING
    KHANNA, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 225 - 234
  • [5] Concolic Testing in CLP
    Mesnard, Fred
    Payet, Etienne
    Vidal, German
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 671 - 686
  • [6] Hybrid concolic testing
    Majumdar, Rupak
    Sen, Koushik
    [J]. ICSE 2007: 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 416 - +
  • [7] Concolic testing for functional languages
    Giantsios, Aggelos
    Papaspyrou, Nikolaos
    Sagonas, Konstantinos
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2017, 147 : 109 - 134
  • [8] Concolic Testing and Constraint Satisfaction
    Sen, Koushik
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 2011, 6695 : 3 - 4
  • [9] Towards Optimal Concolic Testing
    Wang, Xinyu
    Sun, Jun
    Chen, Zhenbang
    Zhang, Peixin
    Wang, Jingyi
    Lin, Yun
    [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 291 - 302
  • [10] Concolic Testing of SystemC Designs
    Lin, Bin
    Cong, Kai
    Yang, Zhenkun
    Liao, Zhigang
    Zhan, Tao
    Havlicek, Christopher
    Xie, Fei
    [J]. 2018 19TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2018, : 1 - 7
12345