微信服务号

微信订阅号

2025年4月3日 13:50 星期四
首页 > 过刊浏览>2017年第28卷第5期 >1247-1270. DOI:10.13328/j.cnki.jos.005106
PDF HTML阅读 XML下载 导出引用 引用提醒
软件非功能需求权衡代价
作者:
基金项目:

国家自然科学基金（61502413，61262025，61379032，61662085）；云南省应用基础研究计划（C0120150180）；云南省教育厅科学研究基金（2015Z020，2013Z056）；云南省软件工程重点实验室开放基金（2015SE202，2012SE308）；云南大学“中青年骨干教师培养计划”专项经费；云南大学高水平创新团队“软件工程创新团队”专项经费；云南大学人文社科项目基金（13YNUHSS007）；云南省创新团队“数据驱动的软件工程创新团队”项目基金


Trade-Off Costs of Software Non-Functional Requirements
Author:
Fund Project:

National Natural Science Foundation of China (61502413, 61262025, 61379032, 61662085); Science Foundation of Yunnan Province (C0120150180); Science Foundation of Yunnan Educational Committee (2015Z020, 2013Z056); Science Foundation of Key Laboratory of Software Engineering of Yunnan Province (2015SE202, 2012SE308); Young Teachers Special Training Program Funding of Yunnan University; Software Engineering Innovative Research Team Funding of Yunnan University; Social Science Foundation of Yunnan University (13YNUHSS007); Data Driven Software Engineering Innovative Research Team Funding of Yunnan Province

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [59]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    软件非功能需求的实现涉及软件质量这一重要问题，非功能需求的满足程度，直接影响软件质量的满足程度.针对一直以来对软件质量的一贯重视以及软件非功能需求权衡的重要性，借鉴微观经济学领域的生产理论、替代弹性原理和线性规划方法，提出了软件非功能需求权衡代价分析方法并开发了辅助工具.首先，对项目组前期完成的可信软件非功能需求可满足性分析方法进行改进，提出了利益相关者通过协商获取非功能需求评估数据的方法，建立了非功能需求本体概念并构建本体知识库；针对实现非功能需求的策略，使用前期已完成的策略推理方法，对推理产生矛盾的策略提出权衡代价分析方法；通过分析策略实施代价，为软件开发及演化提供具有实际可操作的权衡决策依据，从更加符合产业化需要的角度解决软件非功能需求权衡问题；最后，基于可信第三方认证中心软件案例的维护及演化需要，对推理出矛盾的策略进行权衡代价分析，并给予决策建议，说明所提出方法的可行性.

    Abstract:

    The non-functional requirements are the determinants of the software quality. The satisfaction of the non-functional requirements impacts the software quality. Considering the importance of the software quality and non-functional requirements trade-off, based on production theory, elasticity of substitution and linear programming, an approach to analyzing trade-off costs for non-functional requirements is proposed and a support tool is developed. Firstly, our previous work about satisfiability analysis on non-functional requirements is improved. A new coordination method for obtaining non-functional requirements from stakeholders is presented. Then, ontology for non-functional requirements and corresponding knowledge base are constructed. The previous reasoning for the strategies is provided for decision-making of software development and evolution. Because of the ability of addressing the conflict relationships of the non-functional requirements, our method is better for the software industry. Finally, through applying the non-functional requirements trade-off costs for maintenance and evolution of the trustworthy third-party certificate authority software case, feasibility of the proposed approach is described.

    参考文献
    [1] Boehm B. Unifying software and systems engineering. IEEE Computer, 2000,33(3):114-116. [doi: 10.1109/2.825714]
    [2] Wang HM, Liu XD, Lang B, Xie B, Mao XG. Software trustworthiness classification specification (TRUSTIE-STC v2.0). Technical Specification, School of Computer Science and Engineering, BeiHang University, et al., 2009 (in Chinese).
    [3] Amoroso E, Taylor C, Watson J, Weiss J. A process-oriented methodology for assessing and improving software trustworthiness. In: Proc. of the ACM Conf. on Computer and Communications Security (CCS). 1994. 39-50. [doi: 10.1145/191177.191188]
    [4] Zhang X, Li T, Wang X, Yu Q, Yu Y, Zhu R. Formal analysis to non-functional requirement of trustworthy software. Ruan Jian Xue Bao/Journal of Software, 2015,26(10):2545-2566 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4813. htm [doi: 10.13328/j.cnki.jos.004813]
    [5] Boehm B, In H. Identifying quality-requirement conflicts. Software, 1996,13(2):25-35. [doi: 10.1109/52.506460]
    [6] Dardenne A, van Lamsweerde A, Fickas S. Goal-Directed requirements acquisition. Science of Computer Programming, 1993, 20(1,2):3-50. [doi: 10.1016/0167-6423(93)90021-G]
    [7] van Lamsweerde A, Darimont R, Letier E. Managing conflicts in goal-driven requirements engineering. IEEE Trans. on Software Engingeering, 1998,24(1):908-926. [doi: 10.1109/32.730542]
    [8] Mylopoulos J, Chung L, Nixon B. Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. on Software Engineering, 1992,18(6):483-497. [doi: 10.1109/32.142871]
    [9] Chung L, Nixon BA. Dealing with non-functional requirements: Three experimental studies of a process-oriented approach. In: Proc. of the 17th Int'l Conf. on Software Engineering (ICSE). New York: ACM Press, 1995. 25-25. [doi: 10.1145/225014.225017]
    [10] Chung L, Nixon BA, Yu E, Mylopoulos J. Non-Functional Requirements in Software Engineering. New York: Springer Science+ Business Media, 2000. [doi: 10.1007/978-1-4615-5269-7]
    [11] Chung L, do Prado Leite JCS. On non-functional requirements in software engineering. In: Proc. of the Conceptual Modeling: Foundations and Applications. Berlin, Heidelberg: Springer-Verlag, 2009. 363-379. [doi: 10.1007/978-3-642-02463-4_19]
    [12] Yu E. Towards modeling and reasoning support for early-phase requirements engineering. In: Proc. of the 3rd IEEE Int'l Symp. on Requirements Engineering. 1997. 226-235. [doi: 10.1109/ISRE.1997.566873]
    [13] Castro J, Kolp M, Mylopoulos J. Towards requirements-driven information systems engineering: The Tropos project. Information Systems, 2002,27(6):365-389. [doi: 10.1016/S0306-4379(02)00012-1]
    [14] Amyot D, Mussbacher G. URN: Towards a new standard for the visual description of requirements. In: Proc. of the Telecommunications and Beyond: The Broader Applicability of SDL and MSC. Berlin, Heidelberg: Springer-Verlag, 2003. 21-37. [doi: 10.1007/3-540-36573-7_2]
    [15] Amyot D, Ghanavati S, Horkoff J, Mussbacher G, Peyton L, Yu E. Evaluating goal models within the goal-oriented requirement language. Int'l Journal of Intelligent Systems, 2010,25:841-877. [doi: 10.1002/int.20433]
    [16] Burgess C, Krishna A, Jiang L. Towards optimising non-functionalrequirements. In: Proc. of the Int'l Conf. on Quality Software. 2009. 269-277. [doi: 10.1109/QSIC.2009.42]
    [17] Liaskos S, McIlraith SA, Sohrabi S, Mylopoulos J. Representing and reasoning about preferences in requirements engineering. In: Best Papers of RE'10: Requirements Engineering in a Multi-Faceted World. 2011. 227-249. [doi: 10.1007/s00766-011-0129-9]
    [18] Wei B, Jin Z, Zowghi D, Yin B. Automated reasoning with goal tree models for software quality requirements. In: Proc. of 2012 IEEE the 36th Int'l Conf. on Computer Software and Applications Workshops (COMPSACW). 2012. 373-378. [doi: 10.1109/ COMPSACW.2012.73]
    [19] Sebastiani R, Giorgini P, Mylopoulos J. Simple and minimum-cost satisfiability for goal models. In: Proc. of the Advanced Information Systems Engineering. Berlin, Heidelberg: Springer-Verlag, 2004. 20-35. [doi: 10.1007/978-3-540-25975-6_4]
    [20] Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R. Formal reasoning techniques for goal models. LNCS Journal on Data Semantics, 2003,2800:1-20. [doi: 10.1007/978-3-540-39733-5_1]
    [21] Giorgini P, Mylopoulos J, Sebastiani R. Goal-Oriented requirements analysis and reasoning in the tropos mehtodology. Engineering Applications of Artificial Intelligence, 2005,18(2):159-171. [doi: 10.1016/j.engappai.2004.11.017]
    [22] Horkoff J, Yu E. Finding solutions in goal models: an interactive backward reasoning approach. In: Proc. of the Conceptual Modeling (ER 2010). Berlin, Heidelberg: Springer-Verlag, 2010. 59-75. [doi: 10.1007/978-3-642-16373-9_5]
    [23] Horkoff J. Iterative, interactive analysis of agent-goal models for early requirements engineering [Ph.D. Thesis]. University of Toronto, 2012.
    [24] Boehm B, In H. Software cost option strategy tool (S-COST). In: Proc. of the 12th Annual Int'l Computer Software and Application Conf. (COMPSAC'96). Seoul: IEEE Computer Society Press, 1996. 15-20. [doi: 10.1109/CMPSAC.1996.542289]
    [25] Letier E, van Lamsweerde A. Reasoning about partial goal satisfaction for requirements and design engineering. In: Proc. of the ACM SIGSOFT Software Engineering Notes. New York, 2004. 53-62. [doi: 10.1145/1041685.1029905]
    [26] Van Lamsweerde A. Reasoning about alternative requirements options. In: Proc. of the Conceptual Modeling: Foundations and Applications. Berlin: Springer-Verlag, 2009. 380-397. [doi: 10.1007/978-3-642-02463-4_20]
    [27] Van Lamsweerde A. Requirements Engineering: From System Goals to UML Models to Software Specifications. Hoboken: John Wiley & Sons, 2009.
    [28] Heaven W, Letier E. Simulating and optimizing design decisions in quantitative goal models. In: Proc. of the 19th IEEE Int'l Requirements Engineering Conf. Trento, 2011. 79-88. [doi: 10.1109/RE.2011.6051653]
    [29] Ma WT, Liu L, Ye XJ, Wang JM, Mylopoulos J. Requirements-Driven internetware services evaluation. In: Proc. of the 1st Asia- Pacific Symp. on Internetware. 2009. 1-7. [doi: 10.1145/1640206.1640212]
    [30] Marew T, Lee JS, Bae DH. Tactics based approach for integrating non-functional requirements in object-oriented analysis and design. Journal of Systems and Software, 2009,82(10):1642-1656. [doi: 10.1016/j.jss.2009.03.032]
    [31] Zhu MX, Luo XX, Chen XH, Wu DD. A non-functional requirements tradeoff model in trustworthy software. Information Science, 2012,191(5):61-75. [doi: 10.1016/j.ins.2011.07.046]
    [32] Elahi G, Yu E. Comparing alternatives for analyzing requirements trade-offs—In the absence of numerical data. Information and Software Technology, 2012,54(6):517-530. [doi: 10.1016/j.infsof.2011.10.007]
    [33] Yin B, Jin Z, Zhang W, Zhao HY, Wei B. Finding optimal solution for satisficing non-functional requirements via 0-1 programming. In: Proc. of the COMPSAC 2013. 2013. 415-424. [doi: 10.1109/COMPSAC.2013.69]
    [34] Wei B, Jin Z, Zowghi D, Yin B. Implementation decision making for internetware driven by quality requirements. Science China Information Sciences, 2014,57(7):1-19. [doi: 10.1007/s11432-014-5117-5]
    [35] Asadi M, Soltani S, Gasevic D, Hatala M, Bagheri E. Toward automated feature model configuration with optimizing non- functional requirements. Information and Software Technology, 2014,56(9):1144-1165. [doi: 10.1016/j.infsof.2014.03.005]
    [36] Boehm B, Kukreja N. An initial ontology for system quality attributes. In: Proc. of the Int'l Council on System Engineering (INCOSE). Seattle, 2015. 13-16. [doi: 10.1002/j.2334-5837.2015.00067.x]
    [37] Jin Z, Liu L, Jin Y. Software Requirements Engineering: Principles and Methods. Beijing: Science Press, 2008 (in Chinese).
    [38] Mairiza D, Zowghi D. Constructing a catalogue of conflicts among non-functional requirements. In: Proc. of the Evaluation of Novel Approaches to Software Engineering, Communications in Computer and Information Science, Vol.230. Springer-Verlag, 2011. 31-44. [doi: 10.1007/978-3-642-23391-3_3]
    [39] Denne M, Cleland-Huang J, Software by Numbers. Prentice Hall, Inc., 2003.
    [40] Tao HW. Research on the measurement models of software trustworthiness based on attributes [Ph.D. Thesis]. Shanghai: East China Normal University, 2011 (in Chinese with English abstract).
    [41] Boehm B, Abts C, Brown A, Chulani S, Clark B, Horowitz E, Madachy R, Reifer D, Steece B. Software Cost Estimation with COCOMO II. Prentice Hall PTR, 2000.
    [42] Dalkey N, Helmer O. An experimental application of the Delphi method to the use of experts. Management Science, 1963,9(3): 458-467. [doi: 10.1287/mnsc.9.3.458]
    [43] Gruber T. A translation approach to portable ontology specifications. Knowledge Acquisition, 1993,5(2):199-220. [doi: 10.1006/ knac.1993.1008]
    [44] Boehm B. Software cost estimation tools—COCOMO II. 2000. http://greenbay.usc.edu/csci577/fall2015/tools
    [45] Salvatore D. Microeconomics: Theory and Applications. 5th ed., New York: Oxford University Press, 2008.
    [46] Sher W, Pinola R. Microeconomic Theory: A Synthesis of Classical Theory and the Modern Approach. New York: Elsevier North Holland, 1981.
    [47] Boehm, B. The Incremental Commitment Spiral Model. Addison-Wesley Publishing Company, 2014.
    [48] Princeton Univerisity. zChaff 2007.3.12. 2007. http://www.princeton.edu/~chaff/zchaff.html
    [49] Manadhata PK, Wing JM. An attack surface metric. IEEE Trans. on Software Engineering, 2011,37(3):371-386. [doi: 10.1109/TSE. 2010.60]
    [50] McCabe TJ. A complexity measure. IEEE Trans. on Software Engineering, 1976,2(4):308-320. [doi: 10.1109/TSE.1976.233837]
    [51] Qian H, Andresen D. An energy-saving task scheduler for mobile devices. In: Proc. of the 14th IEEE/ACIS Int'l Conf. on Computer and Information Science (ICIS 2015). Las Vegas, 2015. [doi: 10.1109/ICIS.2015.7166631]
    [52] Qian H, Andresen D. Jade: Reducing energy consumption of android app. Int'l Journal of Networked and Distributed Computing (IJNDC), 2015,3(3):150-158. [doi: 10.2991/ijndc.2015.3.3.2]
    [53] Qian H, Andresen D. Reducing mobile device energy consumption with computation offloading. In: Proc. of the 16th IEEE/ACIS Int'l Conf. on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2015). Takamatsu, 2015. [doi: 10.1109/SNPD.2015.7176219]
    [54] Qian H, Andresen D. Extending mobile device's battery life by offloading computation to cloud. In: Proc. of the 2nd ACM Int'l Conf. on Mobile Software Engineering and Systems (MOBILESoft 2015). 2015. [doi: 10.1109/MobileSoft.2015.39]
    附中文参考文献:
    [2] 王怀民,刘旭东,郎波,谢冰,毛晓光.软件可信分级规范v2.0.技术规范,北京航空航天大学计算机学院,等,2009.
    [4] 张璇,李彤,王旭,于倩,郁湧,朱锐.可信软件非功能需求形式化表示与可满足分析.软件学报,2015,26(10):2545-2566. http://www. jos.org.cn/1000-9825/4813. htm [doi: 10.13328/j.cnki.jos.004813]
    [37] 金芝,刘璘,金英.软件需求工程:原理和方法.北京:科学出版社,2008.
    [40] 陶红伟.基于属性的软件可信性度量模型研究[博士学位论文].上海:华东师范大学,2011.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

张璇,王旭,李彤,白川,康燕妮.软件非功能需求权衡代价.软件学报,2017,28(5):1247-1270

复制
分享
文章指标
  • 点击次数:3181
  • 下载次数: 5197
  • HTML阅读次数: 2157
  • 引用次数: 0
历史
  • 收稿日期:2015-12-27
  • 最后修改日期:2016-04-21
  • 在线发布日期: 2016-10-19
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19780545位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号