Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается; доказательство того, что поведение программы соответствует спецификации на эту программу [ Комов-09 ].
Подписаться на новости BIS Journal / Медиа группы Авангард