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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论