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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Gouraud, S. D., & Gotlieb, A. (2005). Using CHRs to generate functional test cases for the Java Card Virtual Machine. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3819 LNCS, pp. 1–15). https://doi.org/10.1007/11603023_1
Mendeley helps you to discover research relevant for your work.