白盒测试技术是软件测试高级课程中的重要内容，学好白盒测试技术(如基本路径测试和条件测试)，掌握测试理论是一个方面。而对于学习该课程的软件工程研究生来说，如何把这些理论技术变成有效的工具才是更具挑战性的。把这些原理转化为工具需要整个软件工程的相关技术和理论来支持：首先要对被测源码进行解析，构建模型并从中抽取测试相关的实体，设计覆盖这些实体的路径，基于搜索技术生成高效的测试教据，通过一定的方式对程序执行的路径进行追踪，从而对测试过程进行记录和分析，生成最终的测试结果。同时要关注系统整体架构的设计，尽量提高其可扩展性和灵活性，对多种白盒测试技术进行Web服务封装，以达到前台通过多种形式对其进行调用的目的，最终以面向服务的方式实现白盒测试自动化。展示了针对Java语言的基本路径测试和条件测试的工具原型，并对原型的实现和测试流程作了必要说明。