Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Automated Reasoning with Goal Tree Models for Software Quality Requirements

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Bo Wei ; Acad. of Math. & Syst. Sci., Beijing, China ; Zhi Jin ; Zowghi, D. ; Bin Yin

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.

Published in:

Computer Software and Applications Conference Workshops (COMPSACW), 2012 IEEE 36th Annual

Date of Conference:

16-20 July 2012