Построение согласованной модели требований для процесса программной инженерии
Ключевые слова:
программная инженерия, инженерия требований, спецификация требований, непротиворечивость и полнота требований, теория полевой структуры частей речи, онтологияАннотация
В работе описан подход, позволяющий сформировать согласованную модель типов требований для конкретного проекта по разработке программ. Использование такой модели призвано разрешить противоречия, вызванные разным пониманием определения «требование к программе», а также скоординировать различные модели типов требований, лежащие в основе отдельных видов документов-спецификаций и методологий работы с ними. Для построения согласованной модели исследованы наиболее часто используемые виды документов-спецификаций и модели требований, лежащие в их основе. В качестве базиса для построения классификации типов требований использована теория полевой структуры частей речи. Сформулировано определение «тип требования». Для этого выделен ряд критериев, пригодных для оценки отдельных экземпляров требований на их принадлежность к типам и полям требований. Такой подход позволяет на основании набора признаков экземпляра требования отнести его к определенному типу, а затем рекомендовать включить в структуру спецификации типы требований, необходимые для обеспечения качества спецификации.Литература
1. Brooks F. No Silver Bullet: Essence and Accidents of Software Engineering // Computer. 1987. vol. 4. pp. 10–19.
2. Wiegers K., Beatty J. Software requirements // Microsoft Press. 2014. 637 p.
3. Roman G.-C. A Taxonomy of Current Issues in Requirements Engineering // IEEE Computer. 1985. pp. 14–21.
4. Armin E., Li J. Requirements Engineering: Technique Selection // In Encyclopedia of Software Engineering. 2011. pp. 962–978.
5. IEEE STD 610.12-1990. Standard Glossary of Software Engineering Terminology // NEW York: IEEE. 1990.
6. Кулямин В.В. и др. Формализация требований на практике // М.: ИСП РАН. 2006. 50 с.
7. IEEE Standard 830-1998. IEEE Recommended Practice for Software Requirements Specifications // NEW York: IEEE. 1998.
8. Leffingwell D., Widrig, D. Managing Software Requirements - A Unified Approach // Addison-Wesley. 2000. 528 p.
9. Авдеенко Т. В., Бакаев М.А. Гибридная модель представления знаний для реализации вывода во фреймовой онтологии // Научный вестник Новосибирского государственного технического университета. 2013. № 3. С. 84–90 .
10. Avdeenko T.V., Pustovalova N.V., Klavsuts I.L. The Ontology-Based Approach to Support the Requirements Engineering Process // In Proceedings of the 10 International Forum on Strategic Technology (IFOST-2015). Indonesia. 2015. pp. 70.
11. ГОСТ 19.201-78. Единая система программной документации. Техническое задание. Требования к содержанию и оформлению // M.: СТАНДАРТИНФОРМ. 2005.
12. ГОСТ 34.602-89. Информационная технология. Комплекс стандартов на автоматизированные системы. Техническое задание на создание автоматизированной системы // М.: ИПК ИЗДАТЕЛЬСТВО СТАНДАРТОВ. 2004.
13. Орлик C. Основы Программной Инженерии (по SWEBOK). URL: http://swebok.sorlik.ru/1_software_requirements.html. (дата обращения: 28.01.2014).
14. Cockburn A. Writing Effective Use Cases // Addison-Wesley. 2001. 304 p.
15. Терпак М.А. Фреймовая модель как способ структурирования и анализа концептов. URL: http://vestnik-samgu.samsu.ru/gum/2006web51/yaz/2006510505.pdf. (дата обращения: 28.01.2014).
16. Бондаренко А.В. Проблемы функциональной грамматики. Полевые структуры // Спб.: Наука. 2005. 480 с.
17. Булуй Ю.И. Классификация типов требований к программному обеспечению и ее представление в стандартах и методологиях. URL: http://www.uml2.ru/index.php?option=com_remository&Itemid=28&func=fileinfo&id=135 (дата обращения: 28.01.2014).
18. Noy N.F., McGuinness D.L. Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880. URL: http://protege.stanford.edu/publications/ontology_development/ontology101.html (дата обращения: 28.01.2014).
19. Найханова Л.В. Основные типы семантических отношений между терминами предметной области // Известия высших учебных заведений. Поволжский регион. Технические науки. Пенза. 2008. № 1. С. 62–71.
20. Кортиков Ф.С. Семантическое описание электронного документа с использованием онтологии предметной области // Труды СПИИРАН. 2013. № 8(31). С. 218–222.
21. Шалфеева Е.А. Возможности использования онтологий при разработке и сопровождении программных систем // ИАПУ ДВО РАН. Владивосток. 2011. 16 c.
22. Шалфеева Е. А. Модель связи структурных свойств онтологии со структурой модели требований системы, основанной на редактируемых знаниях // Искусств. интеллект. Донецк. 2009. № 4. С. 472–481.
23. Zowghi D., Gervasi V. The Three Cs of Requirements: Consistency, Completeness, and Correctness // In Proceedings of 8th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'02). 2002. pp. 155–164.
2. Wiegers K., Beatty J. Software requirements // Microsoft Press. 2014. 637 p.
3. Roman G.-C. A Taxonomy of Current Issues in Requirements Engineering // IEEE Computer. 1985. pp. 14–21.
4. Armin E., Li J. Requirements Engineering: Technique Selection // In Encyclopedia of Software Engineering. 2011. pp. 962–978.
5. IEEE STD 610.12-1990. Standard Glossary of Software Engineering Terminology // NEW York: IEEE. 1990.
6. Кулямин В.В. и др. Формализация требований на практике // М.: ИСП РАН. 2006. 50 с.
7. IEEE Standard 830-1998. IEEE Recommended Practice for Software Requirements Specifications // NEW York: IEEE. 1998.
8. Leffingwell D., Widrig, D. Managing Software Requirements - A Unified Approach // Addison-Wesley. 2000. 528 p.
9. Авдеенко Т. В., Бакаев М.А. Гибридная модель представления знаний для реализации вывода во фреймовой онтологии // Научный вестник Новосибирского государственного технического университета. 2013. № 3. С. 84–90 .
10. Avdeenko T.V., Pustovalova N.V., Klavsuts I.L. The Ontology-Based Approach to Support the Requirements Engineering Process // In Proceedings of the 10 International Forum on Strategic Technology (IFOST-2015). Indonesia. 2015. pp. 70.
11. ГОСТ 19.201-78. Единая система программной документации. Техническое задание. Требования к содержанию и оформлению // M.: СТАНДАРТИНФОРМ. 2005.
12. ГОСТ 34.602-89. Информационная технология. Комплекс стандартов на автоматизированные системы. Техническое задание на создание автоматизированной системы // М.: ИПК ИЗДАТЕЛЬСТВО СТАНДАРТОВ. 2004.
13. Орлик C. Основы Программной Инженерии (по SWEBOK). URL: http://swebok.sorlik.ru/1_software_requirements.html. (дата обращения: 28.01.2014).
14. Cockburn A. Writing Effective Use Cases // Addison-Wesley. 2001. 304 p.
15. Терпак М.А. Фреймовая модель как способ структурирования и анализа концептов. URL: http://vestnik-samgu.samsu.ru/gum/2006web51/yaz/2006510505.pdf. (дата обращения: 28.01.2014).
16. Бондаренко А.В. Проблемы функциональной грамматики. Полевые структуры // Спб.: Наука. 2005. 480 с.
17. Булуй Ю.И. Классификация типов требований к программному обеспечению и ее представление в стандартах и методологиях. URL: http://www.uml2.ru/index.php?option=com_remository&Itemid=28&func=fileinfo&id=135 (дата обращения: 28.01.2014).
18. Noy N.F., McGuinness D.L. Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880. URL: http://protege.stanford.edu/publications/ontology_development/ontology101.html (дата обращения: 28.01.2014).
19. Найханова Л.В. Основные типы семантических отношений между терминами предметной области // Известия высших учебных заведений. Поволжский регион. Технические науки. Пенза. 2008. № 1. С. 62–71.
20. Кортиков Ф.С. Семантическое описание электронного документа с использованием онтологии предметной области // Труды СПИИРАН. 2013. № 8(31). С. 218–222.
21. Шалфеева Е.А. Возможности использования онтологий при разработке и сопровождении программных систем // ИАПУ ДВО РАН. Владивосток. 2011. 16 c.
22. Шалфеева Е. А. Модель связи структурных свойств онтологии со структурой модели требований системы, основанной на редактируемых знаниях // Искусств. интеллект. Донецк. 2009. № 4. С. 472–481.
23. Zowghi D., Gervasi V. The Three Cs of Requirements: Consistency, Completeness, and Correctness // In Proceedings of 8th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'02). 2002. pp. 155–164.
Building a Harmonized Model of Requirements for Software Development Process
Abstract
The paper describes an approach to form a harmonized model of requirements for a specific software development project. Such a model is intended to resolve the contradictions caused by different understanding of the "program requirements" definition, as well as to coordinate the various models of requirements types that underlie certain types of documents, specifications and methodologies of requirements engineering. The most commonly used examples of requirements specifications were analyzed. We propose the theory of the field structure of parts of speech as a basis for requirement type classification and give a special definition for "requirements types." In addition, we propose a set of criteria for identification of types and fields of requirements. Based on a set of criteria for a requirement instance, this approach al-lows one to identify the requirements type and then recommend adding desired types to the requirements specification.
Опубликован
2016-02-15
Как цитировать
Пустовалова, Н. В., & Авдеенко, Т. В. (2016). Построение согласованной модели требований для процесса программной инженерии. Труды СПИИРАН, 1(44), 31-49. https://doi.org/10.15622/sp.44.3
Раздел
Алгоритмы и программные средства
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
