一个面向路径的软件测试辅助工具

软件测试作为保证软件质量、提高软件可靠性的重要手段．路径覆盖准则就是考察软件测试充分性的一种重要准则．由于严格的路径覆盖测试不可实现，选择一些对软件整体质量影响较大的重点路径进行测试，以提高软件测试工作的效率和效益．主要针对面向对象的软件系统提出了一种通用的基于统计的自动化辅助工具，通过对程序代码的静态分析和插装，以及由大量随机测试用例驱动所得到的统计分析结果，为软件的功能测试和可靠性测试中的重点路径选择提供参考依据．对该工具的主要思想、相应算法以及一些具体的实现问题进行了阐述．     

UML行为图驱动的Java程序运行时验证工具

UML是一种标准的可视化建模工具，广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UMI。行为图驱动的Java程序运行时验证工具。该工具以一个随机的测试用例集作为输入，运行经过插装的被测Java程序，得到一组用于验证的程序运行轨迹。通过对程序运行轨迹和UML行为图中合法的事件序列的比较，该工具可以对程序的动态行为规约进行检查。本文描述了该工具的设计思想、算法和实现技术，并通过对实例研究对该工具的可用性和有效性进行了讨论。