Методика машинной обработки лингвистических единиц класса «язык стандартов программного обеспечения»

Abstract

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

Описано методику машинної обробки документів з нормативної бази (НБ) у процесі формування нормативного профілю для сертифікації програмного забезпечення систем критичного застосування. Розглянуто підхід до моделювання НБ програмних систем з використанням основних положень теорії ієрархічних систем. Наведено класифікацію документів НБ, а також результати їх граматичного аналізу. Запропоновано підхід до подання НБ у вигляді онтологічної системи та технологія синтезу на цій основі діалогової системи підтримки прийняття рішень сертифікаційних аудитором.