北京航空航天大学软件工程研究所
 首页 | 软件所简介 | 人才培养 | 师资队伍 | 科学研究 | 国际合作 | 新闻公告 
   
 研究方向 
 学术活动 
 承担项目 
 
当前位置: 首页>>科学研究>>学术活动>>正文
  学术活动

学术研究进展:Automatically detecting the conflicts between software requirements based on finer semantic analysis

  点击:[]

Automatically detecting the conflicts between software requirements based on finer semantic analysis

Weize Guo, Li Zhang, Xiaoli Lian

Software Engineering Institute, Beihang University, Beijing China

 

Abstract

Context: Conflicts between software requirements bring uncertainties to product development. Some great approaches have been proposed to identify these conflicts. However, they usually require the software requirements represented with specific templates and/or depend on other external source which is often uneasy to build for lots of projects in practice.
Objective: We aim to propose an approach Finer Semantic Analysis-based Requirements Conflict Detector (FSARC) to auto- matically detecting the conflicts between the given natural language functional requirements by analyzing their finer semantic compositions.

Method: Firstly, we build a harmonized semantic meta-model of functional requirements with the form of eight-tuple. Then we propose algorithms to automatically analyze the linguistic features of requirements and to annotate the semantic elements for their semantic model construction. And we define seven types of conflicts as long as their heuristic detecting rules on the ground of their text pattern and semantical dependency. Finally, we design and implement the algorithm for conflicts detection.

Results: The experiment with three different open requirements datasets shows that our semantic analyzing algorithms can correctly identify about 94.93% elements of software requirements in average. And the other experiment with four requirement datasets illustrates that the recall of FSARC is nearly 100% and the average precision is 83.88% on conflicts detection.
Conclusion: We provide a useful tool for detecting the conflicts between natural language functional requirements to improve the quality of the final requirements set. Besides, our approach is capable of transforming the natural language functional requirements into eight semantic tuples, which is useful not only the detection of the conflicts between requirements but also some other tasks such as constructing the association between requirements and so on.

 

Keywords: Software requirement specifications, Requirements conflict, Semantic requirement metamodel, Semantic elements labeling


文献获取链接:https://arxiv.org/abs/2103.02255

 

下一条:学术报告预告:Automated Prototype Generation from Requirements Model

关闭

 

版权所有:北京航空航天大学软件工程研究所             地址:北京市海淀区学院路37号