Modules can be changed without detection.

    Testing cannot guarantee detection of all problems.