[发明专利]基于本体的并发错误测试工具推荐方法

权利要求书

1.一种基于本体的并发错误测试工具推荐方法，其特征在于包括以下步骤：

步骤一、将并发错误分为死锁、数据竞争、原子性违背以及顺序违背四个大类，将数据竞争进一步分为写-写竞争和读-写竞争，将原子性违背进一步被分为单变量的原子性违背和多变量的原子性违背；使用protégé进行本体构建；

步骤二、对现有的并发错误测试工具进行调研，找出不同的并发错误测试工具的侧重点和特点；

步骤三、进行本体构建；构建本体分成三个模块，某些用户清楚地知道待测程序可能存在的并发错误类型或是要对待测程序进行针对某种特定类型的并发错误，使用模块一，根据用户给出的并发错误类型进行推荐，模块一包括有bug实体、tool实体和problem实体；对于那些并不知道具体可能出现哪些类型的并发错误的用户使用模块二或模块三进行推荐，模块二给出了一些可能含有并发错误程序的特征，模块二根据程序含有的特征进行推荐，模块二包括有bug实体、tool实体、property实体和problem实体；如果用户并不了解程序则使用模块三进行推荐，模块三根据用户的实际需求进行推荐，模块三包括有benefit实体、tool实体和problem实体；

步骤四、使用Jena推理机机制定义推理关系：在模块一中，如果某工具a可对并发错误b进行检测，而用户给出的待测程序c又恰好需要针对并发错误b的检测，则为用户推荐测试工具a；在模块二中，如果某工具a可对并发错误b进行检测，而用户给出的待测程序c又恰好需要针对并发错误b的检测，则为用户推荐测试工具a；在模块三中，如果若用户需要满足性质b、c、d的测试工具，而测试工具e恰好可满足这些性质，则系统推荐使用工具e；根据上述的三条规则编写生成规则文件后，将规则文件与protégé中的本体相关联，实现推荐。