基于缺陷分析与测试评审的软件可信性评价体系

来源 :天津大学 | 被引量 : 0次 | 上传用户:didos_jo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可信软件技术的不断发展,迫切需要合理的可信评价体系来考查这些技术在提高可信性方面的贡献和效果。同时,可信性评价也为用户从众多软件产品中选取符合自己需求的软件提供重要参考。提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发中及时的量化评估软件可信性。本法将软件可信性定位在六个不同要素上,根据各要素不同的可观测阶段将其分为两大类。针对软件的设计开发阶段,以软件缺陷为入手点,对开发过程中的设计模型进行分析,找到其中的安全缺陷,通过对软件缺陷危险程度的评估及缺陷在软件中的影响范围来综合考虑软件整体的可信性;针对软件成品,通过扩展软件测试来评价它在可信方面的表现。在此过程中,考虑到主观因素对信任的影响,充分表现出可信性的主观特色。通过这种区分特性、分别评价的方法,在软件设计初期、实现过程中、及软件成品后,软件工程师都可以从不同维度对其可信性进行评价,及时发现软件设计初期引入的缺陷,提高软件开发的质量和效率;同时,这种定量的评价方法也为软件产品的分类、甄选、分级等提供了重要参考。评价结果无论是在表现维度还是评价精度上,都要优于现有评价体系。
其他文献
随着网络技术的飞速发展,基于网络平台的应用系统逐渐进入各行各业中,这些应用系统给用户带来巨大的收益。但是由于网络的开放性,应用系统对自身的安全性提出更高的要求,需要
随着运动控制过程复杂度的显著提高,人们对运动控制技术的要求越来越苛刻,不论是从系统的体积、开发方式方面,还是性能等方面都有了更高的要求。本文在详细分析运动控制发展现状
随着移动通信技术的飞速发展和无线网络的日趋演进,各种现有的以及未来新兴的无线接入技术共同存在,既相互补充又相互竞争,构成了下一代泛在的无线网络。然而不同的接入技术在带
近年来随着Web2.0的发展,各种创新的应用和产品不断在互联网中出现使我的工作生活越来越离不开网络应用。而由此产生的大规模甚至超大规模数据存储和运算需求仅仅依靠传统的
现代远程医疗系统以视频会议技术为依托,结合现代医疗技术,在医疗专家与医务人员、医疗专家与病人之间构建起一个“面对面”的信息交流平台。该技术能够促进高水平医疗资源如
可编程逻辑控制器作为现代工业控制四大支柱之一,在各种工业过程控制及各类机电一体化设备控制中发挥着越来越重要的作用。随着计算机技术的发展,IEC61131-3标准的日益推广,
嵌入式系统的应用日益普及,目前已经呈普适发展的前景。同时人们对嵌入式系统的功能需求,也日益向更快的速度、更低的能耗、更强的数据处理能力等方向发展。满足不断增长的运
运动捕捉技术已经在数字娱乐、运动仿真等诸多领域得到广泛的使用。相较于传统的动画制作技术,运动捕捉技术在创建角色的逼真性以及制作方式的便捷性上有着显著的优势。但是
随着互联网技术和电子商务的迅猛发展,Web服务作为信息服务资源的具体实现之一得到了更为广泛的使用。Web服务因其跨平台、松耦合的特点,支持在不同语言,不同平台上进行有效
定位与地图构建是自主移动机器人的核心技术,但由于单纯码盘、惯导等航迹推演的定位方法存在累积误差,使得生成的地图一致性遭到破坏,给机器人自主移动带来严重隐患。机器人