 |
| Home > Programme > Smart Card Software (last update: August 30th, 2007) |
|
MODULE 1
SMART CARD SOFTWARE: THE ART OF JAVA CARD PROGRAMMING (2 days)
Sept. 17 & 18 - Module designed and coordinated by Professor Pierre Paradinas, CNAM / INRIA |
|
| |
|
|
The principal goals of this third edition will be focused on Java Card Advanced Programming. Smart card industry deploys million of cards every day with Java Card Applet and Java Card code embedded. The art of computer programming have to be also applied to this platform. The purpose of this session will be to deliver high level class on programming technics to Java Card.
The session will be animated by the "best in the class" of software engineering of smart card programming. The agenda is based on phase linked to the development of Java Card Applets with design, development, test and evaluation phases. Along the session different tools will be available and experimented during the tutorial.
Sept. 17
APPLET DEVELOPMENT PHASE
9.00 am - 11.30 am
- Developing applet using GP API (including development of Security Domain)
Jean-Loup Depinay, Oberthur Card System
11.30 am - 3.00 pm
- Mobile Application based on SIM/USIM Java Card Applet
Patrick Biget, Bantry Technologies
3.00 pm - 5.30 pm
- Servlet development into the SCWS
Jan Nemec - Gemalto
- Web techno roundup (HTTP, HTML, etc.)
- SCWS use cases
- SCWS related techno summary
Demonstration of Developer Suite 3.1 including the handset and card simulator:
- servlet development (project creation, code generation, compile, convert and load on real card)
- servlet debugging and testing
- static content management
Sept. 18
APPLET TEST PHASE
This session will be shared by two families of test approach and tools provided by Leirios and Trusted Logic.
9.00 am - 11.30 am
- Model-Based Testing for smart card software validation
Eddie Jaffuel, Leirios Technologies
1. Using UML to design and implement functional test cases
- Concepts of Model-Based Testing
- Test model for smart card applications and Operating systems
- Generating test cases with LEIRIOS Test Generator (test selection criteria, requirements traceability)
- Adapting test cases to executable test scripts (with commercial tools such as Galitt KaNest or Integri INQ, with in-house proprietary test execution environments).
- Costs and benefits of model-based testing for smart card software validation
2. Putting it into practice - Case studies
- TCP Protocol validation testing
- Gixel IAS - Validation testing and homologation testing
- Global Platform 2.2
11.30 am - 3.00 pm
- Java Card Applet Testing
Anthony Ferrari and Loïc Correnson, Trusted Labs
1. Testing at different level of abstraction
a. Development of low-level libraries
- rely on Tess libraries
- Usage of Tess for modeling test modules
b. Implementation of tests
- Methodology: implementing tests at different level
- Methodology: usage of oracles
- Tess features: automated generation of test scripts
2. Documentation Issues
a. Test Plan specification
b. Coverage tables
c. Useable for CC
3. Test Execution
a. TLTM
b. Diagnosis features
APPLET PERFORMANCE EVALUATION
3.00 pm - 5.30 pm
- Presentation of the MESURE project and how benchmark may be used to improve the card applet performances.
Samia Bouzefrane and Julien Cordry, CNAM and Eric Vétillard, Trusted Labs
|
|
 |
