A framework for automated testing from VDM-SL specifications

Proceedings of INMIC 2004 - 8th International Multitopic Conference

Volumn , Issue , 2004, Pages 428-433

  Nadeem, Aamer ^a   Jaffar Ur Rehman, Muhammad ^a  

^a CAPITAL UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Pakistan)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); FORMAL SPECIFICATION; LIFE CYCLE; SPECIFICATIONS;

AUTOMATED TESTING; AUTOMATIC GENERATION; FORMAL PROOFS; SOFTWARE LIFE CYCLES; SOFTWARE PROJECT; SOURCE CODES; TEST CASE; TEST DATA;

FORMAL METHODS;

EID: 84935147131     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INMIC.2004.1492917     Document Type: Conference Paper

References (7)

1. Christophe Meudec: Automatic Generation of Software Test Cases From Formal Specifications, Ph. D. thesis, The Queen's University of Belfast, May 1998.
2. Derek J. Andrews: An Overview of VDM-SL, TR-1999-1, Ødegård Labs, Inc., August 1999.
3. Georg Droschl: Design and Application of a Test Case Generator for VDM-SL, Austrian Research Center Scibcrsdorf and IST - Technical University of Graz, Austria.
4. J. Dick, A. Faivre: Automating the Generation and Sequencing of Test Cases from Model-based Specifications. In Proceedings of FME'93: Industrial-Strength Formal Methods. Pages 268-284, Odense, Penmark, 1993, Springer-Verlag.
5. Lionel Van Aertryck, Marc Benveniste, Daniel Le Métayer: CASTING: A Formally Based Software Test Generation Method, Proceedings of the 1st international Conference on Formal Engineering Methods (ICFEM'97), 1997.
6. Richard Attcrcr: Automatic Test Data Generation from VDM-SL Specifications. The Queens University of Belfast, April 2000.
7. Stcffcn Helkc, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle, GMD First, Germany.