وكذلك تحديد المشاكل فيهم، كما ينبغي أن تكون الأجزاء قادرة على التحقق من سلوك الأجزاء الأخرى التي تعتمد عليها.
As well as determining problems with themselves, the modules should also be able to verify the behavior of other modules that they are dependent upon.