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

基于函数摘要的非法计算故障检测方法的研究

邹欣  
【摘要】:伴随着信息技术的蓬勃发展以及计算机应用的普及,软件的应用领域越来越广泛,软件本身的复杂度也在逐渐提高。而这些软件如出现问题带来的损失将不可估量,因此保障软件的质量成为软件工程中重要的一个环节。软件的故障主要表现为两方面:计算结果错误和系统崩溃。计算结果错误一般容易检测,而导致系统崩溃的故障带来的后果很严重,这类故障在传统的软件测试中被检测出的概率通常也很低。非法计算是一种容易导致系统崩溃的常见的故障。 静态测试,作为软件测试领域的一个重要方面,其主要优势在于只需分析源码无需运行程序,及对缺陷的针对性强。本文提出了基于函数摘要的非法计算故障的静态检测方法。论文的主要工作包括以下几个方面,首先是非法计算的全局分析框架,然后基于此框架,提出了基于函数后置信息的非法计算故障的静态检测方法,及基于函数前置约束的非法计算故障的静态检测方法。本文重点介绍了上述两种检测方法所用到的模式状态机框架、函数摘要计算、及故障检测算法。 最后本文通过试验结果的对比,表明基于函数摘要的非法计算故障检测方法可以提高非法计算故障的检测效果,同时充分说明了基于函数摘要的全局分析能有效提高检测的精度。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘辉;李蕊;焦铬;;软件故障检测技术及其发展探讨[J];电脑知识与技术;2011年15期
2 李蕊;李永亮;李仁发;张焱;;基于扩展有限状态机模型的故障检测[J];计算机应用研究;2009年07期
3 舒燕君;刘宏伟;吴智博;杨孝宗;;一个故障检测与故障修正相结合的软件可靠性增长模型[J];高技术通讯;2010年04期
4 梁洪波;慕晓冬;帅桂华;常瑞花;;软件密集型装备故障的静态检测[J];微计算机信息;2008年22期
5 张帆;;基于软件故障模型的软件测试研究[J];中国高新技术企业;2009年23期
6 单锦辉;徐克俊;王戟;;一种软件故障诊断过程框架[J];计算机学报;2011年02期
7 ;多处理器系统中用于故障检测的硬件支持──情况研究[J];电脑开发与应用;1994年01期
8 周东华,王庆林;基于模型的控制系统故障诊断技术的最新进展[J];自动化学报;1995年02期
9 萧德云,李渭华,方崇智;归一化滑动窗格形滤波器──一种新的故障检测工具[J];清华大学学报(自然科学版);1995年01期
10 刘春恒,周东华;故障检测中阈值的一种自适应选择方法[J];上海海运学院学报;2001年03期
11 刘美俊;PLC控制系统故障检测与显示[J];低压电器;2002年04期
12 林建辉;张宇明;高燕;;基于方差法的摆式列车传感器故障检测技术的研究[J];电子测量与仪器学报;2004年02期
13 彭柏坚,李锋,王晓慧,于湘涛;基于最优解耦的鲁棒故障检测方法研究[J];计算机仿真;2005年04期
14 李喆;王清元;陈东雷;;基于小波网络的传感器故障检测[J];电子质量;2006年11期
15 卢一相;高清维;张德祥;;基于AR模型的齿轮箱振动故障检测[J];计算机技术与发展;2007年06期
16 邱世卉;刘兆有;王琪;;基于BP神经网络和支持向量机的异步电机故障检测[J];中国科技信息;2008年15期
17 祝志博;宋执环;;融合FDA-PCMC样本分类的KPCA故障检测新算法[J];控制与决策;2010年04期
18 尹惠敏;叶春凤;刘保;;计算机故障诊断系统探析[J];教育教学论坛;2010年21期
19 张润敏,杜英俊,郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期
20 刘希金;机床数控系统故障诊断与检测[J];新技术新工艺;1996年01期
中国重要会议论文全文数据库 前10条
1 王康;王少萍;崔洪亮;;基于TMS320F2812的机载液压泵源故障诊断系统设计[A];中国机械工程学会流体传动与控制分会第六届全国流体传动与控制学术会议论文集[C];2010年
2 王晓东;杨德生;;神经网络在导弹容错控制中的应用[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
3 王仲生;王育才;;转子碰摩力学特征及其监控技术研究[A];第九届全国结构工程学术会议论文集第Ⅲ卷[C];2000年
4 周志刚;;故障检测中的人工神经网络[A];信号与信息处理技术第三届信号与信息处理全国联合学术会议论文集[C];2004年
5 王晓霏;张建文;王刚;胡希文;卓自明;;采用紫外威像技术检测合成绝缘子放电故障[A];第十八届全国煤矿自动化学术年会中国煤炭学会自动化专业委员会学术会议论文集[C];2008年
6 戴文战;陈杰;;一般故障传播模型及故障诊断算法[A];1997年中国控制会议论文集[C];1997年
7 高磊;任章;;小波变换及其在控制系统故障检测中的应用[A];1998年中国控制会议论文集[C];1998年
8 周川;胡维礼;陈庆伟;吴晓蓓;;基于DRNN观测器的非线性系统故障检测方法[A];2003中国控制与决策学术年会论文集[C];2003年
9 李学聪;万频;李敏;宋亚男;李军;;基于组合导航系统的网络故障检测与容错技术研究[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
10 陈友明;兰丽丽;;空气源热泵冷热水机组的故障检测[A];全国暖通空调制冷2008年学术文集[C];2008年
中国博士学位论文全文数据库 前10条
1 张永;非线性随机网络化系统稳定性分析与故障检测[D];华中科技大学;2010年
2 刘文静;分布式网络化控制系统故障检测方法研究[D];天津大学;2009年
3 陈东洛;被动测试理论及其在协议故障检测中的应用[D];清华大学;2004年
4 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
5 王恒;基于LMI技术的线性系统故障检测方法[D];东北大学;2008年
6 舒燕君;故障检测与修正过程的NHPP类软件可靠性增长模型研究[D];哈尔滨工业大学;2009年
7 杨学宾;空调系统故障检测及基于性能优化的在线容错控制[D];上海交通大学;2012年
8 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
9 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
10 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
中国硕士学位论文全文数据库 前10条
1 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
2 陈勤;智能容错组合导航系统的设计与研究[D];哈尔滨工程大学;2004年
3 李登;飞行控制系统故障检测理论研究及软件系统设计[D];西北工业大学;2003年
4 张振;基于解析冗余的非线性系统故障诊断方法研究[D];南京理工大学;2005年
5 张华;某型号火箭炮故障检测与诊断专家系统研究[D];国防科学技术大学;2004年
6 蔡强;基于心跳故障检测器的原子提交问题解决方案[D];厦门大学;2006年
7 李学聪;基于组合导航系统的故障检测与诊断技术研究[D];哈尔滨工程大学;2004年
8 刘峰;基于虚拟仪器的五七高炮随动系统故障检测技术研究[D];国防科学技术大学;2003年
9 刘锋;小波变换在输电线路故障检测与测距中的应用研究[D];西安理工大学;2005年
10 李碧蓉;故障管理系统中故障检测与事件关联技术的研究[D];华中师范大学;2001年
中国重要报纸全文数据库 前10条
1 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
2 王宇;过程决定质量[N];中国计算机报;2003年
3 仪芳媛;IT巨头京城上演软件测试人才掠夺战[N];中国企业报;2006年
4 本报记者  张咏梅;软件测试人才面临“回炉”[N];北京人才市场报;2006年
5 仪芳媛;IT毕业生跳动的职场脉搏你按住没有?[N];市场报;2006年
6 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
7 本报记者 张旭东;软件测试 IT就业新热点[N];中国计算机报;2005年
8 ;软件测试的基本方法[N];中国计算机报;2002年
9 隋年;软件测试:2007需求再放大[N];就业时报;2007年
10 记者 兰昆;中国软件测试人才形成“科班培养”机制[N];中国经济导报;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978