Аналіз методів верифікації програмного забезпечення

Abstract

У даній роботі представлений огляд методів верифікації програмного забезпечення (ПЗ). Пропонується класифікація відомих методів верифікації. В рамках запропонованої системи розглядаються як зрілі і широко використовувані при розробці методи верифікації ПЗ, так і недавно створені і використовувані поки тільки в рамках дослідницьких проектів. This paper provides an overview of methods for verification of software. Proposed classification known methods of verification. As part of the proposed system are regarded as mature and widely used in the development of methods for software verification and recently created and used so far only in the research projects.