版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
一种基于Java并发程序错误的不变式检测系统
专利申请号：CN201210236250.6
公 开 号：CN102799527A
代 理 人：陆飞;盛志范
代理机构：31200 上海正旦专利代理有限公司
专利类型：发明申请
申 请 日：20121128
公 开 日：20120710
专利主分类号：G06F11/36(20060101)
关 键 词：文件分析模块 上下文信息 预处理模块 并发程序 程序错误 传递模块 传统工具 封装函数 检测模块 检测系统 六大模块 对程序 排序 区分 检测 训练
摘 要：本发明属于程序错误检测技术领域，具体为一种基于Java并发程序错误的不变式检测系统。其包括预处理模块、不变式训练模块、不变式文件分析模块，不变式检测模块，错误排序删减模块及上下文收集传递模块六大模块；本发明在在动态运行时以PaCC及PCC模式对程序的上下文信息进行记录，解决了Java程序中的封装函数导致传统工具无法有效区分程序点的问题。
