Ontology approach to normative profiles forming at software certification
Онтологический подход к формированию нормативного профиля при сертификации программного обеспечения

Iu.I. Butenko, Bauman Moscow State Technical University, Moscow, Russia
2020 Ontology of Designing  
Аннотация Предложен подход к автоматизации процедуры формирования нормативного профиля при сертификации программного обеспечения. Отмечено, что в настоящее время практическое проведение экспертизы на этапе формирования нормативного профиля при сертификации программного обеспечения в значительной мере заключается в ручном анализе экспертами больших объѐмов нормативной и проектной документации, представленной текстами на естественном языке. Это приводит к определѐнному субъективизму экспертных
more » ... нок, снижению их полноты и достоверности, а применение стандартных методов является неэффективным в силу их универсальности. Дан анализ процедуры сертификации и формирования нормативного профиля. Приведена структура нормативного профиля, выделены виды нормативных профилей, а также варианты его формирования. Рассмотрены типичные ошибки, которые могут возникнуть при автоматизации процедуры формирования нормативного профиля. Обоснована целесообразность использования онтологической среды для автоматизации процедуры формирования нормативного профиля. Описание предметной области сертификации программного обеспечения представлено в виде расширенной онтологической модели, которая включает в себя онтологию критериев качества программного обеспечения, онтологию нормативной базы сертификации программного обеспечения, онтологию ядра семантической целостности, онтологическую систему организации вывода на знаниях. Результаты исследований могут быть использованы при разработке интеллектуальной диалоговой системы поддержки принятия решений аудитором сертификационного центра с целью повышения эффективности работы аудитора за счѐт автоматизации рутинного процесса, а также снижения риска принятия неверного решения при недостаточной квалификации лица, принимающего решение.
doi:10.18287/2223-9537-2020-10-2-190-200 fatcat:fl4kti4ukrabjpupgcwysmwuha