An Automatic Generation and Verification Method of Software Requirements Specification

被引:2
|
作者
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 条
  • [1] An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results
    Tsoukalas, Dimitrios
    Siavvas, Miltiadis
    Mathioudaki, Maria
    Kehagias, Dionysios
    [J]. 2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 83 - 91
  • [2] Automatic generation of formal specification from requirements definition
    Jin, LZ
    Zhu, H
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
  • [3] A method of software requirements specification and validation for global software development
    Naveed Ali
    Richard Lai
    [J]. Requirements Engineering, 2017, 22 : 191 - 214
  • [4] A method of software requirements specification and validation for global software development
    Ali, Naveed
    Lai, Richard
    [J]. REQUIREMENTS ENGINEERING, 2017, 22 (02) : 191 - 214
  • [5] A formal requirements engineering method for specification, synthesis, and verification
    vonderBeeck, M
    Margaria, T
    Steffen, B
    [J]. 8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 131 - 144
  • [6] A Verification Method of Elicited Software Requirements using Requirements Ontology
    Dang Viet Dzung
    Ohnishi, Atsushi
    [J]. 2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 553 - 558
  • [7] Automatic transition of natural language software requirements specification into formal presentation
    Ilieva, MG
    Ormandjieva, O
    [J]. NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3513 : 392 - 397
  • [8] Automatic generation of assumptions for modular verification of software specifications
    de la Riva, Claudio
    Tuya, Javier
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (09) : 1324 - 1340
  • [9] Software specification, verification and validation
    Shyamasundar, RK
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 123 - 123
  • [10] SPECIFICATION AND VERIFICATION OF SWITCHING SOFTWARE
    KAJIWARA, M
    ICHIKAWA, H
    ITOH, M
    YOSHIDA, Y
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1985, 33 (03) : 193 - 198