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

by   Weize Guo, et al.

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 automatically detecting the conflicts between the given natural language functional requirements by analyzing their finer semantic compositions. Method: 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 four requirement datasets illustrates that the recall of FSARC is nearly 100 and the average precision is 83.88 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.



There are no comments yet.


page 1

page 2

page 3

page 4


Modeling the Realization and Execution of Functions and Functional Requirements

Requirements engineering plays a critical role in developing software sy...

Why just FRET when you can Refactor? Retuning FRETISH Requirements

Formal verification of a software system relies on formalising the requi...

On Systematically Building a Controlled Natural Language for Functional Requirements

[Context] Natural language (NL) is pervasive in software requirements sp...

RCM: Requirement Capturing Model for Automated Requirements Formalisation

Most existing automated requirements formalisation techniques require sy...

Analysis of Requirements for the Design of a Detector Control System in a High Energy Physics (HEP) Experiment

In this work the use of the Rational Unified Process (RUP) to model the ...

Intelligent requirements engineering from natural language and their chaining toward CAD models

This paper assumes that design language plays an important role in how d...

Leveraging Historical Associations between Requirements and Source Code to Identify Impacted Classes

As new requirements are introduced and implemented in a software system,...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.