软件测试是软件生命周期中的一个重要阶段，是软件质量保证的重要手段。由于软件测试活动具有重复性高、劳动量大等特点，针对软件测试自动化的研究工作从高级编程语言广泛应用起就已经开始了。但到目前为止，如何提高软件测试的质量和效率，提高测试的自动化水平，从而提高软件产品的质量和可靠性，仍然是困扰软件工程师的一个重要问题。　　 本文正是在现有工具的基础上，针对其缺点与不足，提出一种简单易用的自动化测试框架工具——Jtoc[Java Test Oracle Compiler/Creator]。Jtoc是按规格编程方法的一种改进，它将单元测试和被测试单元本身融为一体，使测试者在编写单元测试用例的时候不需要关心被测试单元的用例输出。以该测试框架为基础使用自动生成测试数据的工具，可以简化单元测试的编写过程，使开发过程更加敏捷。　　 本文研究并实现了自动化测试框架工具Jtoc，程序员可以通过三个Java注解给源代码加入测试，并使用Jtoc的转化工具或使用集成手段方便地将原始工程代码转化为测试代码。本文还对Jtoc的进行了理论上的可行性分析，明确划分了程序方法的输入输出域，并在这些概念的基础上证明了Jtoc测试框架使用的方法所具有的三个特征。最后文章将Jtoc与现有的契约式编程框架系统地进行横向比较，分析了Jtoc的优缺点和适用范围，并提出了其改进方向。