Constraint-Logic Object-Oriented Programming for Test Case Generation

被引：2
|
作者：
Winkelmann, Hendrik [1 ]
Troost, Laura [1 ]
Kuchen, Herbert [1 ]
机构：
[1] Univ Munster, Munster, Germany
来源：
37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING | 2022年
关键词：
Test case generation; Constraint logic programming; Symbolic execution; Imperative programs; Virtual machine; SYMBOLIC EXECUTION; MODEL CHECKING; PROLOG;
D O I：
10.1145/3477314.3507015
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The constraint-logic object-oriented programming (CLOOP) language Muli extends Java 8 by features from constraint-logic programming such as built-in search. We have extended Muli such that it is now ideally suited to implement test case generators based on symbolic execution. More precisely, Muli can symbolically execute Java bytecode as generated from languages such as Java, Scala or Kotlin. The mentioned extension of Muli allows to automatically and systematically generate JUnit tests. We aim at a (nearly) minimal set of test cases achieving data-flow coverage.
引用
收藏
页码：1499 / 1508
页数：10
相关论文
共 50 条
  • [1] Free objects in constraint-logic object-oriented programming
    Dageförde, Jan C.
    Winkelmann, Hendrik
    Kuchen, Herbert
    [J]. ACM International Conference Proceeding Series, 2021,
  • [2] Free Objects in Constraint-logic Object-oriented Programming
    Dagefoerde, Jan C.
    Winkelmann, Hendrik
    Kuchen, Herbert
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021, 2021,
  • [3] A Constraint-logic Object-oriented Language
    Dagefoerde, Jan C.
    Kuchen, Herbert
    [J]. 33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1185 - 1194
  • [4] A compiler and virtual machine for constraint-logic object-oriented programming with Muli
    Dagefoerde, Jan C.
    Kuchen, Herbert
    [J]. JOURNAL OF COMPUTER LANGUAGES, 2019, 53 : 63 - 78
  • [5] Constraint-Logic Object-Oriented Programming on the Java']Java Virtual Machine
    Winkelmann, Hendrik
    Kuchen, Herbert
    [J]. 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1258 - 1267
  • [6] Object-oriented constraint logic programming for timetable planning
    Deris, S
    Omatu, S
    Ohta, H
    Samat, PA
    [J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1997, 28 (10) : 987 - 999
  • [7] Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing
    Winkelmann, Hendrik
    Kuchen, Herbert
    [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2023, : 412 - 419
  • [8] A methodology for object-oriented constraint programming
    Chun, HW
    [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 116 - 122
  • [9] AN INTEGRATION OF LOGIC AND OBJECT-ORIENTED PROGRAMMING
    MELLENDER, F
    [J]. SIGPLAN NOTICES, 1988, 23 (10): : 181 - 185
  • [10] Constraint-Based Object-Oriented Programming
    Hofstedt, Petra
    [J]. IEEE SOFTWARE, 2010, 27 (05) : 53 - 56
12345