Model-Based Test Case Generation for Smart Cards11Support by the BMBF (project EMPRESS) is gratefully acknowledged.

Electronic Notes in Theoretical Computer Science(2003)

Cited 13|Views2
No score
Abstract
Testing denotes a set of activities that aim at discovering discrepancies between actual and intended behaviors of a system. Often, the intended behavior is known only implicitly, which renders the process of testing unstructured, unmotivated in its details, and barely reproducible. The use of explicit and executable models to describe the intended behavior promises to solve these problems. We use an industrial case study — a smart card application — to present a method for automatically generating test cases from such explicit models. The test cases are used both to validate the model and verify the actual card.
More
Translated text
Key words
Test case generation,smart cards,modeling languages,CASE.
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined