收藏本站
《第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前2条
1 黄万峰;潍坊市商业银行信贷管理系统的设计与实现[D];山东大学;2013年
2 姚家宝;一种基于信息流分析的程序切片方法[D];吉林大学;2013年
【参考文献】
中国期刊全文数据库 前7条
1 杨朝红;宫云战;肖庆;毕学军;;基于模型的软件测试[J];北京化工大学学报(自然科学版);2007年S1期
2 李红臣,史美林;工作流模型及其形式化描述[J];计算机学报;2003年11期
3 夏玉辉;张威;李鸣;万琳;;变量定义未使用故障的一种静态测试方法[J];计算机工程与设计;2007年03期
4 赵鹏宇;万琳;宫云战;;未初始化变量的一种静态测试方法[J];计算机工程与设计;2007年04期
5 宫云战;一种面向故障的软件测试新方法[J];装甲兵工程学院学报;2004年01期
6 张威,肖庆,卢庆龄,马雪雁;面向故障的软件测试方法研究[J];装甲兵工程学院学报;2004年02期
7 高传平,宫云战;数组越界软件测试系统的设计与实现[J];装甲兵工程学院学报;2004年02期
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 刘文胜;张勇;吴强;;测绘工程管理信息化的研究[J];辽宁科技大学学报;2009年05期
3 卫国标;网络防火墙分析与实现[J];安徽水利水电职业技术学院学报;2005年02期
4 冯敏,郭建文,盖迎春,冉有华;地质钻孔信息形化管理系统框架设计与关键技术研究[J];冰川冻土;2005年02期
5 姚健;焦建栋;郦文华;;公共卫生信息平台软件工程化开发探讨[J];办公自动化;2009年02期
6 李振英;卢华明;戴丽萍;;管理信息系统与工作流管理系统的结合[J];北京机械工业学院学报;2006年03期
7 熊璋;蒲菊华;芦效峰;薛玲;;PLS概念模型及其应用[J];北京航空航天大学学报;2006年10期
8 郭皓明;马世龙;;以功能需求为驱的资源聚合方法与实现[J];北京航空航天大学学报;2008年05期
9 单锦辉;徐克俊;;软件故障诊断探讨[J];北京化工大学学报(自然科学版);2007年S1期
10 侯斌;张冠楠;宫云战;;Java性能故障模式分析[J];北京化工大学学报(自然科学版);2007年S1期
中国重要会议论文全文数据库 前10条
1 袁媛;李远红;王敏;;文档签批和审核模块的设计与实现[A];全国冶金自动化信息网2012年年会论文集[C];2012年
2 冯国玲;;高等职业教育管理中的信息化建设的概念、内涵及其设计分析的研究与实践[A];北京高等职业教育教学实践与研究(2005-2007)[C];2008年
3 张克宏;;藏文文献数字化保护系统面向对象的集成测试研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 张冠楠;宫云战;金大海;;过程间的空指针引用故障静态检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
5 王斌;张伟;段见飞;张威;;基于软件运行记录的测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 张伟;王斌;段见飞;张威;;软件运行记录模块设计及效能分析[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
7 顾肖康;王萍;盛惠兴;;健美操项目现场成绩处理软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
8 刘涛;陈行益;;基于ODC的缺陷管理系统的研究[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
9 李铎;张良驹;;数字化核功率测量装置安全软件的设计与V&V[A];第十四届全国核电子学与核探测技术学术年会论文集(下册)[C];2008年
10 李铎;张良驹;;数字化核功率测量装置安全软件的设计与V&V[A];第十四届全国核电子学与核探测技术学术年会论文集(2)[C];2008年
中国博士学位论文全文数据库 前10条
1 田石祥;冲裁上料机器人设计与视觉伺服系统的研究[D];东华大学;2011年
2 曹松;铁路行车安全预警理论与方法研究[D];中国铁道科学研究院;2011年
3 白润才;露天矿卡车实时调度优化决策系统及应用效果预测研究[D];辽宁工程技术大学;2005年
4 贾文珏;分布式GIS服务链集成关键技术[D];武汉大学;2005年
5 何斌;省级防汛会商决策支持系统集成化方法及应用研究[D];大连理工大学;2006年
6 高秋华;新一代分布式粮食作物智能决策系统研究[D];吉林大学;2006年
7 陈宇辉;给水管网动态模型维护与校验方法研究[D];同济大学;2006年
8 孙宇清;协同环境中访问控制模型与技术研究[D];山东大学;2006年
9 吴立峰;基于形式化模式分析的工作流执行网[D];上海交通大学;2006年
10 杨云;中药指纹图谱数据处理技术的研究及应用[D];华南理工大学;2007年
中国硕士学位论文全文数据库 前10条
1 崔立男;基于软总线的多工作流引擎协作的研究与实现[D];哈尔滨工程大学;2010年
2 董兴龙;基于FPGA的运动目标检测系统的研究与实现[D];大连理工大学;2010年
3 董健;基于Zigbee的门式起重机起重量安全监控系统[D];大连理工大学;2010年
4 宋词;Web服务组合的应用研究[D];辽宁工程技术大学;2009年
5 陈鹏;港口码头集装箱生产作业管理系统[D];大连海事大学;2010年
6 钦娜;幼儿园管理信息系统设计与实现[D];中国海洋大学;2010年
7 高洪玉;基于ASP.NET的网上学习及考试系统的设计与实现[D];中国海洋大学;2010年
8 韩宇亮;高校档案管理系统设计与实现[D];中国海洋大学;2010年
9 张宇迪;基于手持终端的继电保护设备HMI系统设计[D];河南工业大学;2010年
10 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 胡婧;;金融机构解决中小企业贷款信息不对称问题之道——内部评级法及违约概率与违约损失率的计量[J];当代经理人;2006年08期
2 梁缤尹;风险调整后的资本收益率在信用风险管理中的应用[J];福建农林大学学报(哲学社会科学版);2005年01期
3 谢天保,李薇;基于WEB模式的管理信息系统的设计[J];湖南大学学报(自然科学版);2002年01期
4 张迎周;徐宝文;;一种新型形式化程序切片方法[J];中国科学(E辑:信息科学);2008年02期
5 王志和;凌云;毛韶阳;;Struts框架及其在Web开发中的应用[J];计算机与信息技术;2007年03期
6 王智学;刘华虓;王毅;陈雪;王跃;刘磊;;面向对象模型语言MOOL静态切片系统的实现[J];吉林大学学报(理学版);2008年06期
7 杨激;;银行计算机系统安全解决方案的设计思想[J];金融电子化;2002年03期
8 史芳丽;梁芳宁;安兆金;;农信社信贷管理系统的设计方案[J];金融电子化;2006年06期
9 郭景峰,刘莉;一种优化C++程序的切片算法[J];计算机应用;2002年04期
10 赵中华,王建新;正向工程、逆向工程、双向工程技术及应用[J];计算机应用;2003年S1期
中国重要报纸全文数据库 前2条
1 ;[N];中国城乡金融报;2003年
2 杨凌艳;[N];中华合作时报;2010年
中国硕士学位论文全文数据库 前3条
1 陈洪博;黑龙江省农村信用社信贷管理系统的分析与设计[D];华东师范大学;2011年
2 门浩;基于J2EE平台的工作流管理系统的运行引擎和客户端及管理工具的设计与实现[D];西北大学;2001年
3 花荣斌;洪都农村商业银行信贷管理系统的设计与实现[D];云南大学;2010年
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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-62791813
  • 010-62985026