An Automatic Generation and Verification Method of Software Requirements Specification

被引:3
作者
Wei, Xiaoyang [1 ]
Wang, Zhengdi [1 ]
Yang, Shuangyuan [1 ]
机构
[1] Xiamen Univ, Sch Informat, Xiamen 361005, Peoples R China
关键词
requirements specification; UML diagram; S; U; C matrix; knowledge graph;
D O I
10.3390/electronics12122734
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The generation of standardized requirements specification documents plays a crucial role in software processes. However, the manual composition of software requirements specifications is a laborious and time-consuming task, often leading to errors that deviate from the actual requirements. To address this issue, this paper proposes an automated method for generating requirements specifications utilizing a knowledge graph and graphviz. Furthermore, in order to overcome the limitations of the existing automated requirement generation process, such as inadequate emphasis on data information and evaluation, we enhance the traditional U/C matrix by introducing an S/U/C matrix. This novel matrix represents the outcomes of data/function systematic analysis, and verification is facilitated through the design of inspection rules. Experimental results demonstrate that the requirements specifications generated using this method achieve standardization and adherence to regulations, while the devised S/U/C inspection rules facilitate the updating and iteration of the requirements specifications.
引用
收藏
页数:17
相关论文
共 50 条
[31]   DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups [J].
Gianna Reggio ;
Maurizio Leotta ;
Filippo Ricca ;
Diego Clerissi .
Journal of Computer Science and Technology, 2018, 33 :918-939
[32]   DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups [J].
Reggio, Gianna ;
Leotta, Maurizio ;
Ricca, Filippo ;
Clerissi, Diego .
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2018, 33 (05) :918-939
[33]   Automatic Code Semantic Tag Generation Approach Based on Software Knowledge Graph [J].
Xing S.-S. ;
Liu M.-W. ;
Peng X. .
Ruan Jian Xue Bao/Journal of Software, 2022, 33 (11) :4027-4045
[34]   Specification of Incremental Requirements Upstream of System Design [J].
Damouche, Nasrine .
2022 6TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY, ICSRS, 2022, :212-216
[35]   Introducing AccessOnto: Ontology for Accessibility Requirements Specification [J].
Masuwa-Morga, Kristina Rungano .
ONTORACT 2008: FIRST INTERNATIONAL WORKSHOP ON ONTOLOGIES IN INTERACTIVE SYSTEMS, PROCEEDINGS, 2008, :33-38
[36]   Effect-oriented Requirements Elicitation and Specification [J].
Ronneberger, Torsten ;
Uenalan, Oezguer ;
Eisenbarth, Michael ;
Hess, Anne .
2013 IEEE INTELLIGENT VEHICLES SYMPOSIUM WORKSHOPS (IV WORKSHOPS), 2013, :49-56
[37]   Problems and deficiencies of UML as a requirements specification language [J].
Glinz, M .
TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 2000, :11-22
[38]   Variability Aspects at a Textual Requirements Specification Level [J].
da Silva, Alberto Rodrigues ;
Fernandes, Joao ;
Azevedo, Sofia .
2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2017, :240-247
[39]   Domain Modeling Based on Requirements Specification and Ontology [J].
Dubielewicz, Iwona ;
Hnatkowska, Bogumila ;
Huzar, Zbigniew ;
Tuzinkiewicz, Lech .
SOFTWARE ENGINEERING: CHALLENGES AND SOLUTIONS, 2017, 504
[40]   Proposal of a Method to Navigate Interview-driven Software Requirements Elicitation Work [J].
Yamanaka, Takatoshi ;
Noguchi, Hajime ;
Yato, Shimon ;
Komiya, Seiichi .
RECENT ADVANCES AND APPLICATIONS OF COMPUTER ENGINEERING: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE (ACE 10), 2010, :125-+