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 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% 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.

Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies

A QoS Ontology Cooperated with Feature Models for Non-Functional Requirements Elicitation.

An Automatic Reasoning Mechanism for NFR Goal Models

An ontology-based functional modeling approach for multi-agent distributed design on the semantic web

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

Non-functional Requirements As Qualities, with a Spice of Ontology.

rΣ: Automated reasoning tool for non-functional requirement goal models

Requirement Driven Approach for Building Semantic Model

A Semantic Mapping System for Bridging the Gap between Relational Database and Semantic Web

An automated tool for semantic accessing to formal software models.

Similarity-based Reasoning with Quality Goals

B-FES/o: an ontology-based scheme for functional modeling in design for semantic Web applications

Semantic SOA Framework Orient to Aviation Repair

Semantic-based requirements analysis and verification

A Formalism for Extending the NFR Framework to Support the Composition of the Goal Trees

Automated Reasoning with Goal Tree Models for Software Quality Requirements

A Non-Functional Requirements Tradeoff Model in Trustworthy Software

Ontology-Based inconsistency management of software requirements specifications

Detecting of Requirements Inconsistency: an Ontology-Based Approach

Putting Software Requirements under the Microscope: Automated Extraction of Their Semantic Elements

An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns