王庆坛
- 作品数:4 被引量:15H指数:2
- 供职机构:中国矿业大学计算机科学与技术学院更多>>
- 发文基金:江苏省研究生培养创新工程项目江苏省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 不可达基路径的静态检测方法被引量:4
- 2012年
- 不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题。提出了一种包含异常处理结构的程序不可达路径的静态检测方法。该方法根据数据流信息判断产生冲突的分支,进而利用分支冲突检测路径的可达性;在数据流分析时考虑异常处理结构和变量别名对数据流信息的影响。实例分析结果表明,该方法可以进一步提高路径可达性检测的准确度。
- 张艳梅姜淑娟王庆坛赵雪峰
- 关键词:不可达路径异常处理别名分析
- 一个程序静态分析与可视化工具
- 程序的静态分析技术可以将程序源代码抽象为结构化数据。通过可视化技术将程序的内部关系图形化地直观显示,有利于软件的测试和分析,对保证软件质量起到一定作用。针对上述两方面,作者设计并实现了一个程序静态分析与可视化工具——Co...
- 李海洋姜淑娟王庆坛
- 关键词:软件测试可视化工具程序静态分析MVC模式调用图
- 一种改进的程序可达基路径生成方法被引量:1
- 2012年
- 考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法,构建异常控制流图。在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路径集。实例分析结果表明,该方法能准确生成可达基路径集,满足基路径测试的要求。
- 王庆坛姜淑娟张艳梅
- 关键词:异常处理控制流图
- 一种基于耦合度量的类间集成测试序的确定方法被引量:10
- 2011年
- 类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一种基于耦合度量的类间集成测试序的确定方法.采用类间耦合度量与基于图的启发式算法相结合的方法,其中,前者用于度量每一个测试桩的复杂度,后者用于在保证测试桩总体复杂度尽可能小的条件下来打破环路.首先提出一种在度量中使用的耦合权重的计算方法,对测试桩的复杂度进行新的耦合度量;然后给出一种有效打破环路的基于图的启发式算法;最后实现了类间测试序列自动生成工具——TOGOS.实验结果表明:文中的方法较现有的方法总体复杂度有明显的降低,从而节约了测试成本.
- 姜淑娟张艳梅李海洋王庆坛
- 关键词:启发式算法