Requirements traceability in automated test generation: Application to smart card software validation

Proceedings of the 1st International Workshop on Advances in Model-Based Testing, A-MOST '05

Volumn , Issue , 2005, Pages

  Bouquet, F ^a,b   Jaffuel, E ^b   Legeard, B ^a,b   Peureux, F ^a,b   Utting, M ^b,c  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

^b LEIRIOS Technologies   (France)

^c UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

formal model; model based testing; requirements traceability

Indexed keywords

AUTOMATED TEST; AUTOMATED TEST GENERATIONS; FORMAL MODEL; FUNCTIONAL COVERAGE; INNOVATIVE APPROACHES; LEIRIOS TEST GENERATORS; MATRIX; MODEL BASED TESTING; REAL-LIFE APPLICATIONS; REQUIREMENTS TRACEABILITY; SMART CARD INDUSTRY; SOFTWARE VALIDATION; TEST CASE; TEST DRIVERS; TEST GENERATIONS; TEST SCRIPTS; VALIDATION TESTING;

FORMAL LOGIC; SMART CARDS; SOFTWARE TESTING;

TESTING;

EID: 77953987044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1083274.1083282     Document Type: Conference Paper

References (13)

1. J-R. Abrial. The B-BOOK:Assigning Programs to Meanings. Cambridge University Press, 1996.ISBN 0521 496195.
2. B. Beizer. Black Box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons Ed., 1995. ISBN 0 471 12094 4.
3. E. Bernard, B. Legeard, X. Luck, and F. Peureux. Generation of Test Sequences from Formal Specifications: GSM 11-11 Standard Case Study. International Journal of Software Practice and Experience, 34(10):915-948, 2004.
4. F. Bouquet, B. Legeard, F. Peureux, and E. Torreborre. Mastering Test Generation from Smart Card Software Formal Models. In Procs. of the Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04), volume 3362 of LNCS, Marseille, France, pages 70-85, March 2004. Springer.
5. J. Dick and A. Faivre. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In Proceedings of the International Conference on Formal Methods Europe (FME'93), volume 670 of LNCS, pages 268-284. Springer Verlag, April 1993.
6. S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz, Model-Based Testing in Practice Proceedings of ICSE'99, May 1999, Los Angeles, California, pp285-294.
7. O. Gotel, A. Finkelstein. An Analysis of the Requirements Traceability Problem. In Proc. 1st IEEE Int. Conf. on Requirements Engineering, pages 94-101, Colorado Springs, April 1994.
8. Global Platform Card Specification, version 2.1.1, March 2003, www.globalplatform.org .
9. Specification of the Subscriber Identity Module - Mobile Equipment (SIM - ME) interface. GSM 11-11 version 7.2.0 Release 1998. Technical Specification. ETSI. European Telecommunication Standards Institute.
10. B. Legeard, F. Peureux, M. Utting, Controlling Test Case Explosion in Test Generation from B Formal Models, International Journal of Software testing, Verification, Reliability, 14(2), pp.81-103, 2004, J. Wiley and Sons editor.
11. D. J. Richardson, S. Leif Aha, and T. O. O'Malley, Specification-Based Oracles for Reactive Systems, 14th International Conference on Software Engineering, May 1992.
12. S. Schneider, The B-Method - An Introduction, 2001, p.370, Palgrave Editor, ISBN 0-333-79284-X .
13. Spanoudakis, G., Zisman, A., Perez-Minana, E. & Krause, P. Rule-based generation of requirements traceability relations. Journal of Systems and Software, 72(2), pp. 105-127, Elsevier Science Inc.