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 条
  • [21] An improved distributed concolic testing approach
    Godboley, Sangharatna
    Mohapatra, Durga Prasad
    Das, Avijit
    Mall, Rajib
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2017, 47 (02): : 311 - 342
  • [22] Scalable Concolic Testing of RTL Models
    Lyu, Yangdi
    Mishra, Prabhat
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2021, 70 (07) : 979 - 991
  • [23] Concolic Execution in Functional Programming by Program Instrumentation
    Palacios, Adrian
    Vidal, German
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 277 - 292
  • [24] GUIDESE: Annotations for Guiding Concolic Testing
    Sen, Koushik
    Tanno, Haruto
    Zhang, Xiaojing
    Hoshino, Takashi
    [J]. 10TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST AST 2015, 2015, : 23 - 27
  • [25] COMPI: Concolic Testing for MPI Applications
    Li, Hongbo
    Li, Sihuan
    Benavides, Zachary
    Chen, Zizhong
    Gupta, Rajiv
    [J]. 2018 32ND IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2018, : 865 - 874
  • [26] Automatically Generating Search Heuristics for Concolic Testing
    Cha, Sooyoung
    Hong, Seongjoon
    Lee, Junhee
    Oh, Hakjoo
    [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 1244 - 1254
  • [27] Concolic Testing for Deep Neural Networks
    Sun, Youcheng
    Wu, Min
    Ruan, Wenjie
    Huang, Xiaowei
    Kwiatkowska, Marta
    Kroening, Daniel
    [J]. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 109 - 119
  • [28] Concolic testing based on patch comparisons
    Wang, Xin
    Guo, Tao
    Dong, Guowei
    Shao, Shuai
    Xin, Wei
    [J]. Qinghua Daxue Xuebao/Journal of Tsinghua University, 2013, 53 (12): : 1737 - 1742
  • [29] Enhancing Test Cases generated by Concolic Testing
    Dutta, Arpita
    Kumar, Shubham
    Godboley, Sangharatna
    [J]. PROCEEDINGS OF THE 12TH INNOVATIONS ON SOFTWARE ENGINEERING CONFERENCE (ISEC), 2019,
  • [30] DETERMINACY TESTING FOR NONDETERMINATE LOGIC PROGRAMMING-LANGUAGES
    TICK, E
    KORSLOOT, M
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (01): : 3 - 34
12345