QQ客服 官方微博 反馈留言

	An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints
	Yan, Hua ; Zhang, Wei ; Zhao, Haiyan ; Mei, Hong
	2009
关键词	Feature model Verification Problem size Reduction
英文摘要	Feature models provide an effective approach to requirements reuse. One important problem related to feature models is the verification problem, which is NP-complete in theory. The existing approaches to feature models' verification mostly focus on how to automate the verification of feature models using third-party's tools, while these tools are usually designed to resolve general kinds of problems. However, by simply using these third-party's tools, large-sized feature models still can hardly be verified within acceptable time. We argue that, to improve the efficiency of verification, the problem itself should be at first optimized. In this paper, we propose an optimization strategy to feature models' verification, in which, verification-irrelevant features and constraints are eliminated from feature models and the problem size of verification is therefore reduced. We prove the correctness of this strategy, while experiments show the effectiveness of this strategy.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000278805800007&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Software Engineering; Computer Science, Theory & Methods; EI; CPCI-S(ISTP); 5
语种	英语
DOI标识	10.1007/978-3-642-04211-9_7
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/293233]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Yan, Hua,Zhang, Wei,Zhao, Haiyan,et al. An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. 2009-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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