Онтологический подход к формированию нормативного профиля при сертификации программного обеспечения

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