Model-based test case generation for smart cards

Electronic Notes in Theoretical Computer Science

Volumn 80, Issue , 2003, Pages 170-184

  Philipps, J ^a   Pretschner, A ^a   Slotosch, O ^a   Aiglstorfer, E ^b   Kriebel, S ^b   Scholl, K ^b  

^a Validas AG   (Germany)

^b GIESECKE AND DEVRIENT GMBH   (Germany)

Author keywords

CASE; Modeling languages; Smart cards; Test case generation

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CRYPTOGRAPHY; DATA ACQUISITION; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; ENCODING (SYMBOLS); INPUT OUTPUT PROGRAMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SPECIFICATIONS; SYSTEMS ANALYSIS;

CRYPTOGRAPHIC OPERATIONS; MODELING LANGUAGES; TEST CASE GENERATION; WIRELESS APPLICATION PROTOCOL IDENTITY MODULE (WIM);

SMART CARDS;

EID: 3943053042     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80817-X     Document Type: Conference Paper

References (22)

1. Bender K., Broy M., Péter I., Pretschner A., Stauner T. Model based development of hybrid systems: specification, simulation, test case generation. Modelling, Analysis and Design of Hybrid Systems. LNCIS 279 :2002;37-52
2. Burdy L., Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino and E. Poll, An overview of JML tools and applications, Technical report, Department of Computer Science, University of Nijmegen (2003), research Report NIII-R0309.
3. du Bousquet L., F. Ouabdesselam, I. Parissis, J.-L. Richier and N. Zuanon, Specification-based Testing of Synchronous Software, in: Proc. 5th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2000.
4. Duran J., Ntafos S. An Evaluation of Random Testing. IEEE TSE SE-10. 1984;438-444
5. Fernandez J.-C., C. Jard, T. Jéron and C. Viho, Using on-the-fly verification techniques for the generation of test suites, in: Proc. 8th Intl. Conf. on Computer-Aided Verification, 1996.
6. Fournier L., A. Koyfman and M. Levinger, Developing an Architecture Validation Suite - Application to the PowerPC Architecture, in: Proc. 36th ACM Design Automation Conf., 1999, pp. 189-194.
7. GSM 11.11, Digital cellular telecommunications systems (Phase2+); Specification of the Subscriber Identity Module - Mobile Equipment (SIMME) interface.
8. Howden W. Symbolic Testing and the DISSECT Symbolic Evaluation System. IEEE TSE SE-3. 1977;266-278
9. Huber F., Schätz B., Schmidt A., Spies K. AutoFocus - a tool for distributed systems specification. FTRTFT'96. LNCS 1135 :1996
10. ITU-T, "Recommendation Z.140, Testing and Test Control Notation version 3 (TTCN-3): Core Language," ITU, 2003.
11. Legeard B. and F. Peureux, Génération de séquence de tests à partir d'une spécification B en PLC ensembliste, in: Proc. Approaches Formelles dans l'Assistance au Développement de Logiciels, 2001, pp. 113-130.
12. Marre B., Arnould A. Test Sequence Generation from Lustre Descriptions: GATEL. 15th IEEE Intl. Conf on Automated Software Engineering (ASE'00). 2000
13. Philipps J., Slotosch O. The quest for correct systems: Model checking of diagrams and datatypes. APSEC'99. 1999;449-458
14. Pretschner A. Classical search strategies for test case generation with constraint logic programming. Formal Approaches to Testing of Software (FATES'01). 2001;47-60
15. Pretschner A., Compositional generation of MC/DC integration test suites, in: Proc. TACoS'03, Electronic Notes in Theoretical Computer Science 6, 2003, pp. 1-11.
16. Pretschner A., H. Lötzbeyer and J. Philipps, Model Based Testing in Evolutionary Software Development, in: Proc. 11th IEEE Intl. Workshop on Rapid System Prototyping, 2001, pp. 155-160.
17. Pretschner A., O. Slotosch, H. Lötzbeyer, E. Aiglstorfer and S. Kriebel, Model based testing for real: The inhouse card case study, in: Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2001, pp. 79-94.
18. Raymond P., D. Weber, X. Nicollin and N. Halbwachs, Automatic testing of reactive systems, in: Proc. 19th IEEE Real-Time Systems Symposium, 1998.
19. Schätz B., A. Pretschner, F. Huber and J. Philipps, Model-based development, Technical Report TUM-I0204, Institut für Informatik, Technische Universität München (2002).
20. Shen J., Abraham J. An RTL Abstraction Technique for Processor Micorarchitecture Validation and Test Generation. J. Electronic Testing: Theory & Application. 16:1999;67-81
21. WAP Forum, Wireless Identity Module. Part: Security (2001), wireless Application Protocol WAP-260-WIM-20010712-a.
22. Zhu H., Hall P., May J. Software Unit Test Coverage and Adequacy. ACM Computing Surveys. 29:1997;366-427