Using CHRs to generate functional test cases for the Java']Java Card Virtual Machine

被引：0
|
作者：
Gouraud, SD [1 ]
Gotlieb, A [1 ]
机构：
[1] IRISA, CNRS, UMR 6074, F-35042 Rennes, France
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES | 2006年 / 3819卷
关键词：
CHR; software testing; !text type='Java']Java[!/text] Card Virtual Machine;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Automated functional testing consists in deriving test cases from the specification model of a program to detect faults within an implementation. In our work, we investigate using Constraint Handling Rules (CHRs) to automate the test cases generation process of functional testing. Our case study is a formal model of the Java Card Virtual Machine (JCVM) written in a sub-language of the Coq proof assistant. In this paper we define an automated translation from this formal model into CHRs and propose to generate test cases for each bytecode definition of the JCVM. The originality of our approach resides in the use of CHRs to faithfully model the formally specified operational semantics of the JCVM. The approach has been implemented in Eclipse Prolog and a full set of test cases have been generated for testing the JCVM.
引用
收藏
页码：1 / 15
页数：15
相关论文
共 50 条
  • [21] Thread Modeling in Java']Java Virtual Machine
    Wu Weimin
    Su Qing
    Li Kailun
    ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 438 - 441
  • [22] Application isolation in the Java']Java™ virtual machine
    Czajkowski, G
    ACM SIGPLAN NOTICES, 2000, 35 (10) : 354 - 366
  • [23] Maxine: An Approachable Virtual Machine For, and In, Java']Java
    Wimmer, Christian
    Haupt, Michael
    Van De Vanter, Michael L.
    Jordan, Mick
    Daynes, Laurent
    Simon, Douglas
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2013, 9 (04)
  • [24] Crafting a Java']Java virtual machine in silicon
    Hardin, DS
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2001, 4 (01) : 54 - 56
  • [25] Array modeling in Java']Java Virtual Machine
    Wu Weimin
    Li Kailun
    Su Qing
    ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2007, 4847 : 617 - +
  • [26] The Java']Java virtual machine profiler interface
    Schmalenbach, C
    Höfig, C
    DR DOBBS JOURNAL, 2004, 29 (07): : 28 - 33
  • [27] Compilation scheduling for the Java']Java virtual machine
    Jiva, A
    Chun, R
    PLC '05: Proceedings of the 2005 International Conference on Programming Languages and Compilers, 2005, : 187 - 193
  • [28] A distributed implementation of a virtual machine for Java']Java
    Aridor, Y
    Factor, M
    Teperman, A
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2001, 13 (03): : 221 - 244
  • [29] Pipelined Java']Java Virtual Machine interpreters
    Hoogerbrugge, J
    Augusteijn, L
    COMPILER CONSTRUCTION, PROCEEDINGS, 2000, 1781 : 35 - 49
  • [30] Java']Java Virtual Machine Educational Tools
    Dobravec, Tomasz
    2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 383 - 387
12345