ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

Ю. И. Бутенко "Использование онтологий для автоматизации формирования нормативного профиля при сертификации программного обеспечения"

Аннотация.

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

Ключевые слова:

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

Стр. 55-65.

DOI 10.14357/20718594210206

Литература

1. Odarushchenko, O., Strjuk, O., Bulba, Y., Leontiiev, K., Ivasyuk, A. and Kharchenko, V. Fault insertion software and hardware testing for safety PLC-based system SIL certification // 9th International Conference on Dependable Systems, Services and Technologies (DESSERT). 2018. – pp. 202-206. DOI: 10.1109/DESSERT.2018.8409128
2. Тарасюк О. М. Методы и инструментальные средства метрико-вероятностной оценки качества программного обеспечения информационно-управляющих систем критического применения: дис. ... канд. тех. наук: 05.13.06 / Тарасюк Ольга Михайловна;. – Харьков, 2004. – 201 с.
3. Vilkomir S.A., Khasrchenko V.S. The Formalized Models of an Evaluation of a Verification Process of Critical Software // Proceedins PSAM5, (November 27 – December 1, 2000). – Osaka, Japan. – Vol.4. – p. 2383-2388.
4. Babeshko Eu.,Yasko A., Kharchenko V. FMEDA-based NPP I&C Systems Safety Assessment: Toward To Minimization Of Experts' Decisions Uncertainty // Proceedings of the 24th International Conference on Nuclear Engineering (ICONE24), Volume 5, June 26-30, 2016, Charlotte, North Carolina, USA, Paper ID: ICONE24-60377.
5. Kharchenko V., Gordieiev O., Fedoseeva A. Profiling of Software Requirements for the Pharmaceutical Enterprise Manufacturing Execution System. // Applications of Computational Intelligence in Biomedical Technology. Springer, Cham, 2016, pp. 67-92.
6. Андрашов А. А. Таксономические модели профилирования требований информационно-управляющих систем критического применения // Радиоэлектронные и компьютерные системы. – Харьков: НАКУ «ХАИ».– 2010. – №7 (48). – С. 104–108.
7. Volochiy B., Mulyak O., Ozirkovskyi L., Kharchenko V. Automation of quantitative requirements determination to software reliability of safety critical NPP I&C systems // 2016 Second International Symposium on Stochastic Models in Reliability Engineering, Life Science and Operations Management (SMRLO), 2016. – pp. 337-346.
8. Бутенко Ю. И., Семенова Е.Л. Влияние лингвистических особенностей текстов стандартов на информационный поиск // Филологические науки. Научные доклады высшей школы. - 2019. - №6. – С. 29-35. DOI: 10.20339/PhS.6-19.029
9. Loukachevitch, N., and Dobrov, B. RuThes Thesaurus for Natural Language Processing. The Palgrave Handbook of Digital Russia Studies. 2021. pp. 319-334. Palgrave Macmillan, Cham.
10. Manning, C. Understanding human language: Can NLP and deep learning help? Proceedings of the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 1-1. 2016.
11. Tata, S., Potti, N., Wendt, J. B., Costa, L. B., Najork, M., and Gunel, B. Glean: Structured Extractions from Templatic Documents. 2021.
12. Скатов Д. С., Ерехинская Т. Н., Окатьев В. В Модели и методы анализа иерархически структурированных текстов. Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции «Диалог 2009» (Бекасово, 27–31 мая 2009 г.). Вып. 8 (15). М.: РГГУ, 2009. – С. 458-464.
13. Hovorushchenko, T. and Pomorova, O.. Information Technology of Evaluating the Sufficiency of Information on Quality in the Software Requirements Specifications. In ICTERI Workshops, 2018. – pp. 555-570.
14. Липаев В. В. Надежность и функциональная безопасность комплексов программ реального времени: Монография. – М: Институт системного программирования РАН, 2013. – 207 с.
15. Butenko, I. I. Ontology approach to normative profiles forming at critical software certification. AIP Conference Proceedings. Vol. 2171. No. 1. AIP Publishing, 2019.
https://doi.org/10.1063/1.5133236
16. Hovorushchenko, T. and Pavlova, O., 2018, September. Evaluating the software requirements specifications using ontology-based intelligent agent. 2018 IEEE 13th International Scientific and Technical Conference on Computer
Sciences and Information Technologies (CSIT). 2018. - Vol. 1, pp. 215-218. IEEE.
17. Бутенко Ю. И. Модель текста стандарта при информационном поиске в коллекции документов нормативной базы // Вестник компьютерных и информационных технологий. 2020. Т. 17, № 11. С. 23 – 32. DOI: 10.14489/vkit. 2020.11.pp.023-032
18. Wang, Y., Yin, F., Liu, J. and Tosato, M.,. Automatic construction of domain sentiment lexicon for semantic disambiguation. Multimedia Tools and Applications, 2020, #79, pp.22355-22373.
19. Loukachevitch, N., and Dobrov, B. Ontologies for Natural Language Processing: Case of Russian // Third International Conference Computational Linguistics in Bulgaria. 2018. p. 93.
20. Gavrilova T. A., Leshcheva, I. A. "Ontology design and individual cognitive peculiarities: A pilot study." // Expert systems with Applications, 2015. – pp. 3883-3892.
21. Globa L., Kovalskyi M., Stryzhak О. Increasing web services discovery relevancy in the multi-ontological environment // The series "Advances in Intelligent and Soft Computing" (AISC), Springer, 2015. – рр. 335-344.
22. Smirnov A., Levashova T., Shilov N. Patterns for Contextbased Knowledge Fusion in Decision Support // Information Fusion. 2015. Vol. 21. P. 114–129.