基于值替代的错误定位方法

值替代方法通过查找能够影响失败运行错误输出的语句,并确定这类语句的IVMP(兴趣值映射对)。IVMP是由语句中原错误运行中的值映射集合和能产生正确输出的可替代值映射集合组成。这种方法应用于错误定位分析,对确定错误语句本身和与错误语句直接相关的语句非常有效。提出了一种同时考虑控制依赖和数据依赖的值替代算法,并加入了语句错误可能性分析,能全面分析程序中的错误。     

IDL编译器Java实现

文章从阐述接口定义语言编译器在ＣＯＲＢＡ开发模型中的作用开始，提出了ＩＤＬ编译器的开发模型，然后讨论了编器的实现过程中的技术问题。     

空指针异常的自动故障定位方法

提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提方法虽然因收集堆栈信息和别名分析增加了时间开销,但是利用堆栈信息可以缩小问题搜索空间,别名分析可以发现隐含的值传递过程,从而克服单独使用静态方法分析结果引起误报和漏报的缺陷,使最终的错误定位结果更精确。     

一种快速测试Java异常处理机制的方法

异常处理机制能增强程序运行的可靠性，提高软件的健壮性，但异常处理代码本身可能存在错误．由于它的特殊性。采用与测试普通代码同样的方法对其进行测试，通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故障注入技术的基础上，提出了将Java异常处理机制的特殊结构同断言违背策略、程序变异技术相结合，可以有效地测试异常处理代码。并设计工具来支持这种故障注入方法．     

一个IDL编译器的设计与实现

阐述接口定义语言（ＩＤＬ）编译器在ＣＯＲＢＡ开发模型中的作用．提出了ＩＤＬ编译器的开发模型,讨论了在编译器实现过程中的技术问题．     

一种快速确定最大负载用户数的Web性能测试方法

随着Web应用程序用户量的不断增大,获取准确的最大负载用户数目越来越困难。针对这一问题,文章提出一种快速确定最大负载用户数目的性能测试方法。首先通过LoadRunner性能测试工具获取测试数据,然后根据提出的测试方法对测试数据进行分析,获得最大负载用户数。实验验证该方法是有效的。     

软件测试技术课程混合式在线教学模式的研究与实践

针对软件测试技术课程的特点及传统课堂教学中存在的不足,提出将腾讯课堂、雨课堂、腾讯QQ、慕测平台与软件测试教学整合的思路,介绍混合式教学实践,最后通过调查数据说明教学效果.     

基于变量作用域的数据流分析

数据流分析作为程序分析的一种重要手段,已广泛应用于各种软件工程任务中。传统的数据流迭代分析法没有考虑变量因作用域问题而被隐藏和覆盖的现象,导致数据流信息不准确。在传统数据流迭代分析法的基础上提出一种基于变量作用域的数据流分析方法,它解决了变量被隐藏和覆盖的问题。最后将改进的方法和传统分析方法分别应用于程序切片中,实验证实了改进的方法更加准确。     

一种改进的程序可达基路径生成方法

考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法,构建异常控制流图。在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路径集。实例分析结果表明,该方法能准确生成可达基路径集,满足基路径测试的要求。