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

来源 :软件学报 | 被引量 : 0次 | 上传用户:confusion00
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需
其他文献
三芯电缆沿线由于缺乏可靠的电源,电缆热状态的监测难以有效开展。提出并研制一种基于三芯电缆自取能技术的热状态评估系统。针对三芯电缆运行状态下电缆周围空间电磁场分布
<正> 内河客船船型要素的变化规律不易探求,这主要是因为内河客船受自然条件特别是航道水深及曲率半径的影响,吃水及船长都受限制,特别是对吃水的限制尤为严格。此外,它的某
《一九四二》是一部由冯小刚执导的电影作品,作品出色的艺术技巧表现使整部作品呈现出完美、和谐的艺术形式。影片非常重视故事的内涵,其中所蕴涵的中华民族的民族精神使作品的
为研究甲醛对人支气管上皮细胞存活率的影响及N-乙酰半胱氨酸(N-acetylcysteine,NAC)的保护效应,以0、50、100、150、200、300和400μmol·L-1甲醛处理人支气管上皮BEAS-2B细