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 条
  • [41] Evaluating the Java']Java virtual machine as a target for languages other than Java']Java
    Gough, KJ
    Corney, D
    MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2001, 1897 : 278 - 290
  • [42] OCaml-Java']Java: The Java']Java Virtual Machine as the target of an OCaml compiler
    Clerc, Xavier
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2016, 26 : 1 - 42
  • [43] Minimizing Impact on Java']Java Virtual Machine via JAVA']JAVA Code Optimization
    Myalapalli, Vamsi Krishna
    Geloth, Sunitha
    2015 INTERNATIONAL CONFERENCE ON ENERGY SYSTEMS AND APPLICATIONS, 2015, : 19 - 24
  • [44] Improved Sandboxing for Java']Java Virtual Machine using Hybrid Execution Model
    Nishiyama, Hiroyasu
    2012 6TH INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION SCIENCE, SERVICE SCIENCE AND DATA MINING (ISSDM2012), 2012, : 173 - 178
  • [45] Virtual Machine Allocation Policy in Cloud Computing Using CloudSim in Java']Java
    Parikh, Kushang
    Hawanna, Nagesh
    Haleema, P. K.
    Jayasubalakshmi, R.
    Iyengar, N. Ch. S. N.
    INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (01): : 145 - 158
  • [46] An embedded Java']Java Virtual Machine using network-on-chip design
    Mathias, Graham
    Kent, Kenneth B.
    SEVENTEENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, 2006, : 149 - +
  • [47] CoqJVM: An executable specification of the Java']Java Virtual Machine using dependent types
    Atkey, Robert
    TYPES FOR PROOFS AND PROGRAMS, 2008, 4941 : 18 - 32
  • [48] Auto-tuning the Java']Java Virtual Machine
    Jayasena, Sanath
    Fernando, Milinda
    Rusira, Tharindu
    Perera, Chalitha
    Philips, Chamara
    2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, 2015, : 1261 - 1270
  • [49] A fault-tolerant Java']Java virtual machine
    Napper, J
    Alvisi, L
    Vin, H
    2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 425 - 434
  • [50] Garbage collection in an embedded Java']Java virtual machine
    Cha, Chang-Il
    Kim, Hyung-Jun
    Hwang, Kyu-Jeong
    Kim, Sang-Wook
    Lee, Sang-Yun
    Won, Hee-Sun
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2006, 4251 : 443 - 450
12345