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 条
[41]   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-+
[42]   Cardion.spec: An Approach to Improve the Requirements Specification Written in the Natural Language Through the Formal Method [J].
Ito, Masao .
SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, EUROSPI 2016, 2016, 633 :58-69
[43]   User’s manual as a requirements specification: case studies [J].
D. M. Berry ;
K. Daudjee ;
J. Dong ;
I. Fainchtein ;
M. A. Nelson ;
T. Nelson ;
L. Ou .
Requirements Engineering, 2004, 9 :67-82
[44]   User's manual as a requirements specification: case studies [J].
Berry, DM ;
Daudjee, K ;
Dong, J ;
Fainchtein, I ;
Nelson, MA ;
Nelson, T ;
Ou, L .
REQUIREMENTS ENGINEERING, 2004, 9 (01) :67-82
[45]   Requirements specification and analysis of digital systems using FARHDL [J].
Shen, VRL ;
Kuo, FH ;
Lai, FP .
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (03) :317-328
[46]   Model based requirements specification and validation for component architectures [J].
Cardei, Ionut ;
Fonoage, Mihai ;
Shankar, Ravi .
2008 2ND ANNUAL IEEE SYSTEMS CONFERENCE, 2008, :179-186
[47]   The public procurement of information systems: dialectics in requirements specification [J].
Moe, Carl Erik ;
Newman, Mike ;
Sein, Maung Kyaw .
EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 2017, 26 (02) :143-163
[48]   Flow-Based Specification of Time Design Requirements [J].
Al-Fedaghi, Sabah .
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2015, 6 (08) :27-37
[49]   Practical experience with viewpoint-oriented requirements specification [J].
Kotonya G. .
Requirements Engineering, 1999, 4 (3) :115-133
[50]   Identified adjustability dimensions when generating a product specific requirements specification by requirements reuse [J].
Hauksdottir, Dagny ;
Mortensen, Niels Henrik ;
Nielsen, Poul Erik .
COMPUTERS IN INDUSTRY, 2014, 65 (06) :952-966