Software Testing, Verification and Validation           Karl J. Lieberherr
COM 3220                                                Spring 1999
===========================================================================
							Due date: May 27, 1999

This assignment is stored in file $TVV/hw/7
in file assign.txt

TESTING AN OO LIBRARY
=====================

READING:

http://www.ccs.neu.edu/research/demeter/AP-Library/alpha/

The purpose of this homework is to test now directly the AP Library
which you have been using indirectly through DJ.

Write a regression test suite for the AP Library that can be used to test
changes made to the library. Your suite should contain test cases
that give an error. Ideally you should identify errors failures
that were not found by using the library through DJ.
How could the DJ library mask faults in the AP Library?

Turn in the following:
in /proj/lieber/com3220/sp99

1.
A document that describes the test requirements and
bugs you found (if you have a MS Word document
please also produce a plain text form). Include a discussion on how DJ
could be masking faults in the AP Library.

2. 
The test directories with the regression test script producing SUCCESS or FAILURE
for each test case.

Strategies have the following syntax:

StrategyGraph           = "{"  [ "vec:"  <edgeVec> Vector ]
<edges> SList(SGEdge) -  "}" 
[ "source:" <sources> ClassGlobSpec ]
[ "source-edge:" <sourceEdges> NList(Integer) ]
[ "target:" <targets> ClassGlobSpec ]
implements StrategyGraphI
.
SGEdge                  = <source> ClassGlobSpec  "->" 
<dest> ClassGlobSpec
[ <constraint> NegativeConstraint ].

Class graphs have the same syntax as in hw 1, e.g.:

A = B E.
B = D E X.
D = C.
E = C.
C = .
X = C.


See http://www.ccs.neu.edu/research/demeter/DemeterJava/use/generate.cd
for more detail.