This methodology is based on automatic test generation. We first take benefits of the Java Card platform validation, focusing on application conformity testing. Then, using UML, we model the applet and its probable communication with other embedded elements. The full process is iterative and incremental, in order to conform to an object-oriented approach. Moreover, this incremental process allows integrating priorities on validation, by focusing first on main functions and properties.
All trademarks are the property of their respective owners.
Gemplus Privacy Policy .