Projekt Servlet Container-Entwicklung und Testprozessoptimierung für

							Projekt: Servlet Container-Entwicklung und Testprozessoptimierung für Next
Generation Java Card

Bei dem im Folgenden beschriebenen Projekt handelt es sich um die Fortsetzung eines sehr
erfolgreich abgeschlossenen Projektes zwischen dem Chipkartenhersteller Sagem Orga
GmbH und dem Software Quality Lab (s-lab) der Universität Paderborn. Schwerpunkte
werden auch in diesem Projekt Forschungsarbeiten auf dem Gebiet der Next Generation Java
Card sein.
Next Generation Java Card ist die neue Spezifikation für Java auf Smart Cards von Sun
Microsystems GmbH. Dieser neue Standard für Java auf Smart Cards sieht unter anderem die
Integration eines Webservers und die Unterstützung von Servlets vor. Ein Servlet ist ein
Objekt, das dynamisch Antworten auf Anfragen generiert. Servlets ermöglichen es, einem
Java-basierten Webserver dynamische Inhalte hinzuzufügen.
„Die Karte der Zukunft wird webfähig sein, das heißt, dass die Kommunikation mit der Karte
vorzugsweise auf HTTP basieren wird“, so Carsten Rust, Projektleiter bei Sagem Orga. „Die
Applikationsentwicklung für Karten wird damit näher an die Web-Applikationsentwicklung
geführt und dadurch für einen größeren Entwicklerkreis geöffnet. Dafür möchten wir im
Rahmen des Projekts die Voraussetzung schaffen. Basisdienste auf der Karte können in Form
von Servlets entwickelt und dadurch auf einfache Weise von Applikationsentwicklern
umfassenderer Systeme integriert werden.
Darüber hinaus soll das Projekt dazu beitragen, unsere Qualitätssicherung noch effizienter zu
gestalten. Bereits die erste gemeinsame Projektarbeit zeigte, dass eine Zusammenarbeit
zwischen Forschung und Industrie für beide Seiten gewinnbringend ist: Wir als Unternehmen
bekommen neue Impulse. Für die Forschungsseite ergibt sich die Möglichkeit, neue
Technologien in „echten“ industriellen Projekten anzuwenden.“

Schwerpunkt      des
Projektes       sind
Servlets und wie
diese auf Smart
Cards     verwendet
werden können. Das
Projekt baut auf
dem ersten erfolg-
reich abgeschlosse-
nen Projekt "Sichere
und     performante
Standard Java Implementierung auf einer Smartcard Plattform" auf, bei dem der Prototyp
einer Java Virtual Machine für die Next Generation Java Card™ konzipiert und realisiert
wurde (siehe dazu auch http://s-lab.upb.de/Projekte/Javacard/).

Die Ziele des neuen zweijährigen Projekts "Servlet Container-Entwicklung und
Testprozessoptimierung für Next Generation Java Card"  des s-labs unter der
wissenschaftlichen Leitung von Prof. Dr. Uwe Kastens und den Entwicklungs- und
Qualitätssicherungsabteilungen von Sagem Orga sind:
   • die Integration des Servlet Containers Jetty in eine Next Generation Java Card
       Umgebung und
   • die Optimierung des Testprozesses von Sagem Orga durch den Einsatz der formalen
       Methoden Datenflussanalyse und Model Checking am Beispiel des Servlet Containers
       Jetty für Next Generation Java Card.

Zur Erreichung der Projektziele umfasst das Projekt hauptsächlich die folgenden Aufgaben:
   • die Analyse des existierenden Webservers und Servlet Containers Jetty im Hinblick
       auf seine für Next Generation Java Card relevanten Funktionalitäten, seinen
       Speicherverbrauch und seine Leistungsfähigkeit,
   • den Entwurf und die Umsetzung eines Webservers und Servlet Containers für Next
       Generation Java Card basierend auf Jetty,
   • die Identifikation, Klassifikation und formale Spezifikation essentieller Eigenschaften
       von Jetty mit einer geeigneten Spezifikationssprache,
   • die Evaluation von Werkzeugen zur automatischen Überprüfung von Jetty
       Eigenschaften und zur Unterstützung des Testprozesses (z.B. durch Generierung von
       Unit-Tests) sowie die Evaluation eines exemplarischen Testprozesses bei Sagem Orga,
   • die Konzeption einer Kombination der formalen Methoden Datenflussanalyse und
       Model Checking zur effizienteren Überprüfung von Jetty Eigenschaften sowie
   • die Realisierung und Evaluation dieser kombinierten Technik und Einbettung in den
       Testprozess von Sagem Orga.

Wissenschaftliche Leitung
Prof. Dr. Uwe Kastens


Kontakt
Rebekka Oeters
Universität Paderborn
Software Quality Lab (s-lab)
Warburger Str. 100
33098 Paderborn
Tel.: +49 5251 60-3268
Fax.: +49 5251 60-3985
E-Mail: roeters@s-lab.upb.de


Projektlaufzeit
September 2007 – August 2009