Построение согласованной модели требований для процесса программной инженерии
Ключевые слова:
программная инженерия, инженерия требований, спецификация требований, непротиворечивость и полнота требований, теория полевой структуры частей речи, онтологияАннотация
В работе описан подход, позволяющий сформировать согласованную модель типов требований для конкретного проекта по разработке программ. Использование такой модели призвано разрешить противоречия, вызванные разным пониманием определения «требование к программе», а также скоординировать различные модели типов требований, лежащие в основе отдельных видов документов-спецификаций и методологий работы с ними. Для построения согласованной модели исследованы наиболее часто используемые виды документов-спецификаций и модели требований, лежащие в их основе. В качестве базиса для построения классификации типов требований использована теория полевой структуры частей речи. Сформулировано определение «тип требования». Для этого выделен ряд критериев, пригодных для оценки отдельных экземпляров требований на их принадлежность к типам и полям требований. Такой подход позволяет на основании набора признаков экземпляра требования отнести его к определенному типу, а затем рекомендовать включить в структуру спецификации типы требований, необходимые для обеспечения качества спецификации.Литература
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.
Опубликован
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).
