主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
沈国华,黄志球,谢冰,朱羿全,廖莉莉,王飞,刘银陵.软件可信评估研究综述:标准、模型与工具.软件学报,2016,27(4):955-968
软件可信评估研究综述:标准、模型与工具
Survey on Software Trustworthiness Evaluation:Standards, Models and Tools
投稿时间:2014-07-02  修订日期:2014-12-22
DOI:10.13328/j.cnki.jos.005024
中文关键词:  软件可信性  可信评估  软件质量  软件度量  安全攸关软件
英文关键词:software trustworthiness  trustworthiness evaluation  software quality  software metrics  safety-critical software
基金项目:国家自然科学基金(61272083);国家高技术研究发展计划(863)(2015AA015303);中央高校基础科研业务费专项资金(NS2015093)
作者单位E-mail
沈国华 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106 ghshen@nuaa.edu.cn 
黄志球 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106  
谢冰 北京大学 计算机科学技术系, 北京 100871  
朱羿全 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106  
廖莉莉 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106  
王飞 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106  
刘银陵 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106  
摘要点击次数: 3596
全文下载次数: 2684
中文摘要:
      安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件可信性、可信评估的定义,并在研究了与可信性密切相关的软件质量的联系与区别之后,从相关国际标准、评估涉及的模型(包括质量属性模型、证据模型、分级规范等)以及软件工具支持等方面综述了软件可信评估研究工作.并且区分了这些方面中领域相关、领域无关的不同之处.目前软件可信评估已取得了一定的理论成果,并开发了若干工具辅助进行可信评估,但仍需在通用性、可伸缩性等方面有所加强.
英文摘要:
      The failure of safety-critical software could result in death, injury and damage to people or loss of equipment or property. Therefore, it is important to evaluate whether software trustworthiness fulfills the user needs(i.e., trustworthiness evaluation). This paper first compares the definition of software trustworthiness and its evaluation. Then, it surveys the software trustworthiness evaluation from three different aspects:Standards, models, and CASE tools. This work studies these aspects from the view of domain-independent as well as domain-dependent. In summary, there is great progress being made for software trustworthiness evaluation theoretically and practically while its universality and scalability are still need to be improved.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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