 |
| 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
|
|
|
