Рассматриваются функции, применение и взаимодействие верификации и тестирования в жизненном цикле сложных программных средств. Внимание акцентировано на разработке и использовании спецификаций требований и спецификаций тестов для обеспечения качества программ. Рекомендуется использовать систематизированные спецификации тестов в качестве второй формы описания содержания и эталонов для тестирования при разработке и проверке текстов программ.
