* LGL Seminar: Testing of Object-Oriented Software using Formal Specifications
@ 1996-06-04 0:00 Magnus Kempe
0 siblings, 0 replies; only message in thread
From: Magnus Kempe @ 1996-06-04 0:00 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1996-06-04 0:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1996-06-04 0:00 LGL Seminar: Testing of Object-Oriented Software using Formal Specifications Magnus Kempe
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox