By collecting software metrics and making use of existing software reliability models it is possible to
develop meaningful guidelines for determining when software testing is done.
Two tests are considered to be equivalent if it is believed that: if one discovers a defect, the other
probably will too, and if one does not discover a defect, ---------------------------------.
In refining the DFD during transaction mapping it is unnecessary to create a PSPEC since only the
CSPEC is relevant to this type of architectural style.