Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!vax135!cornell!uw-beaver!tektronix!hplabs!sri-unix!komorowski@MIT-OZ
From: komorowski%MIT-OZ@sri-unix.UUCP
Newsgroups: net.ai
Subject: Logic Programming Seminars at Harvard
Message-ID: <286@sri-arpa.UUCP>
Date: Fri, 23-Mar-84 18:28:23 EST
Article-I.D.: sri-arpa.286
Posted: Fri Mar 23 18:28:23 1984
Date-Received: Fri, 30-Mar-84 00:41:03 EST
Lines: 26

From:  Jan <komorowski@MIT-OZ>

           [Forwarded from the MIT bboard by Laws@SRI-AI.]

                                COLLQUIUM

                APPLICATION OF PROLOG TO GENERATION OF TEST DATA
                        FROM ALGEBRAIC SPECIFICATIONS

                        Prof. Marie-Claude Gaudel
                        Universite de Paris-Sud

                        Monday, April 9, 1984
                                4 PM
                        Aiken Lecture Hall
                        Tea in Pierce 213 at 3:30

ABSTRACT: Functional testing or "black-box testing has been recognized
for a long time as an important aspect of software validation. With
the emrgence of formal specification methods it becomes possible to
found functional testing on a rigorous basis. This lecture presents a
method of generating sets of test data from algebraic specifications.
The method has been impelemted using Prolog. It turns out that Prolog
is avery well-suited tool for generating sets of test data in this context.

Host : Professor Henryk Jan Komorowski