收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于程序不变量计算软件可靠性

周远  丁佐华  
【摘要】:现有的计算软件可靠性的方法采用测试的输入/输出结果,但这些数据并不能真实地反映软件内部的真实行为,如测试中会出现假性正确的情况以及测试不能显示一个输入有多个错误的输出情况.试图通过程序不变量来计算软件的可靠性,程序不变量可以描述程序的性质.首先选取测试用例集,动态地获取程序不变量,再从这些不变量中提取失效数据,最后,基于Nelson模型计算软件的可靠性.作为实验,对西门子程序包计算软件的可靠性.采用随机、分支覆盖和分块覆盖这3种不同的测试方法得到程序不变量,据此计算程序的可靠性.为了检查结果的可行性,采用传统方法计算这些软件的可靠性.两种可靠性比较后显示:它们的差别很小,而且不依赖于对测试方法的选择.通过进一步的方差分析得知,用所提出的方法计算的可靠性比用现有的方法计算的可靠性具有更小的波动,即更平稳.因此,前者更接近系统的真实可靠性.结论说明,可用程序不变量来计算软件的可靠性.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 岳昊;吴哲辉;;库所耦合网的T-不变量求解算法[J];系统仿真学报;2007年S1期
2 刁麓弘;章森;刘磊;樊丽霞;李华;;相位矩不变量[J];计算机辅助设计与图形学学报;2008年05期
3 王元斌;;计算射影与排列不变量的新方法[J];计算机工程与设计;2008年20期
4 岳昊;吴哲辉;施建娟;于立萍;;变迁耦合网的T-不变量求解算法[J];计算机科学;2008年09期
5 刘树锟;阳小华;;程序不变量检测技术[J];计算机工程与科学;2011年03期
6 包云霞;鲁法明;;求取S-不变量基的新算法[J];系统仿真学报;2011年S1期
7 吴刚;杨敬安;李道伦;;基于目标不变量的识别方法研究[J];计算机科学;2000年12期
8 刘钢钦;利用角点坐标计算图象的矩不变量[J];计算机工程与科学;2002年01期
9 刘亦书;;一种基于质量(面积)的不变量[J];华南师范大学学报(自然科学版);2007年02期
10 张亚南;姚国清;;基于矩不变量和神经网络的飞机识别模型[J];电脑知识与技术;2009年14期
11 郭克华;刘传才;杨静宇;;空间曲率矩不变量的构造及其应用[J];中国图象图形学报;2009年05期
12 何加浪;张琨;孟锦;张宏;;基于不变量的程序修复进化扩展模型[J];计算机应用研究;2010年12期
13 张政武;;共面二次曲线族不变量的计算方法研究[J];机械科学与技术;2013年07期
14 袁立行,郑南宁,王爱群;一种新的空间透视不变量计算方法[J];西安交通大学学报;1997年01期
15 廖原,袁捷,赵恒卓,胡正仪,王延平;基于几种不变量融合信息的缺损目标识别[J];武汉大学学报(自然科学版);1998年01期
16 刘会杰;王学孝;;一种特征不变量的定义及其提取算法[J];模式识别与人工智能;1998年04期
17 刘沿双,官弼根,杨国,杨广铭;交比不变量在平面目标识别中的应用[J];应用科技;2000年03期
18 王丽丽;吴哲辉;;求网的S-不变量的一种图算法[J];计算机科学;2007年03期
19 张政武;;空间二次曲线代数不变量的几何解释[J];机械科学与技术;2008年12期
20 陈才;;一种区间型程序不变量检测方法[J];计算机与现代化;2010年03期
中国重要会议论文全文数据库 前10条
1 武际可;;力学中的不变量[A];第三届全国力学史与方法论学术研讨会论文集[C];2007年
2 武际可;;力学中的变换与不变量[A];第二届全国力学史与方法论学术研讨会论文集[C];2005年
3 张爽;尚启春;张寅权;王宁;;宽带声源测距的阵不变量方法研究[A];2012'中国西部声学学术交流会论文集(Ⅱ)[C];2012年
4 杜松沛;;基于积分不变量的三维模型编辑传播[A];第18届全国多媒体学术会议(NCMT2009)、第5届全国人机交互学术会议(CHCI2009)、第5届全国普适计算学术会议(PCC2009)论文集[C];2009年
5 李然;武昊;朱秀丽;;基于不变量特征的影像三维建模[A];第四届“测绘科学前沿技术论坛”论文精选[C];2012年
6 赵振东;高大治;王好忠;王宁;;波导不变量原理在目标测距中的应用[A];2009年度全国物理声学会议论文集[C];2009年
7 尚晋霞;尚振宏;杨柽;;基于色彩特征不变量与局部纹理结合的运动阴影去除[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
8 胡红革;黄大贵;谢阅;;基于位置不变量的混和Petri网的分解[A];中国工程物理研究院科技年报(2003)[C];2003年
9 许仙萍;欧阳宁;蒋俊杰;;基于投影不变量的FOV线生成改进算法[A];全国第一届信号处理学术会议暨中国高科技产业化研究会信号处理分会筹备工作委员会第三次工作会议专刊[C];2007年
10 季铮;张剑清;詹总谦;;基于特征不变量的目标识别定位方法研究[A];第二十六届中国控制会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 金英姬;代数不变量的早期历史研究[D];西北大学;2013年
2 刘润宗;模式识别领域中形变不变量的若干关键问题研究[D];重庆大学;2012年
3 朱旭锋;基于图像不变量特征的自动目标识别技术研究[D];中国科学院研究生院(西安光学精密机械研究所);2012年
4 廖波;计算分子生物学中若干问题研究[D];大连理工大学;2004年
5 骞森;机器人视觉中的退化不变量研究[D];南京航空航天大学;2007年
6 张志海;基于计算机代数的程序验证[D];北京大学;2011年
7 杨飞;局部Gromov-Witten不变量的计算问题[D];清华大学;2009年
8 程勇;人脸识别中光照不变量提取算法研究[D];南京理工大学;2010年
9 许磊;近距离煤柱群底板偏应力不变量分布特征及应用[D];中国矿业大学(北京);2014年
10 姚玉华;生物序列相似性分析的图形表示及其不变量方法[D];大连理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 张立梅;3-qubit及4-qubit纯态κ-ME concurrence与负性、多项式不变量关系[D];河北师范大学;2015年
2 王凤霞;虚拟纽结的一类不变量的研究[D];东北师范大学;2015年
3 陈才;一元多项式不等式似然不变量检测方法研究[D];南华大学;2010年
4 周辉;基于程序不变量的并发软件可靠性计算[D];浙江理工大学;2014年
5 张红红;型不变量为(e,1,1,1,1)的正则p群的分类[D];山西师范大学;2012年
6 胡国庆;逻辑表达式型似然不变量的分析与检测[D];南华大学;2008年
7 王美华;不变量理论在模式识别中的应用[D];燕山大学;2004年
8 梅艳萍;计算机视觉中的几何代数不变量[D];深圳大学;2015年
9 刘倩;一些连续/离散正交矩及其不变量的研究[D];华东理工大学;2013年
10 刘杰;基于关系数据理论的函数型程序似然不变量动态检测方法[D];南华大学;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978