主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张璇,李彤,王旭,于倩,郁湧,朱锐.可信软件非功能需求形式化表示与可满足分析.软件学报,2015,26(10):2545-2566
可信软件非功能需求形式化表示与可满足分析
Formal Analysis to Non-Functional Requirements of Trustworthy Software
投稿时间:2014-02-14  修订日期:2014-11-24
DOI:10.13328/j.cnki.jos.004813
中文关键词:  可信软件  早期需求工程  非功能需求  软件过程  可满足性问题
英文关键词:trustworthy software  early-phase requirements engineering  non-functional requirements  software process  satisfiability problem
基金项目:国家自然科学基金(61262025,61502413,61379032,61262024);云南省自然科学基金(2012FB118,2012FB119);云南省教育厅科学研究基金(2015Z020);云南省软件工程重点实验室开放基金(2015SE202,2012SE308);云南大学"中青年骨干教师培养计划"专项经费;云南大学高水平创新团队"软件工程创新团队"专项经费
作者单位E-mail
张璇 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室, 云南 昆明 650091 
zhxuan@ynu.edu.cn 
李彤 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室, 云南 昆明 650091 
 
王旭 云南大学 经济学院, 云南 昆明 650091  
于倩 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室, 云南 昆明 650091 
 
郁湧 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室, 云南 昆明 650091 
 
朱锐 云南大学 软件学院, 云南 昆明 650091  
摘要点击次数: 1998
全文下载次数: 2250
中文摘要:
      可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性.
英文摘要:
      The trustworthiness of software is determined by both its functional requirements and non-functional requirements. Especially, the non-functional requirements are the determinants of the trustworthy software that show how it achieves the users' desired goals. Considering the importance of trustworthy software and the urgent needs for it, an approach to obtaining process strategies for trustworthy software in the early phase of requirements engineering is proposed. Firstly, the definition of trustworthy software requirements is defined as the combination of the trustworthiness requirements and the quality requirements. Trustworthiness requirements are defined as both functional requirements and trustworthiness concerns. Quality requirements are defined as soft goals. Then, based on fuzzy set theory and information entropy, acquisition method of trustworthiness concerns and soft goals is proposed. On this basis, process strategies for obtaining framework are proposed. Unlike the traditional early-phase requirements engineering which focuses on technical and design decisions, the aim of this study is to make process decisions to support trustworthy software development. In addition, to address the conflict relationships of the non-functional requirements, a reasoning method is developed for solving satisfiability problems of non-functional requirements in trustworthy software. Finally, through analyzing a trustworthy third-party certificate authority software case, feasibility of the proposed approach is described.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利