Sự tương ứng giữa các đối tượng được xác định tĩnh và xác định tự động như được chỉ ra trong Bảng . Các trường hợp thử nghiệm thứ hai tạo ra một sơ đồ đối tượng năng động (4,8 Hình, TC2) trong đó tất cả các đối tượng trong hình. 4,3 được đại diện. | 78 4 Object Diagram BinaryTreeNode3 Fig. which appears to be greater than 1. On the contrary a unitary multiplicity seems to be confirmed for BinaryTreel and BinaryTreeNodel Fig. . Correspondence between the objects identified statically and those identified dynamically is as indicated in Table . The second test case generates a dynamic object diagram Fig. TC2 in which all objects in Fig. are represented. The last test case Fig. TC3 reveals that the multiplicity of BinaryTreeNode2 Fig. can also be greater than 1. The comparison of the diagrams in Fig. right with that in Fig. highlights the different and complementary nature of the information they provide. The actual shape of the allocated objects a tree becomes clear only when the dynamic diagrams are considered. However they cannot be taken alone since they do not represent all possible cases that may occur in the program. Inspection of the static object diagram allows detecting portions of the code not yet exercised which are relevant for the construction of the objects and of the inter-object relationships and therefore could contribute to the understanding of the object organization in the program. With reference to the diagram in Fig. the relationship between BinaryTreeNode2 and BinaryTreeNode3 labeled right and that between BinaryTreeNode3 and BinaryTreeNode2 labeled left are not represented in any dynamic diagram see Fig. . Two additional test cases can be defined to exercise them TC4 c a b TC5 a c b This highlights one of the advantages of combining the static and the dynamic method consisting of the support given to the programmers in the production of the test cases. The eLib Program The code of the classes in the eLib program provided in Appendix A does not contain the statements allocating objects of type User Book etc. In fact it is assumed that an external driver program performs such allocations. The classes in this appendix offer functionalities for .
