From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10f5bc,d93fdd38a4e452ab,start X-Google-Attributes: gid10f5bc,public X-Google-Thread: f891f,d93fdd38a4e452ab,start X-Google-Attributes: gidf891f,public X-Google-Thread: fac41,d93fdd38a4e452ab,start X-Google-Attributes: gidfac41,public X-Google-Thread: ff6c8,d93fdd38a4e452ab,start X-Google-Attributes: gidff6c8,public X-Google-Thread: 109fba,d93fdd38a4e452ab,start X-Google-Attributes: gid109fba,public X-Google-Thread: 103376,d93fdd38a4e452ab,start X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,d93fdd38a4e452ab,start X-Google-Attributes: gidf43e6,public X-Google-Thread: 1108a1,d93fdd38a4e452ab,start X-Google-Attributes: gid1108a1,public From: Magnus.Kempe@di.epfl.ch (Magnus Kempe) Subject: LGL Seminar: Testing of Object-Oriented Software using Formal Specifications Date: 1996/06/04 Message-ID: <4p1cdi$h4v@disunms.epfl.ch>#1/1 X-Deja-AN: 158399646 distribution: ch sender: magnus@lglsun4.epfl.ch (Magnus Kempe) followup-to: poster content-type: text/plain; charset=iso-8859-1 organization: Ecole Polytechnique F�d�rale de Lausanne mime-version: 1.0 newsgroups: comp.object,comp.software-eng,comp.software.testing,comp.sw.components,comp.lang.ada,comp.lang.eiffel,comp.lang.c++,comp.lang.misc,ch.general,ch.si.choose,ch.si.general,epfl.general,epfl.objets,di.general Date: 1996-06-04T00:00:00+00:00 List-Id: 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