Верификация, стандартизация и сертификация ПО

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

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

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

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

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

Если все испытания проходят успешно, то на соответствующую версию ПС оформляется специальный документ — сертификат соответствия.

Этот документ официально подтверждает соответствие стандартам функций и характеристик, а также допустимость ПС для определенной области его применения.

Он документально утверждает право на использование знаков соответствия требованиям сертификации, гарантирует безопасность применения ПС, а также юридически допускает его к эксплуатации и использованию по прямому назначению.

Без таких проверочных и испытательных операций не разрешается переходить на следующий этап разработки.

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

Таким образом, методически процесс сертификации представляет особую совокупность испытаний программ, для которых необходимы специальные стандарты, методики, средства автоматизации и подготовленные специалисты.

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

Необходимость аттестации и сертификации программ широкого класса привела к появлению ряда научных и методических задач, тесно связанных с процессами разработки ПС: