首页> 中文会议>第二届中国测试学术会议 >一种基于谓词的程序切片自动生成算法

一种基于谓词的程序切片自动生成算法

页面导航

摘要
著录项
相似文献
相关主题

摘要

利用分支函数极小化,生成给定路径的测试数据,需计算路径上谓词中变量的当前值.文中基于谓词的程序切片自动生成算法,以相应的切片标准为准则,利用程序DUC(Definition_Use_Control)表达式,构造基于谓词的程序切片.对任意的输入,通过执行该切片,获得谓词中变量的当前值,为测试数据的自动生成奠定了基础.

著录项

来源
《第二届中国测试学术会议》|2002年|335-340|共6页
会议地点上海
作者
赵瑞莲; 刘威;
展开▼
作者单位

中国计算机学会;

中国计量测试学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类软件工程;设计与性能分析;
关键词
软件测试; 谓词; 程序切片; DUC表达式; 测试生成;

相似文献

中文文献
外文文献
专利

1. 基于程序切片的一种耦合度量改进算法 [J] . 王良平 ,江国华 . 电子科技 . 2013,第004期
2. 一种基于逆向程序流的程序切片算法 [J] . 白文科 ,杨献春 ,许满武 . 计算机应用研究 . 2009,第003期
3. 一种基于程序切片算法的软件故障诊断策略 [J] . 周婕 ,慕晓冬 ,王杰 . 微电子学与计算机 . 2006,第8期
4. 一种基于混沌不透明谓词的压扁控制流算法 [J] . 吴伟民 ,林水明 ,林志毅 . 计算机科学 . 2015,第005期
5. 一种基于谓词覆盖技术的启发式事件匹配算法 [J] . 张凯隆 ,庄艳 ,陈继明 . 计算机应用与软件 . 2010,第006期
6. 一种基于程序切片的反代码迷惑算法 [C] . 钟诚 ,朱正平 ,张莲 . 全国第18届计算机技术与应用学术会议(CACIS) . 2007
7. 基于动态程序切片技术的测试用例自动生成研究 [A] . 刘磊 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号