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.
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.