1. Suppose you have built a module that implements a complete abstract data type

1. Suppose you have built a module that implements a complete abstract data type , provided with operations is empty, enqueue, dequeue, etc., with their natural meaning. Build a facility to drive the execution of such a module, consisting of a small program that allows the user to test the module. 2. Design an incremental testing strategy for the software architecture given in Example 4.6. Example 4.6 In the program fragment the test set { , ) causes the execution of all edges, but fails to expose the risk of a division by zero. Such a risk would be uncovered by the test set tcx = 0 , z = 3> , ) , which would exercise other possible flows of control through the fragment. â–  Example 6.6 suggests that traversing single edges may not be enough to ensure the traversal of all important flows of execution. A natural extension would therefore lead to the following new testing criterion:

You may also like