A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements

A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements

Kedian Mu (Peking University, China), Weiru Liu (Queen’s University Belfast, UK) and Zhi Jin (Peking University, China)
Copyright: © 2012 |Pages: 17
DOI: 10.4018/jkss.2012010101
OnDemand PDF Download:
No Current Special Offers


Inconsistency has been considered one of the main classes of defects in software requirements specification. Various logic-based techniques have been proposed to manage inconsistencies in requirements engineering. However, identifying an appropriate proposal for resolving inconsistencies in software requirements is still a challenging problem. This paper proposes a logic-based approach to generating appropriate proposals for handling inconsistency in software requirements. Informally speaking, given an inconsistent requirements specification, the authors identify which requirements should be given priority to be changed for resolving the inconsistency in that specification, by balancing the blame of each requirement for the inconsistency against its value for that requirements specification. The authors follow the viewpoint that minimal inconsistent subsets of a set of formulas are the purest forms of inconsistencies in that set. According to this viewpoint, a potential proposal for resolving inconsistencies can be described by a possible combination of some requirements to be changed that can eliminate minimal inconsistent subsets. Then a method is proposed of evaluating the degree of disputability of each requirement involved in the inconsistency in a requirements specification. Finally, an algorithm is provided of generating appropriate proposals for resolving the inconsistency in a given requirements specification based on the degree of disputability of requirements.
Article Preview

1. Introduction

It has been increasingly recognized that inconsistency is inevitable during the requirements process (Easterbrook & Chechik, 2001a; Nuseibeh et al., 2001). Both general principles of managing inconsistency and special case-based approaches to handling inconsistency have recently been considered. In particular, it has been pointed out in Gervasi and Zowghi (2005) that the use of logic in managing inconsistency in requirements has been found to be effective in a number of studies. Various logic-based techniques have been proposed to manage inconsistencies in requirements engineering (Hunter & Nuseibeh, 1998; Gervasi & Zowghi, 2005; Martinez et al., 2008; Zowghi & Gervasi, 2003; Mu et al., 2005a, 2008, 2009). Most of these logic-based approaches focus on how to manage inconsistency by applying logical techniques such as paraconsistent reasoning and non-monotonic reasoning to requirements engineering. For example, Hunter and Nuseibeh (1998) developed the labeled quasi-classic logic to represent and reason about requirements specifications in the presence of inconsistency. Gervasi and Zowghi (2005) proposed methods for reasoning about inconsistencies in natural language requirements by combining natural language parsing techniques and non-monotonic reasoning. Easterbrook and Chechik (2001b) presented a framework termed χbel for merging inconsistent viewpoints using multi-valued logics. This framework was intended to highlight the source of inconsistency and to tolerate inconsistencies between viewpoints during model checking.

In contrast, there are relatively few logic-based techniques for generating appropriate proposals for inconsistency resolving actions in requirements engineering (Finkelstein et al., 1994; Gabbay & Hunter, 1993; Mu & Jin, 2007; Mu et al., 2008, 2009). Previously, we have argued that the relative priority of each requirement should play an important role in identifying appropriate proposals for resolving inconsistencies in requirement specifications (Mu & Jin, 2007; Mu et al., 2008, 2009), moreover, negotiation and combinatorial vote may be considered as two appropriate mechanisms of group decision making for identifying acceptable common proposals for handling inconsistent requirements specification (Mu et al., 2008, 2009). However, identifying appropriate actions for resolving inconsistency in requirements specification is still a challenging problem (Hunter & Nuseibeh, 1998). Generally, the choice of inconsistency handling actions is a rather context-sensitive issue (Finkelstein et al., 1994; Gabbay & Hunter, 1993). So, as pointed out in Mu et al. (2008), a feasible proposal for inconsistency resolving should focus on pointing out which requirements to be changed rather than how to change these requirements.

Complete Article List

Search this Journal:
Volume 13: 4 Issues (2022): 2 Released, 2 Forthcoming
Volume 12: 4 Issues (2021)
Volume 11: 4 Issues (2020)
Volume 10: 4 Issues (2019)
Volume 9: 4 Issues (2018)
Volume 8: 4 Issues (2017)
Volume 7: 4 Issues (2016)
Volume 6: 4 Issues (2015)
Volume 5: 4 Issues (2014)
Volume 4: 4 Issues (2013)
Volume 3: 4 Issues (2012)
Volume 2: 4 Issues (2011)
Volume 1: 4 Issues (2010)
View Complete Journal Contents Listing