[發(fā)明專利]基于遞歸在線算法的進(jìn)程任務(wù)塊可疑依賴關(guān)系的發(fā)現(xiàn)方法

有效

• 申請?zhí)枺?/td>: 201711216892.9
• 申請日: 2017-11-28
• 公開（公告）號: CN107861880B
• 公開（公告）日: 2021-06-22
• 發(fā)明（設(shè)計）人: 曲明成;陳蛟龍;王冠楠
• 申請（專利權(quán)）人: 曲明成
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 哈爾濱市松花江專利商標(biāo)事務(wù)所 23109
• 代理人: 岳泉清

基于遞歸在線算法的進(jìn)程任務(wù)塊可疑依賴關(guān)系的優(yōu)化方法，本發(fā)明涉及進(jìn)程任務(wù)塊可疑依賴關(guān)系的優(yōu)化方法。本發(fā)明的目的是為了解決現(xiàn)有技術(shù)不能準(zhǔn)確確定可疑依賴關(guān)系集合中的部分依賴關(guān)系是否能夠決定測試用例的正確與否的問題。過程為：一、輸入正確測試用例；二、令a_[i]與a_[i+1]交換；三、測試能否正確執(zhí)行，是執(zhí)行四；否，將a_[p?1]與a_[p]交換，執(zhí)行七；四、令a_[i+1]與a_[i+2]交換；執(zhí)行三，是執(zhí)行五；否執(zhí)行七；五、令a_[i+2]與a_[i+3]交換；六、迭代執(zhí)行三?五，直至a_i在a_j位置之后；七、當(dāng)a_i與a_p不能交換時，執(zhí)行三；當(dāng)a_i＞＞a_p＞＞a_j，直接輸出；當(dāng)a_p與a_j能交換時，執(zhí)行三，直到a_i在a_j位置之后。本發(fā)明用于任務(wù)塊可疑依賴關(guān)系的優(yōu)化領(lǐng)域。

技術(shù)領(lǐng)域

本發(fā)明涉及進(jìn)程任務(wù)塊可疑依賴關(guān)系的發(fā)現(xiàn)方法。

背景技術(shù)

幾個并發(fā)執(zhí)行的任務(wù)，優(yōu)先級相同，每個任務(wù)可以被拆分成若干個塊，任務(wù)中關(guān)聯(lián)塊(彼此有影響)的并發(fā)執(zhí)行順序?qū)ψ罱K結(jié)果會造成影響。通常可以，利用一些算法獲取到任務(wù)塊的可疑關(guān)鍵依賴關(guān)系。但在獲取可疑關(guān)鍵依賴關(guān)系后，不能準(zhǔn)確確定某些依賴關(guān)系是否能夠決定測試用例的正確與否。為此，本發(fā)明提供了一種基于構(gòu)建測試用例的算法來準(zhǔn)確找出每一個關(guān)鍵依賴關(guān)系。

發(fā)明內(nèi)容

本發(fā)明的目的是為了解決現(xiàn)有技術(shù)不能準(zhǔn)確確定可疑依賴關(guān)系集合中的部分依賴關(guān)系是否能夠決定測試用例的正確與否的問題，而提出基于遞歸在線算法的進(jìn)程任務(wù)塊可疑依賴關(guān)系的發(fā)現(xiàn)方法。

基于遞歸在線算法的進(jìn)程任務(wù)塊可疑依賴關(guān)系的發(fā)現(xiàn)方法具體過程為：

步驟一、輸入正確和錯誤的測試用例，正確測試用例為a₁，a₂，...，a_i，a_i+1，...a_p，...a_j，a_j+1，...，a_m，ipj；根據(jù)一種基于矩陣的獲取進(jìn)程任務(wù)塊依賴關(guān)系方法得到a_i在a_j之前執(zhí)行，找出α個正確測試用例中a_i和a_j距離最近所在的正確測試用例，將該正確測試用例重新命名為a_[1]，a_[2]，...，a_[i]，a_[i+1]，...a_[p]，...，a_[j]，a_[j+1]，...，a_[m]；

步驟二、

令步驟一中正確測試用例a_[1]，a_[2]，...，a_[i]，a_[i+1]，...a_[p]，...，a_[j]，a_[j+1]，...，a_[m]中的a_[i]與a_[i+1]交換，生成新的測試用例；

步驟三、測試新的測試用例能否正確執(zhí)行，若新的測試用例能正確執(zhí)行，執(zhí)行步驟四；若新的測試用例不能正確執(zhí)行，將a_[p-1]與a_[p]交換，執(zhí)行步驟七；

步驟四、