[發明專利]基于本體的并發錯誤測試工具推薦方法

在審

• 申請號: 201710442522.0
• 申請日: 2017-06-13
• 公開（公告）號: CN107168882A
• 公開（公告）日: 2017-09-15
• 發明（設計）人: 鄭煒;黃月明;馮晨;藺軍;王文鵬
• 申請（專利權）人: 西北工業大學
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06N5/04
• 代理公司: 西北工業大學專利中心61204
• 代理人: 王鮮凱

技術領域

本發明涉及一種基于本體的推薦方法，特別涉及一種基于本體的并發錯誤測試工具推薦方法。

背景技術

文獻基于“喬冬春,劉曉燕,付曉東,等.一種基于本體的推薦系統模型[J].計算機工程,2014,40(11):282-287”中提出的一種基于本體的推薦方法。該方法提出一種基于本體的推薦系統模型。將本體引入到推薦系統中，使用OWL語言對用戶和項目信息進行描述，使用戶和項目具有語義信息的同時，提高信息的結構化描述水平。在推薦過程中，通過規則分析用戶行為信息并綜合考慮以提高模型的推薦質量。實驗結果證明，與傳統推薦模型相比，該模型在信息結構化水平、語義描述等方面具有優勢。采用該模型為用戶推薦項目能夠有效提高推薦的召回率和準確率。但是該文獻中提出的推薦方法沒有給出推理機的支撐，當用戶給定的信息不直接與推理結果關聯時會并不能給出推理結果，同時，該方法也沒有在并發錯誤測試工具推薦方面的應用。

發明內容

為了克服現有基于本體的推薦方法實用性差的不足，本發明提供一種基于本體的并發錯誤測試工具推薦方法。該方法通過對現存并發錯誤進行研究，提取不同類型并發錯誤的典型特點，再對現存部分并發錯誤測試工具進行調研，研究不同測試工具的側重點和特點，構建并發錯誤測試工具本體，同時，根據并發錯誤特點和并發錯誤類型之間的聯系關系、測試工具側重點和并發程序之間的聯系關系，基于Jena推理機建立規則文件對本體進行完善，當用戶給定的信息不直接與推理結果關聯時也能夠給出推理結果，最終實現基于本體的并發錯誤測試工具推薦，實用性好。

本發明解決其技術問題所采用的技術方案：一種基于本體的并發錯誤測試工具推薦方法，其特點是包括以下步驟：

步驟一、將并發錯誤分為死鎖、數據競爭、原子性違背以及順序違背四個大類，將數據競爭進一步分為寫-寫競爭和讀-寫競爭，將原子性違背進一步被分為單變量的原子性違背和多變量的原子性違背。使用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é中的本體相關聯，實現推薦。

本發明的有益效果是：該方法通過對現存并發錯誤進行研究，提取不同類型并發錯誤的典型特點，再對現存部分并發錯誤測試工具進行調研，研究不同測試工具的側重點和特點，構建并發錯誤測試工具本體，同時，根據并發錯誤特點和并發錯誤類型之間的聯系關系、測試工具側重點和并發程序之間的聯系關系，基于Jena推理機建立規則文件對本體進行完善，當用戶給定的信息不直接與推理結果關聯時也能夠給出推理結果，最終實現基于本體的并發錯誤測試工具推薦，實用性好。