公开(公告)号：CN103365775B

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

申请号：CN201310250702.0

申请日：2013-06-21

Applicant: 北京大学

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

IPC: G06F11/36

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

公开(公告)号：CN103324513A

公开(公告)日：2013-09-25

申请号：CN201310218270.5

申请日：2013-06-04

Applicant: 北京大学

Inventor： 李戈 ,  金芝 ,  郝逸洋 ,  张路

IPC: G06F9/45

Abstract: 本发明提供一种程序注释方法和装置。其中，方法包括：获取与程序代码对应的多媒体注释文件；建立多媒体注释文件与程序代码之间的关联关系。通过采用多媒体注释文件对程序代码进行注释，以使程序维护人员根据程序代码中的多媒体注释文件，能够快速理解程序代码，提高了程序维护人员的维护效率。