Cate: A system for analysis and test of Java card applications

Zusammenfassung
Cate is a domain-specific testing environment. It integrates both static and dynamic analyzes that are designed for Java Card application software. Cate supports the test process by analyzing the command/response behavior of the software, by performing test coverage analysis and by providing tools to visualize the analysis results. This paper gives a concise overview over the system which is successfully employed in the area of smart card development for mobile phones.
  • Vollständige Referenz
  • BibTeX
Pfahler, P. & Günther, J., (2004). Cate: A system for analysis and test of Java card applications. In: Beydeda, K., Gruhn, V., Mayer, J., Reussner, R. & Schweiggert, F. (Hrsg.), Testing of component-based systems and software quality. Bonn: Gesellschaft für Informatik e.V.. (S. 157-163).
@inproceedings{mci/Pfahler2004,
author = {Pfahler, Peter AND Günther, Jürgen},
title = {Cate: A system for analysis and test of Java card applications},
booktitle = {Testing of component-based systems and software quality},
year = {2004},
editor = {Beydeda, Ksami AND Gruhn, Volker AND Mayer, Johannes AND Reussner, Ralf AND Schweiggert, Franz} ,
pages = { 157-163 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI.Proceedings.58-14.pdf192.2Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-387-3
ISSN: 1617-5468
Datum: 2004
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige