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 条
[21]   The role of groupware in requirements specification [J].
Davison, R .
GROUP DECISION AND NEGOTIATION, 2000, 9 (02) :149-160
[22]   The Role of Groupware in Requirements Specification [J].
Robert Davison .
Group Decision and Negotiation, 2000, 9 :149-160
[23]   A review of the generation of requirements specification in natural language using objects UML models and domain ontology [J].
Abdalazeim, Alaa ;
Meziane, Farid .
AI IN COMPUTATIONAL LINGUISTICS, 2021, 189 :328-334
[24]   On the specification of complex software systems [J].
Moxley, FI .
SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, :134-138
[25]   An Evaluation of Requirements Specification Capability Index [J].
Yamamoto, Shuichiro .
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS, 2017, 112 :998-1006
[26]   On the use of visualization in formal requirements specification [J].
Dulac, N ;
Viguier, T ;
Leveson, N ;
Storey, MA .
IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2002, :71-80
[27]   Problem of Incompleteness in Textual Requirements Specification [J].
Senkyr, David ;
Kroha, Petr .
ICSOFT: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2019, :323-330
[28]   Knowledge Identification from Requirements Specification [J].
Barra, Eduardo ;
Morato, Jorge .
LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, 2015, 563 :264-270
[29]   Development of Requirements Specification for Steganographic Systems [J].
Gribermans, Davids ;
Jersovs, Andrejs ;
Rusakovs, Pavels .
APPLIED COMPUTER SYSTEMS, 2016, 20 (01) :40-48
[30]   Adding Quality in the User Requirements Specification [J].
Guerra-Garcia, Cesar ;
Caballero, Ismael ;
Cardenas-Juarez, Marco ;
Samano-Robles, Ramiro .
2016 ELEVENTH INTERNATIONAL CONFERENCE ON DIGITAL INFORMATION MANAGEMENT (ICDIM 2016), 2016, :79-84