公开(公告)号：CN102779093A

公开(公告)日：2012-11-14

申请号：CN201210228303.X

申请日：2012-07-04

Applicant: 复旦大学

Inventor： 杨珉 ,  王笛

IPC: G06F11/36

Abstract: 本发明属于程序错误检测技术领域，具体为一种对象粒度收集的Java不变式检测系统。本发明系统包括预处理模块、不变式训练模块、不变式文件分析模块、不变式检测模块以及错误排序删减模块；其中，预处理模块负责检测和过滤程序中不会引起并发错误的对象；不变式训练模块，基于对象粒度提取程序中的不变式信息，并产生一个不变式记录文件；文件分析模块对所有不变式记录文件中的信息按照不变式规则进行归并，最终合成一个文件；不变式检测模块利用合成的文件指导检测运行；错误排序删减模块，负责对不变式检测模块检测到的程序错误做可信性分析；本发明减少了程序中交叉存取出现的次数，降低了运行开销，并有效地进行多变量并发错误的检测。

公开(公告)号：CN102779093B

公开(公告)日：2016-05-25

申请号：CN201210228303.X

申请日：2012-07-04

Applicant: 复旦大学

Inventor： 杨珉 ,  王笛

IPC: G06F11/36

Abstract: 本发明属于程序错误检测技术领域，具体为一种对象粒度收集的Java不变式检测系统。本发明系统包括预处理模块、不变式训练模块、不变式文件分析模块、不变式检测模块以及错误排序删减模块；其中，预处理模块负责检测和过滤程序中不会引起并发错误的对象；不变式训练模块，基于对象粒度提取程序中的不变式信息，并产生一个不变式记录文件；文件分析模块对所有不变式记录文件中的信息按照不变式规则进行归并，最终合成一个文件；不变式检测模块利用合成的文件指导检测运行；错误排序删减模块，负责对不变式检测模块检测到的程序错误做可信性分析；本发明减少了程序中交叉存取出现的次数，降低了运行开销，并有效地进行多变量并发错误的检测。

公开(公告)号：CN102799527A

公开(公告)日：2012-11-28

申请号：CN201210236250.6

申请日：2012-07-10

Applicant: 复旦大学

Inventor： 杨珉 ,  王笛

IPC: G06F11/36

Abstract: 本发明属于程序错误检测技术领域，具体为一种基于Java并发程序错误的不变式检测系统。其包括预处理模块、不变式训练模块、不变式文件分析模块，不变式检测模块，错误排序删减模块及上下文收集传递模块六大模块；本发明在在动态运行时以PaCC及PCC模式对程序的上下文信息进行记录，解决了Java程序中的封装函数导致传统工具无法有效区分程序点的问题。