[發(fā)明專利]一種實(shí)時(shí)軟件壓力測(cè)試用例生成方法及裝置

有效

• 申請(qǐng)?zhí)枺?/td>: 201410553203.3
• 申請(qǐng)日: 2014-10-17
• 公開（公告）號(hào): CN104239218A
• 公開（公告）日: 2014-12-24
• 發(fā)明（設(shè)計(jì)）人: 張廣泉;張紅美;戎玫;顧玉磊;孫悅?cè)?/a>
• 申請(qǐng)（專利權(quán)）人: 蘇州大學(xué)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 北京集佳知識(shí)產(chǎn)權(quán)代理有限公司 11227
• 代理人: 常亮

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

本申請(qǐng)涉及壓力測(cè)試技術(shù)領(lǐng)域，更具體地說，涉及一種實(shí)時(shí)軟件壓力測(cè)試用例生成方法及裝置。

背景技術(shù)

在交通運(yùn)輸、醫(yī)療設(shè)備、航空控制器、武器、核反應(yīng)系統(tǒng)等安全攸關(guān)領(lǐng)域，極有可能因缺陷帶來人員生命和財(cái)產(chǎn)的重大損失，甚至災(zāi)難，環(huán)境的嚴(yán)重毀壞。因此，安全攸關(guān)系統(tǒng)僅僅滿足功能需求遠(yuǎn)遠(yuǎn)不夠，對(duì)系統(tǒng)進(jìn)行性能分析同樣具有重要性和必要性。因此，在軟件運(yùn)行之前，有必要對(duì)軟件進(jìn)行徹底的測(cè)試。

許多軟件在正常環(huán)境下一般不會(huì)出現(xiàn)錯(cuò)誤，極端的環(huán)境下往往會(huì)引發(fā)許多嚴(yán)重的錯(cuò)誤。壓力測(cè)試，即通過輸入組合，使待測(cè)軟件處于極端狀態(tài)，意圖使系統(tǒng)出現(xiàn)錯(cuò)誤。針對(duì)于軟件的時(shí)間約束，則是在一定的任務(wù)調(diào)度策略下，搜索任務(wù)可能執(zhí)行的順序，確定測(cè)試場(chǎng)景，使其錯(cuò)失截止期的可能性最大化。安全攸關(guān)軟件大多是實(shí)時(shí)軟件，具有嚴(yán)格的時(shí)間限制。因而，在軟件開發(fā)初期，針對(duì)軟件實(shí)時(shí)性進(jìn)行分析，生成壓力測(cè)試用例，非常重要，可以盡早發(fā)現(xiàn)軟件錯(cuò)誤，減少開發(fā)成本。

現(xiàn)有測(cè)試軟件實(shí)時(shí)性的策略主要分為3個(gè)步驟：首先在軟件開發(fā)早期，對(duì)軟件中實(shí)時(shí)性相關(guān)信息進(jìn)行描述；然后根據(jù)描述的信息，在ILOG中建立OPL模型(包括變量、約束、目標(biāo)函數(shù))；最后利用約束模型求解實(shí)時(shí)任務(wù)執(zhí)行的可能執(zhí)行序列，找出最大可能錯(cuò)過截止時(shí)間的測(cè)試場(chǎng)景。但是，現(xiàn)有OPL模型的目標(biāo)函數(shù)僅僅只有一個(gè)，因此很有可能存在多個(gè)任務(wù)執(zhí)行序列同時(shí)滿足目標(biāo)函數(shù)最大，無法精確的選取最佳的壓力測(cè)試用例。

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

有鑒于此，本申請(qǐng)?zhí)峁┝艘环N實(shí)時(shí)軟件壓力測(cè)試用例生成方法及裝置，用于解決現(xiàn)有單目標(biāo)函數(shù)的OPL模型無法精確選取最佳壓力測(cè)試用例的問題。

為了實(shí)現(xiàn)上述目的，現(xiàn)提出的方案如下：

一種實(shí)時(shí)軟件壓力測(cè)試用例生成方法，包括：

利用采集的實(shí)時(shí)軟件的實(shí)時(shí)相關(guān)信息，建立OPL模型；

其中，所述建立OPL模型包括：

定義常量：觀察時(shí)間T、處理器個(gè)數(shù)C、任務(wù)J＝{j₀,j₁,…,j_n}、在時(shí)間T內(nèi)任務(wù)j_i執(zhí)行的最大次數(shù)exec(j)、任務(wù)j_i的第k+1次執(zhí)行為事件a_ik、任務(wù)j_i的優(yōu)先權(quán)p(j)、任務(wù)j_i的最大時(shí)間間隔max_ia(j)、任務(wù)j_i的最大和最小持續(xù)時(shí)間max_dr(j)、min_dr(j)；

定義變量：事件a_ik的到達(dá)時(shí)間at(a_ik)、、事件a_ik的開始時(shí)間s(a_ik)、事件a_ik的結(jié)束時(shí)間e(a_ik)、在觀察時(shí)間T內(nèi)事件a_ik的截止時(shí)間edl(a_ik)、事件a_ik在時(shí)間t時(shí)執(zhí)行active(a_ik)；

定義約束條件：觸發(fā)關(guān)系triggers：若任務(wù)j₁觸發(fā)任務(wù)j₂，則有e(a_1k)＝at(a_2k)；依賴關(guān)系dependent：若s(a_1k)<s(a_2k)，則s(a_2k)>e(a_1k)；

定義目標(biāo)函數(shù)：