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

来源：软件学报杂志2015年第10期北京时间：

作者：张璇,李彤,王旭,于倩,郁湧,朱锐

单位：张璇，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009111,李彤，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009102,王旭，云南大学 经济学院, 云南 昆明 65009103,于倩，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009104,郁湧，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009105,朱锐，云南大学 软件学院, 云南 昆明 65009106

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

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

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