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

一种基于控制流图的静态测试方法

夏玉辉  张威  万琳  王洪艳  
【摘要】:基于对程序源代码的静态分析方法,针对程序中一些常见故障,提出了一种基于控制流图的自动测试方法。采取了一种特殊的静态分析技术来实现对代码的测试。首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,在分析过程中,还综合应用了词法分析和语法分析,在建立语法树的基础上,遍历控制流图,进而提出了一种基于控制流图的软件测试方法。依据该方法开发了自动化测试工具,给出了实验结果和对比分析,测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 钱继兵;;基于控制流图的Java语言动态例化系统探讨[J];软件导刊;2007年23期
2 闫大顺;姜淑娟;;一种分析异常传播路径的方法[J];计算机工程;2008年08期
3 孙赢盈;张毅坤;杨凯峰;张保卫;夏辉;;一种基于程序关联性分析的软件测试方法[J];计算机应用研究;2008年12期
4 徐希炜;;静态测试C++中定义未使用的变量[J];电脑编程技巧与维护;2009年16期
5 王黎明;陈科;许琳;张中宝;刘坚;陈平;;软件维护中基于异常处理结构的别名分析技术[J];西安电子科技大学学报;2011年01期
6 李春伟,赵京涛;结构化程序复杂性度量方法的分析[J];廊坊师范学院学报;2004年04期
7 马红途;赵荣彩;苏彦兵;;控制流图上支配关系计算方法的分析与实现[J];计算机科学;2009年03期
8 杨乐;曾凡兴;何火娇;王兴宇;;一种基于垃圾代码的混淆算法研究[J];微电子学与计算机;2011年04期
9 孙维新;赵荣彩;苏铭;齐宁;;反投机技术研究[J];计算机工程与应用;2007年01期
10 曹曦;许蕾;;一种web应用回归测试的测试用例选择执行方法(英文)[J];Journal of Southeast University(English Edition);2008年03期
11 倪程;李志蜀;;基于数据流的Java字节码分析[J];微计算机信息;2009年12期
12 胡刚;张平;李清宝;张翠艳;;基于静态模拟的二进制控制流恢复算法[J];计算机工程;2011年05期
13 董丽君;软件需求定义语言NDRDL的设计[J];计算机研究与发展;1996年12期
14 伦立军,丁雪梅,李英梅;程序复杂性度量的一种新方法[J];计算机应用研究;2004年02期
15 伦立军,丁雪梅,李英梅;路径复杂性度量研究[J];计算机应用与软件;2004年04期
16 高传平;宫云战;;数组越界的静态测试分析[J];计算机工程;2006年03期
17 李琴;曾凡平;王立民;;程序的分层静态分析模型HSAM[J];信息安全与通信保密;2007年02期
18 姜淑娟;徐宝文;;一种异常处理策略的评测方法(英文)[J];Journal of Southeast University(English Edition);2007年04期
19 赵晓娟;;路径覆盖中控制流图的自动生成技术[J];湖南农机;2009年03期
20 吕怀莲;;一种改进的数据流分析方法[J];硅谷;2009年13期
中国重要会议论文全文数据库 前10条
1 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 夏玉辉;张威;万琳;王洪艳;;不可达代码的一种静态测试方法[A];第四届中国测试学术会议论文集[C];2006年
3 万琳;刘娟;金丽亚;;未初始化变量故障的静态分析[A];第四届中国测试学术会议论文集[C];2006年
4 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[A];第六届中国测试学术会议论文集[C];2010年
5 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
6 杨睿;金大海;宫云战;马跃;;JAVA中空指针引用故障的静态检测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
7 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
8 孙奇;李宗伯;;代码混淆技术综述[A];2011年全国通信安全学术会议论文集[C];2011年
9 邹欣;宫云战;金大海;;过程间的非法计算故障静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
10 王思岚;王雅文;宫云战;;单元覆盖测试中基于区间运算的路径选择方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 张平;并行化编译器中并行程序自动生成和性能优化技术研究[D];解放军信息工程大学;2006年
2 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
3 胡燕;编译过程安全性基础研究[D];中国科学技术大学;2007年
4 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
5 苏铭;对IA-64结构特性优化代码的二进制翻译技术研究[D];解放军信息工程大学;2006年
6 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
7 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年
8 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
9 周虹伯;应用数据类型抽象建模提高软件静态测试精度的方法研究[D];北京邮电大学;2013年
10 何加浪;软件可信性保障若干关键技术[D];南京理工大学;2012年
中国硕士学位论文全文数据库 前10条
1 杨广;控制流提取模型及软件可靠性评价应用研究[D];大连理工大学;2013年
2 崔晨;固件代码控制流图恢复技术研究[D];解放军信息工程大学;2012年
3 黄袁;基于控制流距离度量的工作流分类应用研究[D];昆明理工大学;2013年
4 韩红军;基于控制流图的Java语言动态例化的研究[D];北京工业大学;2002年
5 冯斌;静态构造面向方面程序的控制流图[D];上海交通大学;2007年
6 张中宝;Java程序维护中基于别名分析的错误诊断技术与工具[D];西安电子科技大学;2008年
7 张翀斌;基于模型检测技术的软件漏洞挖掘方法研究[D];山东大学;2006年
8 孙赢盈;基于程序关联性分析的软件测试方法研究[D];西安理工大学;2008年
9 耿耀君;Java程序中异常流的测试与可视化研究[D];西安电子科技大学;2008年
10 秦虎;基于语法树结构优化和控制流图比对的软件同源性检测技术研究[D];北京邮电大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978