Аннотация. В работе описаны три подхода, применяемые для проверки корректности программного обеспечения: тестирование, валидация и верификация. Более подробно рассмотрен метод верификации дедуктивным анализом на основе логики Хоара.

Ключевые слова: тестирование, валидация, верификация, программа, метод, система, ошибка, методы верификации, дедуктивный анализ, логика, алгоритм

Abstract.

Keywords:

ЧИТАТЬ ВЕСЬ ТЕКСТ >>>