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