QQ客服 官方微博 反馈留言

	Verifying Software Requirements Based on Answer Set Programming
	Mu, Kedian ; Zhang, Qi ; Jin, Zhi
	2009
关键词	INCONSISTENCY
英文摘要	It is widely recognized that most software project failures result from problems about software requirements. Early verification of requirements can facilitate many problems associated with the software developments. The requirements testing is useful to clarify problematical information during the requirements stage. However, for any complex and sizeable system, the development of requirements typically involves different stakeholders with different concerns. Then the requirements specifications are increasingly developed in a distributed fashion. This makes requirements testing rather difficult. The main contribution of this paper is to present an answer set programming-based logical approach to testing requirements specifications. Informally, for an individual requirements test case, we consider the computation of the output of the system-to-be in requirements testing as a problem of answer set programming. In particular, the expected responses of the requirements test case is viewed as an intended solution to this problem. Based on the requirements and the input of the requirements test case, we design a logic program whose answer sets correspond to solutions of the problem. Then the testing is performed by an answer set solver. Finally, we identify the disagreement between the answer sets and the intended solution to detect the defects in software requirements.; Computer Science, Artificial Intelligence; Computer Science, Information Systems; EI; CPCI-S(ISTP); 1
语种	英语
出处	SCI ; EI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/315407]
专题	数学科学学院
推荐引用方式 GB/T 7714	Mu, Kedian,Zhang, Qi,Jin, Zhi. Verifying Software Requirements Based on Answer Set Programming. 2009-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。