Automated reasoning with goal tree models for software quality requirements | |
Wei, Bo ; Jin, Zhi ; Zowghi, Didar ; Yin, Bin | |
2012 | |
英文摘要 | Implementation of software quality requirements is critical for producing high-quality softwares. High-level quality requirements are usually refined stepwise by different low-level quality requirements, until some potential functional design alternatives are identified. An important question is how design alternatives can be effectively selected to satisfice the quality requirements. This paper focuses on the satisficing statuses of nodes in the quality requirements goal tree models, and presents an automated reasoning technique to select design alternatives. The final satisficing status of quality requirements can be obtained provided that the satisficing statuses of design alternatives are assigned. Existing approaches propose reasoning approaches which do not support efficient identification if many design alternatives and candidate solutions may exist. Our work provides an alternative approach to identify what is the acceptable design decision in a timely manner. A case study is also presented to illustrate our proposed automated reasoning approach. ? 2012 IEEE.; EI; 0 |
语种 | 英语 |
DOI标识 | 10.1109/COMPSACW.2012.73 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/410712] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Wei, Bo,Jin, Zhi,Zowghi, Didar,et al. Automated reasoning with goal tree models for software quality requirements. 2012-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论