江苏省自然科学基金(BK2008124)

作品数:16被引量:46H指数:4
导出分析报告
相关作者:姜淑娟张艳梅赵雪峰张红昌王庆坛更多>>
相关机构:中国矿业大学徐州医学院更多>>
相关期刊:《计算机与数字工程》《计算机与现代化》《计算机应用与软件》《小型微型计算机系统》更多>>
相关主题:程序切片遗传算法数据流异常处理适应度函数更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
路径测试中基本路径集自动生成方法的研究被引量:4
《微电子学与计算机》2013年第1期104-109,共6页韩寒 姜淑娟 
国家自然科学基金(60970032);江苏省自然科学基金(BK2008124);江苏省研究生培养创新工程(CXLX12_0950)
本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路...
关键词:基本路径集 不可达路径 可达路径 依赖性分析 
一种改进的程序可达基路径生成方法被引量:1
《计算机工程》2012年第9期40-42,共3页王庆坛 姜淑娟 张艳梅 
国家自然科学基金资助项目(60970032);江苏省自然科学基金资助项目(BK2008124);江苏省研究生培养创新工程基金资助项目(CX10B_157Z);江苏省"青蓝工程"基金资助项目
考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法,构建异常控制流图。在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路...
关键词:分支冲突 异常处理 可达基路径 控制流图 基路径测试 
一种包含异常处理的粗粒度切片方法
《微电子学与计算机》2012年第7期116-120,共5页郝杰 
国家自然科学基金(60970032);教育部科学技术研究重点项目(108063);江苏省自然科学基金(BK2008124);江苏省"青蓝工程"
在构造面向对象带有异常处理的系统依赖图的基础上,分析了异常处理结构对程序依赖性的影响.并且为了得到粗粒度程序切片,提出了一种把异常处理结构转化为一个类内部私有方法的有效方法来简化带有异常处理结构的系统依赖图.然后在简化的...
关键词:程序切片 粗粒度切片 系统依赖图 简化的系统依赖图 异常处理 
基于遗传算法的动态可变参数的测试数据自动生成工具被引量:7
《计算机科学》2012年第5期124-127,155,共5页史娇娇 姜淑娟 
国家自然科学基金(60970032);江苏省自然科学基金(BK2008124);中国矿业大学科学研究基金(OD080310)资助
测试数据的生成是实现软件测试自动化的关键,这一技术的实现大大节省了软件开发的时间和费用。利用遗传算法的理论与算法特点,建立了动态可变参数的测试数据自动生成工具。通过该工具的可视化界面可以动态地输入遗传算法参数,而且能够...
关键词:软件测试 测试数据自动生成 可视化 遗传算法 适应度函数 
基于复杂系统遗传算法的多路径覆盖测试用例生成方法被引量:3
《计算机科学》2012年第4期139-141,153,共4页于博 姜淑娟 张艳梅 
国家自然科学基金(60970032);江苏省自然科学基金(BK2008124);江苏省"青蓝工程";江苏省研究生培养创新工程项目(CX10B_157Z)资助
针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛...
关键词:复杂系统 多路径覆盖 测试用例生成 遗传算法 适应度函数 
一种新的数据流覆盖测试数据进化生成方法被引量:1
《小型微型计算机系统》2012年第4期722-726,共5页靳蓉 姜淑娟 张红昌 
国家自然科学基金项目(60970032)资助;江苏省自然科学基金项目(BK2008124)资助;江苏省"青蓝工程"基金项目资助
数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方法.该方法主要分为两部分,首先,通过约减测试目标来减少插装开...
关键词:软件测试 数据流覆盖 定值-引用对 测试数据生成 遗传算法 
基于变量作用域的数据流分析被引量:1
《计算机科学》2012年第3期131-134,共4页姜淑娟 赵雪峰 
江苏省自然科学基金(BK2008124);国家自然科学基金(60970032);中国矿业大学科学研究基金(OD080310)资助
数据流分析作为程序分析的一种重要手段,已广泛应用于各种软件工程任务中。传统的数据流迭代分析法没有考虑变量因作用域问题而被隐藏和覆盖的现象,导致数据流信息不准确。在传统数据流迭代分析法的基础上提出一种基于变量作用域的数据...
关键词:数据流 迭代 作用域 程序切片 
一种包含异常处理结构的面向对象切片方法被引量:1
《微电子学与计算机》2012年第3期1-5,共5页郝杰 姜淑娟 
国家自然科学基金(60970032);教育部科学技术研究重点项目(108063);江苏省自然科学基金(BK2008124)
针对面向对象语言的特点,结合异常处理机制,对传统的系统依赖图(SDG图)进行了扩展,实现了面向对象的系统依赖图(OSDG图).改进后的OSDG图可以很好地支持继承和多态等特征,并能处理多态对象抛出和处理异常所带来的数据和控制依赖关系.通...
关键词:面向对象 异常处理 程序切片 系统依赖图 控制流图 
改进的量子遗传算法及其在测试数据生成中的应用被引量:5
《计算机应用》2012年第2期557-560,共4页周绮 姜淑娟 赵雪峰 
国家自然科学基金资助项目(60970032);江苏省自然科学基金资助项目(BK2008124);江苏省"青蓝工程"资助项目
针对测试数据自动生成中收敛速度不够快的缺点,提出一种改进的量子遗传算法(IQGA),其对量子遗传算法的主要改进是:1)在个体更新时,对个体的某一位取反,将取反后的个体用于指导下一代个体的进化;2)对测量后的二进制个体进行变异,而不是...
关键词:量子遗传算法 测试数据生成 取反指导更新 二进制变异 快速收敛 
考虑实时栈信息的静态切片工具
《计算机与现代化》2011年第12期60-62,66,共4页龚风光 李霞 王文雯 姜淑娟 
国家自然科学基金资助项目(60970032);江苏省自然科学基金资助项目(BK2008124);江苏省大学生实战创新训练计划(S2010016)
为了提高静态切片精度,本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测,找出那些确定没有执行的方法或语句,设计并实现考虑实时栈信息的Java程序静态切片工具。实验结果表明,该切片工具进一步减少搜索空间,可以提高...
关键词:堆栈追踪 执行轨迹 静态切片 搜索空间 
检索报告 对象比较 聚类工具 使用帮助 返回顶部