崔应霞
- 作品数：5 被引量：18H指数：3
- 供职机构：安徽大学更多>>
- 发文基金：安徽省自然科学基金国家自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 改进的基于包含约束的指针分析法
- 2010年
- 针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图,图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息。实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。
- 崔应霞李龙澍姚晟
- 组合测试用例集的动态生成算法被引量：3
- 2011年
- 在逐因素扩展算法的基础上,提出了一种有效的组合测试用例生成算法IPO_T。该算法根据已被扩展的测试用例覆盖t(t≥2)参数值组合的情况确定水平扩展方法,并依据新的被覆盖的t参数值组合修改已被扩展的部分测试用例,从而达到对测试用例集的优化。设计实现了基于该方法的测试用例生成工具。通过和部分现有的支持t维组合测试工具比较,IPO_T在合理的时间内产生的测试用例集较小。
- 崔应霞李龙澍姚晟
- 关键词：测试用例生成
- 组合测试技术的研究与应用
- 软件测试横跨整个软件开发周期，并占据其工作量的40％以上。它是保证软件质量的重要手段。软件测试是为了发现软件错误而执行待测软件的过程，它精心选择不同的测试用例生成技术生成一些测试用例，然后用这些测试用例运行待测软件，并发...
- 崔应霞
- 关键词：软件质量测试用例
- 汇编程序流程图生成算法研究与实现被引量：4
- 2009年
- 程序流程图显示程序的控制流逻辑,它的生成主要涉及逻辑控制的刻画。针对汇编语言特点和依据伪深度搜索思想,给出汇编程序流程图生成算法:对汇编源程序进行分析,在源程序中划分出原子子程序,先对第一个原子子程序语句根据特定的方法进行分类处理,产生原子子程序流程图,然后根据一定的规则进一步确定新原子子程序,用同样的方法产生此原子子程序流程图,重复这一过程直到所有源代码的流程图产生完毕。实践结果表明,该算法能有效产生汇编程序流程图。
- 崔应霞李龙澍
- 关键词：汇编语言
- 基于输入输出关系的综合黑盒测试方法被引量：7
- 2007年
- 主要针对黑盒测试存在的问题,提出一种测试用例设计方法:根据系统规格说明和系统输入输出之间的关系等附加信息,来确定输入参数之间的覆盖和约束关系,并对参数输入域进行约减;接着对各组合进行处理;仅对各个组合中的输入变量进行两两组合覆盖;对各相关组的结果进行水平拼接组合。实践结果表明,该方法在不影响测试检错能力的情况下有效地提高了测试用例的选择效果。
- 崔应霞李龙澍
- 关键词：黑盒测试两两组合测试测试用例
