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

运行时异常对软件静态测试的影响研究

金大海  宫云战  杨朝红  肖庆  
【摘要】:提出一种结合运行时异常的静态测试方法,将故障检测及控制流扩展交替重复执行:故障检测导致控制流上添加代表运行时异常的边,额外添加的边又导致检测到更多的故障,这个过程重复迭代到控制流不再扩展为止.应用异常模式状态机描述运行时异常的特性,通过其故障状态发现运行时异常;应用运行时异常控制流作为故障检测的运行环境,在传统控制流上增加处理运行时异常的边;结合现有静态测试技术,通过迭代方程生成运行时异常控制流集,以实现控制流扩展和新故障检测的反复迭代过程.最后是静态测试工具DTS的实施环境以及该方法在DTS上的应用.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 赵晓娟;;路径覆盖中控制流图的自动生成技术[J];湖南农机;2009年03期
2 夏玉辉;李鸣;万琳;王洪艳;;一种基于故障模型的代码静态测试方法研究[J];计算机与现代化;2011年02期
3 夏玉辉;张威;李鸣;万琳;;变量定义未使用故障的一种静态测试方法[J];计算机工程与设计;2007年03期
4 吕金和;;函数副作用在软件静态测试中的应用[J];软件导刊;2010年04期
5 朱剑林;;基于PAT树的程序静态分析方法[J];咸宁学院学报;2007年06期
6 金朝阳;;软件单元测试实战[J];电脑编程技巧与维护;2010年15期
7 苟英;;白盒测试[J];科技资讯;2010年10期
8 付晓毓;朱利;顾伟;;基于模型检测的内存泄露静态测试方法[J];微电子学与计算机;2010年10期
9 张晓晖;王忠民;王文浪;;嵌入式软件静态测试技术研究[J];西安邮电学院学报;2011年02期
10 杨成刚;郭锐;纪宗艳;;液压静态测试系统开发与应用研究[J];机床与液压;2011年02期
11 陈会霞,周利华;关于软件测试的浅议[J];中国测试技术;2005年04期
12 刘海;常治斌;邱新桥;;空间弧面分度凸轮机构测试试验台系统设计[J];湖北汽车工业学院学报;2006年01期
13 金大海;宫云战;杨朝红;肖庆;;函数后置信息在软件静态测试中的应用[J];北京邮电大学学报;2010年06期
14 邱小玲;;浅谈软件测试的方法[J];科技信息(科学教研);2008年17期
15 李友仁;刘少英;徐明强;;程序到二级控制图转换工具的研制[J];西安交通大学学报;1988年03期
16 张术梅;孙辉;;基于UML的面向对象软件静态测试方法的研究[J];计算机技术与发展;2007年01期
17 蔡高亮;;软件单元测试[J];信息技术与标准化;2008年Z1期
18 江标;宫云战;杨朝红;;非法计算检测的通用模型[J];计算机辅助设计与图形学学报;2009年04期
19 杨新斌;童玲;;软件开发中单元测试常用方法浅析[J];硅谷;2009年19期
20 王丽;赵卢霞;李红卫;王梅娟;;嵌入式软件测试工程化研究与实践[J];计算机应用;2009年S2期
中国重要会议论文全文数据库 前10条
1 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[A];第六届中国测试学术会议论文集[C];2010年
2 李华莹;于秀山;;基于静态测试工具的软件测试方法研究[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
3 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 梁睿;刘林霞;张自强;;基于运行时验证的AOP程序检测框架[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
5 江标;宫云战;杨朝红;;非法计算检测的通用模型[A];第五届中国测试学术会议论文集[C];2008年
6 张威;李辉;毕学军;宫云战;;内存泄漏故障静态测试方法研究[A];第四届中国测试学术会议论文集[C];2006年
7 万琳;刘娟;金丽亚;;未初始化变量故障的静态分析[A];第四届中国测试学术会议论文集[C];2006年
8 肖力田;顾明;孙家广;;PLC嵌入式软件测试的适应性分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
9 王斌;张伟;段见飞;张威;;基于软件运行记录的测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 刘一童;;使用XStream实现Java对象与XML转换[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
中国博士学位论文全文数据库 前10条
1 赵常智;基于运行时验证的软件监控关键技术研究[D];国防科学技术大学;2011年
2 李世胜;基于运行时的程序执行模型研究[D];中国科学技术大学;2010年
3 舒林;射频优卡多芯片操作系统隔离与安全通信方法研究[D];华中科技大学;2009年
4 柴志雷;Java实时性及嵌入式实时Java处理器研究[D];复旦大学;2006年
5 姚志林;基于本体的工作流为中心协同工作关键技术的研究[D];吉林大学;2007年
6 邹琼;Java虚拟机的自适应动态优化[D];中国科学技术大学;2008年
7 张雪松;软件迷惑技术研究[D];吉林大学;2008年
8 邬少飞;基于WEB服务的动态虚拟企业工作流的研究[D];华中科技大学;2009年
9 王华;预见式自适应软件体系结构的研究[D];浙江大学;2009年
10 刘奕明;基于体系结构、特征驱动的软件动态演化方法研究[D];复旦大学;2008年
中国硕士学位论文全文数据库 前10条
1 赵宇峰;面向对象软件静态测试自动生成类图的研究[D];西安理工大学;2003年
2 苏青琴;基于抽象解释的嵌入式程序不变量静态测试研究与实现[D];南京航空航天大学;2012年
3 尹晋;基于Testbed和Polyspace的装备软件静态测试研究[D];哈尔滨工程大学;2012年
4 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
5 柯平;内存泄漏静态检测模型的设计与实现[D];北京邮电大学;2009年
6 王长春;Java组件的运行时替换方法[D];吉林大学;2004年
7 杨一波;无人机飞行控制软件测试技术研究[D];南京航空航天大学;2008年
8 江标;非法计算检测的通用模型[D];北京邮电大学;2009年
9 杨宇;基于变量关系图和符号执行的指针相关路径分析[D];中国科学院研究生院(软件研究所);2003年
10 吴子敬;基于缺陷模式和区间运算的缺陷检测系统[D];北京邮电大学;2009年
中国重要报纸全文数据库 前10条
1 ;拿什么开发RIA?[N];计算机世界;2007年
2 叶开;IM营销运行时[N];中国计算机报;2008年
3 ;在AIX系统中,如何利用名为core的文件?[N];网络世界;2007年
4 张鹏 吴刚;基于XML的图形用户界面[N];计算机世界;2006年
5 新疆财经学院 任艳;如何减弱JAVA语言中图形动画运行时的闪烁现象[N];新疆科技报(汉);2001年
6 沈建苗 译;实战SOA[N];计算机世界;2007年
7 寿栋;十大SOA管理工具[N];计算机世界;2007年
8 张晓风;关于C++异常处理的心得体会[N];电脑报;2003年
9 清水 编译;Ruby面向Java世界[N];计算机世界;2006年
10 ;数据交换结构保持信息一致[N];网络世界;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978