LGL Seminar: Testing of Object-Oriented Software using Formal Specifications

LGL Seminar: Testing of Object-Oriented Software using Formal Specifications

[Magnus Kempe]

                 Laboratoire de genie logiciel, DI-LGL-EPFL

Monday, 17 June 1996                                                  [EPFL]
at 10:15 -- room INJ 218 (duration: 90 minutes)

Announcing a Seminar of the Software Engineering Laboratory
----------------------------------------------------------------------------

       Testing of Object-Oriented Software using Formal Specifications

                           by Prof. A.S.M. SAJEEV
                        Monash University, Australia

         Ecole Polytechnique Federale de Lausanne -- site Ecublens
              Batiment du Departement d'Informatique -- INJ 218

Abstract
The OZTest system is designed to assist in testing object-oriented programs
using formal specifications. The programming language used is Eiffel and the
specification language Object-Z. Test shells generated from an Object-Z
specification are stored as test scripts. OZTest chooses the test shells in
a particular session based on user given criteria. A test class is created
by inheriting from the class being tested, with the child class containing
the routines to test the parent.

About the speaker
Dr A.S.M. Sajeev is the Deputy Head of Department of Software Development,
Monash University, Australia. His research interests are in the areas of
object-oriented software engineering and parallel OO programming. His
research team has designed the software reuse tool OO-CaRE (TOOLS-Pacific
'94) and the language Chi (IEEE Computer, Sept'92).

----------------------------------------------------------------------------
These talks are free and open to all.
Announcements of future LGL seminars and directions (including maps) to our
premises are at: http://lglwww.epfl.ch/Talks/announce.html

960604 -- Magnus Kempe, EPFL-DI-LGL, email: Magnus.Kempe@di.epfl.ch