Path: utzoo!attcan!utgpu!watmath!maytag!water!wlrush
From: wlrush@water.waterloo.edu (Wenchantress Wench Wendall)
Newsgroups: ont.events,uw.talks,uw.cs.grad
Subject: MASTER'S THESIS PRESENTATION
Keywords: Denise M. Woit, graduate student, Dept. of Computer Science, 
          University of Waterloo, will speak on 
          "Rational Testing for Computational Geometry Codes:  
          A Case Study."
Message-ID: <2425@water.waterloo.edu>
Date: 15 Jun 89 13:51:37 GMT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 49

DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

MASTER'S THESIS PRESENTATION

                    -Monday, June 19, 1989

Denise  M.  Woit,  graduate  student, Dept. of Computer
Science,   University   of   Waterloo,  will  speak  on
"Rational  Testing for Computational Geometry Codes:  A
Case Study

TIME:                 2:30 p.m.

ROOM:              DC 3540

ABSTRACT

As  the role of software grows in our society, the need
for  reliable and practical software testing techniques
increases.   Functional  testing is one method that may
help  fulfill this need.  While many functional testing
techniques  have  been  theorized,  they  are often too
involved or too complicated to be of practical use.

As  well  as the general testing technique, the testing
process  must  also  be  of  practical use: the testing
environment should be engineered so that the tests will
execute  with  minimal  human interaction and be easily
repeatable.

In  the  area of computational geometry, algorithms are
sometimes  found to be intricate and counter-intuitive;
these  algorithms,  especially, are in need of software
testing  techniques  which are reliable, yet practical.
One  such  algorithm  is that of the visibility polygon
problem.

The  fundamentals  of  a  visibility polygon algorithm,
VISPOL,  are  presented; a functional testing technique
and  environment  are proposed which, while specific to
VISPOL,  can be extended into a general methodology for
the testing of computational geometry codes; an account
of   the   design  and  implementation  of  the  VISPOL
algorithm,    using    current   software   engineering
practices,  is  given; and, the results of the proposed
testing technique and environment applied to the VISPOL
implementation are presented and analyzed.