Розроблення інтелектуального агента для аналізу нефункційних характеристик у специфікаціях вимог до програмного забезпечення
DOI:
https://doi.org/10.15587/1729-4061.2019.154074Ключові слова:
специфікація вимог до програмного забезпечення (ПЗ), нефункційні характеристики ПЗ, інтелектуальний агент на основі онтологічного підходуАнотація
Сьогодні актуальною задачею є автоматизований аналіз специфікацій вимог до програмного забезпечення (ПЗ) на предмет достатності інформації щодо нефункційних характеристик-складових якості ПЗ. Проведений аналіз відомих інтелектуальних агентів на основі онтологічного підходу показав, що відомі агенти не розв’язують задачу кількісного оцінювання достатності інформації у специфікації вимог до ПЗ для визначення нефункційних характеристик ПЗ.
Задачею даного дослідження є реалізація інтелектуального агента на основі онтологічного підходу для аналізу інформації щодо нефункційних характеристик у специфікаціях вимог до ПЗ.
Розроблено модель діяльності інтелектуального агента на основі онтологічного підходу для оцінювання специфікацій вимог до ПЗ. Вона відображає особливості оцінювання достатності інформації для визначення нефункційних характеристик-складових якості ПЗ. Розроблена модель є теоретичним підґрунтям для реалізації інтелектуального агента на основі онтологічного підходу для оцінювання специфікацій вимог до ПЗ.
Реалізовано інтелектуальний агент на основі онтологічного підходу для оцінювання інформації щодо нефункційних характеристик у специфікаціях вимог до ПЗ. Реалізований агент формує висновок про достатність або недостатність інформації щодо нефункційних характеристик-складових якості ПЗ у специфікації вимог до реального ПЗ. Крім цього, він кількісно оцінює рівень достатності інформації у специфікації вимог до реального ПЗ для визначення кожної нефункційної характеристики ПЗ та для визначення всіх нефункційних характеристик-складових якості ПЗ разом. Агентом надається список атрибутів, якими варто доповнити специфікацію вимог для підвищення рівня достатності її інформації, а також візуалізація прогалин у знаннях про всі нефункційні характеристики-складові якості ПЗ.
Результати функціонування реалізованого агента в комплексі забезпечують підвищення рівня достатності інформації у специфікації вимог до ПЗ. Розроблений інтелектуальний агент дозволяє частково усунути людину з процесів опрацювання інформації, уникнути втрат істотної інформації і мінімізувати виникнення помилок на ранніх етапах життєвого циклу ПЗПосилання
- Hastie, S., Wojewoda, S. Standish Group 2015 Chaos Report – Q&A with Jennifer Lynch. Available at: http://www.infoq.com/articles/standish-chaos-2015
- McConnell, S. (2013). Code complete. Redmond, 896.
- Levenson, N. G. (2012). Engineering a safer world: systems thinking applied to safety. Cambridge, 560.
- Cruickshank, K. J. (2009). A validation metrics framework for safety-critical software-intensive systems. Monterey, 144.
- Hovorushchenko, T., Pomorova, O. (2018). Information technology of evaluating the sufficiency of information on quality in the software requirements specifications. CEUR-WS, 2104, 555–570. Available at: http://ceur-ws.org/Vol-2104/paper_228.pdf
- ISO/IEC 25010:2011. Systems and Software Engineering. Systems and Software Quality Requirements and Evaluation (SQuaRE). System and Software Quality Models (2011). Geneva, 34.
- Gruber, T. R. (1993). A translation approach to portable ontology specifications. Knowledge Acquisition, 5 (2), 199–220. doi: https://doi.org/10.1006/knac.1993.1008
- Burov, E. (2014). Complex ontology management using task models. International Journal of Knowledge-Based and Intelligent Engineering Systems, 18 (2), 111–120. doi: https://doi.org/10.3233/KES-140291
- Burov, E., Pasitchnyk, V., Gritsyk, V. (2014). Modeling software testing processes with task ontologies. British Journal of Education and Science, 2 (6), 256–263.
- Assawamekin, N., Sunetnanta, T., Pluempitiwiriyawej, C. (2009). Ontology-based multiperspective requirements traceability framework. Knowledge and Information Systems, 25 (3), 493–522. doi: https://doi.org/10.1007/s10115-009-0259-2
- Kof, L., Gacitua, R., Rouncefield, M., Sawyer, P. (2010). Ontology and Model Alignment as a Means for Requirements Validation. 2010 IEEE Fourth International Conference on Semantic Computing. doi: https://doi.org/10.1109/icsc.2010.95
- Bajnaid, N. O., Benlamri, R., Pakstas, A., Salekzamankhani, Sh. (2016). An ontological approach to model software quality assurance knowledge domain. Lecture Notes on Software Engineering, 4 (3), 193–198.
- Hovorushchenko, T., Pomorova, O. (2016). Ontological approach to the assessment of information sufficiency for software quality determination. CEUR-WS, 1614, 332–348.
- Wooldridge, M., Jennings, N. R. (1995). Intelligent agents: theory and practice. The Knowledge Engineering Review, 10 (2), 115–152. doi: https://doi.org/10.1017/s0269888900008122
- Freitas, A., Bordini, R. H., Vieira, R. (2017). Model-driven engineering of multi-agent systems based on ontologies. Applied Ontology, 12 (2), 157–188. doi: https://doi.org/10.3233/ao-170182
- Ossowska, K., Szewc, L., Weichbroth, P., Garnik, I., Sikorski, M. (2016). Exploring an Ontological Approach for User Requirements Elicitation in the Design of Online Virtual Agents. Lecture Notes in Business Information Processing, 40–55. doi: https://doi.org/10.1007/978-3-319-46642-2_3
- Lezcano-Rodriguez, L. A., Guzman-Luna, J. A. (2016). Ontological characterization of basics of KAOS chart from natural language. ITECKNE, 13 (2), 157–168. doi: https://doi.org/10.15332/iteckne.v13i2.1482
- García-Magariño, I., Gómez-Sanz, J. J. (2013). An Ontological and Agent-Oriented Modeling Approach for the Specification of Intelligent Ambient Assisted Living Systems for Parkinson Patients. Lecture Notes in Computer Science, 11–20. doi: https://doi.org/10.1007/978-3-642-40846-5_2
- Rakib, A., Faruqui, R. U. (2013). A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 86–96. doi: https://doi.org/10.1007/978-3-642-36642-0_9
- Michalowski, W., O’Sullivan, D., Farion, K., Sayyad-Shirabad, J., Kuziemsky, C., Kukawka, B., Wilk, S. (2013). A Task-based Support Architecture for Developing Point-of-care Clinical Decision Support Systems for the Emergency Department. Methods of Information in Medicine, 52 (01), 18–32. doi: https://doi.org/10.3414/me11-01-0099
- Michael, J. B., Man-Tak Shing, Cruickshank, K. J., Redmond, P. J. (2010). Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety. IEEE Systems Journal, 4 (2), 186–197. doi: https://doi.org/10.1109/jsyst.2010.2050159
- Baker, R., Habli, I. (2013). An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software. IEEE Transactions on Software Engineering, 39 (6), 787–805. doi: https://doi.org/10.1109/tse.2012.56
- ISO 25023:2016. Systems and Software Engineering. Systems and Software Quality Requirements and Evaluation (SQuaRE). Measurement of System and Software Product Quality (2016). Geneva, 45.
- Hovorushchenko, T., Pavlova, O. (2019). Method of Activity of Ontology-Based Intelligent Agent for Evaluating Initial Stages of the Software Lifecycle. Recent Developments in Data Science and Intelligent Analysis of Information, 169–178. doi: https://doi.org/10.1007/978-3-319-97885-7_17
- ISO/IEC/IEEE 29148:2011. Systems and Software Engineering. Life Cycle Processes. Requirements Engineering (2011). Geneva, 28.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2019 Tetiana Hovorushchenko, Olga Pavlova, Mykyta Bodnar
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.
Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.