Links Abstract Using test to validate conformance of Java Card applications needs to take into account object-oriented specificity of the model and the implementation. In this article, we propose a method which integrates test hypotheses in order to build a UML model of Java Card applications. For each hypothesis, we describe how we can use it in order to obtain a model which is test oriented, and as most as possible understandable and maintainable. We use a simplified classical example of smart card application to illustrate our presentation.
All trademarks are the property of their respective owners.
Gemplus Privacy Policy .