Skip to main content
SpringerLink
Log in

Automatic Test Generation for Java Card Applets

  • Conference paper
  • First Online:
Java on Smart Cards:Programming and Security (JavaCard 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2041))

Included in the following conference series:

Abstract

Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet validation. In this article, we describe a methodology for Java Card applet verification, and its application on a case study. 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. In the next step, the resulting model is used to automatically generate test suites, using UMLAUT and TGV tools. 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.

This work is the result of a collaboration between Gemplus Research Labs and IRISA (project PAMPA).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Barbey. Test selection for specification-based unit testing of objectoriented software based on formal specification. PhD thesis, Ecole Polytechnique Fédérale de Lausanne, Switzerland, 1997.

    Google Scholar 

  2. G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Langage-User Guide. Addison-Wesley, 1998.

    Google Scholar 

  3. G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1998.

    Google Scholar 

  4. J.-M. Jézéquel, A. LeGuennec, and F. Pennaneach. Validating distributed software modelled with UML. In Proc.Int.Workshop UML98, Mulhouse, France, June 1998.

    Google Scholar 

  5. T. Jéron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification (CAV). LNCS 1633, Springer-Verlag, 1999.

    Chapter  Google Scholar 

  6. J.-L. Lanet. Using the b method to model protocols. In Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL), pages 79–90, Poitiers, France, September 1998.

    Google Scholar 

  7. P. Lartigue and D. Sabatier. The use of the b formal method for the design and the validation of the transaction mechanism for smart card applications. In World Congress on Formal Methods, volume LNCS 1708, pages 348–369, Toulouse, France, September 1999. Springer Verlag.

    Google Scholar 

  8. H. Martin. Using test hypotheses to build a uml model of object-oriented smart card applications. In International Conference on Software and Systems Engineering and their Applications (ICSSEA), Paris, France, December 1999.

    Google Scholar 

  9. H. Martin and L. du Bousquet. Tools for automated conformance testing of java card applets. Technical report, Gemplus, September 2000.

    Google Scholar 

  10. S. Motré. Réalisation et spécification du modèle formel du firewall de la java card en utilisant la méthode b. In Approches Formelles dans l’Assistance au Dèveloppement de Logiciels (AFADL), Grenoble, France, January 2000.

    Google Scholar 

  11. M. Phalippou. Relations d’implémentations et hypothèses de test sur des automates à entrées et sorties. Thèse, Université Bordeaux I, France, septembre 1994.

    Google Scholar 

  12. J. Tretmans. Testing concurrent systems: A formal approach. In J.C.M Baeten and S. Mauw, editors, 10th Int.Confer ence on Concurrency Theory (CONCUR’99), volume LNCS 1664. Springer-Verlag, 1999.

    Google Scholar 

  13. Unified modeling language specification, version 1.3, June 1999. Information available at http://www.omg.org/cgi-bin/doc?ad/99-06-08.

  14. J.-J. Vandewalle and E. Vétillard. Developing smart card-based applications with java card. In Third European Research Seminar on Advances in Distributed Systems (ERSADS), Madeira Island-Portugal, April 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gemplus Research Labs, BP 100, 13881, Gémenos, Cedex, France

    Hugues Martin

  2. Laboratoire LSR-IMAG, BP 72, 38402, Saint Martin d’H`eres, cedex, France

    Lydie du Bousquet

Authors
  1. Hugues Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lydie du Bousquet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INRIA Sophia Antipolis, 06902, Sophia Antipolis, Cedex, France

    Isabelle Attali

  2. IRISA/CNRS, Campus de Beaulieu, 35042, Rennes, France

    Thomas Jensen

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martin, H., du Bousquet, L. (2001). Automatic Test Generation for Java Card Applets. In: Attali, I., Jensen, T. (eds) Java on Smart Cards:Programming and Security. JavaCard 2000. Lecture Notes in Computer Science, vol 2041. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45165-X_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-45165-X_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42167-2

  • Online ISBN: 978-3-540-45165-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation