可信软件非功能需求形式化表示与可满足分析

作     者：张璇 李彤 王旭 于倩 郁湧 朱锐 ZHANG Xuan;LI Tong;WANG Xu;YU Qian;YU Yong;ZHU Rui

作者机构：云南大学软件学院云南昆明650091 云南省软件工程重点实验室云南昆明650091 云南大学经济学院云南昆明650091 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2015年第26卷第10期

页      面：2545-2566页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(61262025 61502413 61379032 61262024) 云南省自然科学基金(2012FB118 2012FB119) 云南省教育厅科学研究基金(2015Z020) 云南省软件工程重点实验室开放基金(2015SE202 2012SE308) 云南大学"中青年骨干教师培养计划"专项经费 云南大学高水平创新团队"软件工程创新团队"专项经费 

主　　题：可信软件 早期需求工程 非功能需求 软件过程 可满足性问题 

摘      要：可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性.