期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于输入输出关系的综合黑盒测试方法 被引量：6
1
作者 崔应霞 李龙澍 《计算机工程与设计》 CSCD 北大核心 2007年第23期5581-5584,共4页
主要针对黑盒测试存在的问题,提出一种测试用例设计方法:根据系统规格说明和系统输入输出之间的关系等附加信息,来确定输入参数之间的覆盖和约束关系,并对参数输入域进行约减;接着对各组合进行处理;仅对各个组合中的输入变量进行两两组... 主要针对黑盒测试存在的问题,提出一种测试用例设计方法:根据系统规格说明和系统输入输出之间的关系等附加信息,来确定输入参数之间的覆盖和约束关系,并对参数输入域进行约减;接着对各组合进行处理;仅对各个组合中的输入变量进行两两组合覆盖;对各相关组的结果进行水平拼接组合。实践结果表明,该方法在不影响测试检错能力的情况下有效地提高了测试用例的选择效果。 展开更多
关键词 黑盒测试 覆盖和约束关系 两两组合测试 组合关系 用例生成算法 测试用例
下载PDF
汇编程序流程图生成算法研究与实现 被引量：3
2
作者 崔应霞 李龙澍 《计算机工程与设计》 CSCD 北大核心 2009年第9期2279-2282,共4页
程序流程图显示程序的控制流逻辑,它的生成主要涉及逻辑控制的刻画。针对汇编语言特点和依据伪深度搜索思想,给出汇编程序流程图生成算法:对汇编源程序进行分析,在源程序中划分出原子子程序,先对第一个原子子程序语句根据特定的方法进... 程序流程图显示程序的控制流逻辑,它的生成主要涉及逻辑控制的刻画。针对汇编语言特点和依据伪深度搜索思想,给出汇编程序流程图生成算法:对汇编源程序进行分析,在源程序中划分出原子子程序,先对第一个原子子程序语句根据特定的方法进行分类处理,产生原子子程序流程图,然后根据一定的规则进一步确定新原子子程序,用同样的方法产生此原子子程序流程图,重复这一过程直到所有源代码的流程图产生完毕。实践结果表明,该算法能有效产生汇编程序流程图。 展开更多
关键词 程序流程图 控制流逻辑 汇编语言 原子子程序 伪深度搜索
下载PDF
组合测试用例集的动态生成算法 被引量：3
3
作者 崔应霞 李龙澍 姚晟 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第4期612-615,619,共5页
在逐因素扩展算法的基础上,提出了一种有效的组合测试用例生成算法IPO_T。该算法根据已被扩展的测试用例覆盖t(t≥2)参数值组合的情况确定水平扩展方法,并依据新的被覆盖的t参数值组合修改已被扩展的部分测试用例,从而达到对测试用例集... 在逐因素扩展算法的基础上,提出了一种有效的组合测试用例生成算法IPO_T。该算法根据已被扩展的测试用例覆盖t(t≥2)参数值组合的情况确定水平扩展方法,并依据新的被覆盖的t参数值组合修改已被扩展的部分测试用例,从而达到对测试用例集的优化。设计实现了基于该方法的测试用例生成工具。通过和部分现有的支持t维组合测试工具比较,IPO_T在合理的时间内产生的测试用例集较小。 展开更多
关键词 组合测试 动态生成 水平扩展 测试用例生成
下载PDF
改进的基于包含约束的指针分析法
4
作者 崔应霞 李龙澍 姚晟 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第4期563-567,共5页
针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约... 针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图,图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息。实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。 展开更多
关键词 包含约束语言 约束传播规则 约束图简化 静态分析
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部