一种基于过程证据的软件可信度模型及评估方法研究

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:yulei000111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,随着软件应用领域的不断扩展,软件产品的复杂度越来越高,而人们对软件质量的容忍度却越来越低。软件是否有可信的质量已成为一个亟待解决的重要问题。现代质量管理理论强调质量形成于过程,建立质量信心的证据也散布于过程。从基本的可信机理讲,软件可信性是主体和客体之间的信任关系,其基本问题主要表现为在特定应用场景下,基于各种手段来进行度量、评估、判定与演化过程,即需要有证据让用户相信,软件可以满足用户的需要,而这些证据散布于软件开发的整个生命周期。所以软件是否可信不能仅依赖于对最终产品的测试,对软件可信的评估和确认需要软件开发过程中各类相关证据的支持。这些证据的充分必要程度,以及对必要开发过程的覆盖程度等问题也非常关键。  目前国际上与软件过程有关的标准和模型,主要针对过程应该做什么的问题。但如何保证过程的行为和制品满足预期的要求,应该采集哪些过程中的证据,才能对软件是否可信地满足用户需求做出评价,是已有标准和模型都没有解决的问题。  我们在国家自然科学基金等计划的支持下,从过程保障的角度提出了基于过程证据的软件可信度模型,本文研究该模型中的可信原则和可信证据,遵循完整性、必要性、兼容性和可持续性四项原则,旨在建立一个科学、客观并可广泛采用的证据体系,以支持软件过程的可信评估。  本文的主要研究内容和贡献包括:  (1)本文工作提出了一个基于软件开发过程中数据所形成的证据,量化评估软件过程和过程制品可信程度的模型。从现代质量管理的基本元素出发,提出了可信实体、可信行为、可信制品三个可信保障目标,结合软件过程的实践活动特点,建立了覆盖整个软件过程生命周期的36个过程可信原则和1个制品可信原则。  (2)针对每一个可信原则,参考CMMI等业界流行的过程参考模型,我们提出了支持其分级评估的可信证据体系。该证据体系符合完整性、必要性、兼容性、可持续性四个原则,保障了模型的科学性和合理性。  (3)基于可信证据,我们提出了一个自底向上,从证据—>原则—>过程的可信链传递的软件过程可信评估方法,可以有效支持软件过程可信评估的客观性和全面性。我们通过应用案例对可信度模型和评价方法的有效性进行了验证。
其他文献
本文完成了一个基于Clark&Wilson模型的信息管理安全子系统(SSBCWM)的设计和实现.这一模型通过密切结合密码保护,触发器结构和改进的物理存储机制增强了数据库管理的安全性能
本课题旨在用π-演算对openMosix的一些基本特征进行解释,选取了进程迁移作为切入点,重点研究在进程迁移的情况下,进程间的互操作关系,用π-演算给予了形式化的描述。本文的主要
本文介绍了构造Java企业级系统的最新平台——J2EE,详细阐述了它的组成、基于J2EE构建企业系统常用的主要技术,包括Servlet、JSP、企业JavaBean和一组常用API;研究了J2EE的在企
随着互联网的快速发展,推荐系统在帮助商家提升销量方面扮演着越来越重要的角色。现有工作通常仅仅挖掘了数据中的用户个人喜好或时间信息,而忽略了大众情感对用户购买决策的影
语义网以XML为基础,用RDF统一资源描述格式,并以Ontology作为词汇共享与语义交换的媒介。本文首先对语义网作了简要的介绍,内容包括语义网的基本概念、层次结构及应用。对URI、X
近年来,随着金融危机、劳动力和原材料成本上涨、人民币升值等多种因素的持续影响,全球经济增幅放缓,服装企业作为传统的制造型行业也受到影响。现代服装业具有产品生命周期短、
本文所构建的协作学习系统,是OGSA在远程教育中的实际应用。本系统是一种开放的、可扩展的、适应网络教学需求的协同教学系统,通过各个专门功能的Web Service,建立相关工具集来
微博平台等网络新兴媒体已经慢慢取代传统新闻媒介,成为现代人信息获取、信息分享和信息交流的主要渠道。现有的研究工作大多侧重用户的影响力,而没有着重考虑用户作为信息源,提
数据挖掘是从大量数据中提取人们感兴趣的信息和知识,这些知识往往是隐含的、有用的、尚未发现的信息和知识.数据挖掘已经引起了人们的广泛关注,目前成为国内外数据库和信息
 本文共分八章,第一章介绍了常见的入侵方法及相应的防范手段,第二章对入侵检测系统进行了概述,第三章介绍分布式入侵检测系统,第四章探讨了入侵检测技术,第五章研究了基于神经网