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

在審

• 申請?zhí)枺?/td>: 201710442522.0
• 申請日: 2017-06-13
• 公開（公告）號: CN107168882A
• 公開（公告）日: 2017-09-15
• 發(fā)明（設(shè)計）人: 鄭煒;黃月明;馮晨;藺軍;王文鵬
• 申請（專利權(quán)）人: 西北工業(yè)大學(xué)
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06N5/04
• 代理公司: 西北工業(yè)大學(xué)專利中心61204
• 代理人: 王鮮凱

1.一種基于本體的并發(fā)錯誤測試工具推薦方法，其特征在于包括以下步驟：

步驟一、將并發(fā)錯誤分為死鎖、數(shù)據(jù)競爭、原子性違背以及順序違背四個大類，將數(shù)據(jù)競爭進(jìn)一步分為寫-寫競爭和讀-寫競爭，將原子性違背進(jìn)一步被分為單變量的原子性違背和多變量的原子性違背；使用protégé進(jìn)行本體構(gòu)建；

步驟二、對現(xiàn)有的并發(fā)錯誤測試工具進(jìn)行調(diào)研，找出不同的并發(fā)錯誤測試工具的側(cè)重點(diǎn)和特點(diǎn)；

步驟三、進(jìn)行本體構(gòu)建；構(gòu)建本體分成三個模塊，某些用戶清楚地知道待測程序可能存在的并發(fā)錯誤類型或是要對待測程序進(jìn)行針對某種特定類型的并發(fā)錯誤，使用模塊一，根據(jù)用戶給出的并發(fā)錯誤類型進(jìn)行推薦，模塊一包括有bug實(shí)體、tool實(shí)體和problem實(shí)體；對于那些并不知道具體可能出現(xiàn)哪些類型的并發(fā)錯誤的用戶使用模塊二或模塊三進(jìn)行推薦，模塊二給出了一些可能含有并發(fā)錯誤程序的特征，模塊二根據(jù)程序含有的特征進(jìn)行推薦，模塊二包括有bug實(shí)體、tool實(shí)體、property實(shí)體和problem實(shí)體；如果用戶并不了解程序則使用模塊三進(jìn)行推薦，模塊三根據(jù)用戶的實(shí)際需求進(jìn)行推薦，模塊三包括有benefit實(shí)體、tool實(shí)體和problem實(shí)體；

步驟四、使用Jena推理機(jī)機(jī)制定義推理關(guān)系：在模塊一中，如果某工具a可對并發(fā)錯誤b進(jìn)行檢測，而用戶給出的待測程序c又恰好需要針對并發(fā)錯誤b的檢測，則為用戶推薦測試工具a；在模塊二中，如果某工具a可對并發(fā)錯誤b進(jìn)行檢測，而用戶給出的待測程序c又恰好需要針對并發(fā)錯誤b的檢測，則為用戶推薦測試工具a；在模塊三中，如果若用戶需要滿足性質(zhì)b、c、d的測試工具，而測試工具e恰好可滿足這些性質(zhì)，則系統(tǒng)推薦使用工具e；根據(jù)上述的三條規(guī)則編寫生成規(guī)則文件后，將規(guī)則文件與protégé中的本體相關(guān)聯(lián)，實(shí)現(xiàn)推薦。