Measuring inconsistency in requirements specifications

	Measuring inconsistency in requirements specifications
	Mu, KD ; Jin, Z ; Lu, RQ ; Liu, WR
	2005
发表期刊	SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS
ISSN	0302-9743
卷号	3571 页码:440-451
摘要	In the field of requirements engineering, measuring inconsistency is crucial to effective inconsistency management. A practical measure must consider both the degree and significance of inconsistency in specification. The main contribution of this paper is providing an approach for measuring inconsistent specification in terms of the priority-based scoring vector, which integrates the measure of the degree of inconsistency with the measure of the significance of inconsistency. In detail, for each specification Delta that consists of a set of requirements statements, if L is a m-level priority set, we define a m-dimensional priority-based significance vector (V) over right arrow to measure the significance of the inconsistency in Delta.. Furthermore, a priority-based scoring vector (S) over right arrow (P): -> P(Delta) -> Nm+1 has been defined to provide an ordering relation over specifications that describes which specification is "more essentially inconsistent than" others.
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000230770500038
出版者	SPRINGER-VERLAG BERLIN
引用统计	被引频次：30[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/9952
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Mu, KD
作者单位	1.Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China 2.Chinese Acad Sci, MADIS, Acad Math & Syst Sci, Beijing 100080, Peoples R China 3.Queens Univ Belfast, Sch Comp Sci, Belfast BT7 1NN, Antrim, North Ireland
推荐引用方式 GB/T 7714	Mu, KD,Jin, Z,Lu, RQ,et al. Measuring inconsistency in requirements specifications[J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS,2005,3571:440-451.
APA	Mu, KD,Jin, Z,Lu, RQ,&Liu, WR.(2005).Measuring inconsistency in requirements specifications.SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS,3571,440-451.
MLA	Mu, KD,et al."Measuring inconsistency in requirements specifications".SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS 3571(2005):440-451.