Семантическая модель языковых объектов для автоматизации процесса сертификации систем критического применения - page 2

Ю.И. Бутенко, И.В. Шостак
2
его разработки требованиям международных и национальных норма-
тивных документов [4].
Процедура оценки ПО проводится в специализированных серти-
фикационных центрах сертификационными аудиторами (СА) [5]. Она
предполагает решение следующих задач:
формирование нормативного профиля (НП) — гармонизиро-
ванной с международными и национальными стандартами совокуп-
ности требований, предъявляемых к данному проекту или группе
проектов. Это вновь разрабатываемые государственные или отрасле-
вые стандарты, нормативно-методические документы предприятий и
общие требования спецификаций ПО;
реинжиниринг процесса проектирования ПО и его оценка на
основе НП;
статистический анализ исходного текста, заключающийся в
определении программных метрик согласно выбранному НП и вы-
полнении семантического анализа;
динамический анализ ПО: модульное тестирование методом бело-
го и черного ящиков и интервальный анализ исполняемого модуля;
определение степени соответствия исходного кода ПО проектной
документации и НП.
В то же время экспертизу ПО можно считать слабо формализо-
ванным и слабо структурированным видом профессиональной дея-
тельности СА. Велики роль субъективизма и влияние опытности СА
на итоговые оценки. При этом наиболее критичной по отношению к
конечному результату в деятельности СА является процедура анали-
за базы нормативных документов в целях формирования НП, непо-
средственно относящегося к объекту сертификации.
Анализ иерархической структуры текстов стандартов и техниче-
ской документации (ТД) целесообразно осуществлять в два этапа [6].
Первый этап связан с анализом композиционной структуры текста, в
частности с распознаванием нумерации (маркировки) разделов стан-
дартов. Определение нумерованных (маркированных) фрагментов
позволяет более точно установить границы предложений и сформи-
ровать их в виде, удобном для последующей компьютеризированной
обработки, которая дает возможность на втором этапе определять
синтаксическую структуру предложения в целях выявления термино-
логических единиц [7, 8] и их связей для последующего построения
соответствующей онтологии предметной области. Очевидно, реали-
зация второго этапа предполагает использование специальной моде-
ли представления в единой форме синтаксической структуры обраба-
тываемых языковых объектов.
Целью работы является описание процесса синтеза семантиче-
ской модели, которая позволяет отразить в типовой форме (ядра се-
1 3,4,5,6,7,8,9,10
Powered by FlippingBook