Введение

В современном мире разработка программного обеспечения является одной из важнейших индустрий. Это обусловлено тем, что все промышленные отрасли, а также бизнес-процессы автоматизированы. Спрос на такие средства стремительно возрастает, параллельно увеличивается и уровень требований, предъявляемых к ним. И это понятно, ведь даже самая незначительная ошибка в программе может привести к нежелательным результатам.

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