Add to ORKG软件测试作为保证软件质量和可靠性的一种重要技术，开销在整个软件开发成本中占有很大比重。随着测试驱动开发的流行，开发者需要花大量时间在测试和调试工作上。对于开发者，编写测试用例和根据测试的失败信息去进行调试排错是一个非常耗费精力和时间的任务，如何有效地进行开发者测试，减轻开发人员的负担，成为了测试领域的一个重要问题。<br> 本文基于程序插桩技术设计和实现了一个单元测试工具，针对Java语言，扩展了单元测试工具JUnit。用户可以根据需要，在测试用例中定义所关心的对象执行到代码中特定位置所必须满足的约束。从而，在测试用例中实现了被测代码内部状态的检查。通过内部状态的检查，可以提高测试用例的测试效率，帮助开发者在同等测试用例的情况下，发现更多的错误。<br> 工具分为五个主要功能模块:用户交互模块、表达式解析模块、程序插桩模块、实时模块和执行模块。其中，表达式解析模块和程序插桩模块是工具的核心。表达式解析模块负责解析用户输入的约束，并在获取到相关的信息后，负责对约束求值验证。程序插桩模块负责在被测代码的特定位置插入额外的代码，用以获取被测代码执行时的相关信息。为了提高工具的效率，工具采用在被测代码执行时，对其可执行代码进行插桩。<br> 最后，给出了两个使用示例，展示了工具的使用过程。通过示例，展示工具可以提高测试用例的测试效率，在同等情况下发现更多的错误。以及展示了怎样帮助使用者完成对被测代码逻辑的切分，使开发者在调试的时候更快地确定错误的位置。<br>