公开(公告)号：CN103365775A

公开(公告)日：2013-10-23

申请号：CN201310250702.0

申请日：2013-06-21

Applicant: 北京大学

Inventor： 熊英飞 ,  祝韬 ,  郝丹 ,  张路 ,  谢冰

IPC: G06F11/36

Abstract: 一种基于内部状态检查的单元测试方法，其特征在于，用户在测试用例中编写内部状态约束，所述约束为执行到被测代码的目标位置时，相关变量应满足的算术或逻辑约束，从而最终实现对被测代码内部状态进行检查。通过本发明，软件开发者可以在测试用例中添加对被测代码中间状态的检查，使开发者可以只编写较少的测试用例就能发现更多的错误，而且帮助开发者更快地排查错误，提高了开发者进行的测试的效率。

公开(公告)号：CN103365775B

公开(公告)日：2016-04-06

申请号：CN201310250702.0

申请日：2013-06-21

Applicant: 北京大学

Inventor： 熊英飞 ,  祝韬 ,  郝丹 ,  张路 ,  谢冰

IPC: G06F11/36

Abstract: 一种基于内部状态检查的单元测试方法，其特征在于，用户在测试用例中编写内部状态约束，所述约束为执行到被测代码的目标位置时，相关变量应满足的算术或逻辑约束，从而最终实现对被测代码内部状态进行检查。通过本发明，软件开发者可以在测试用例中添加对被测代码中间状态的检查，使开发者可以只编写较少的测试用例就能发现更多的错误，而且帮助开发者更快地排查错误，提高了开发者进行的测试的效率。