基于預(yù)測(cè)的開(kāi)銷可控運(yùn)行時(shí)驗(yàn)證技術(shù)研究.pdf

1、軟件運(yùn)行時(shí)驗(yàn)證作為一種新興的軟件質(zhì)量驗(yàn)證方法，區(qū)別于傳統(tǒng)的軟件測(cè)試和模型檢測(cè)，能夠避免狀態(tài)爆炸問(wèn)題以及測(cè)試用例不完備的問(wèn)題，這一特點(diǎn)使得運(yùn)行時(shí)驗(yàn)證技術(shù)越來(lái)越受到關(guān)注。然而由于運(yùn)行時(shí)驗(yàn)證是基于對(duì)軟件系統(tǒng)進(jìn)行實(shí)時(shí)監(jiān)控進(jìn)行的，監(jiān)控行為在多方面對(duì)軟件運(yùn)行效率造成了影響。本文針對(duì)這一問(wèn)題，提出了一種基于預(yù)測(cè)的開(kāi)銷可控軟件運(yùn)行時(shí)驗(yàn)證方法?；趯?duì)軟件歷史運(yùn)行數(shù)據(jù)的處理和分析，研究出軟件運(yùn)行規(guī)律，并以此預(yù)測(cè)軟件未來(lái)運(yùn)行風(fēng)險(xiǎn)。當(dāng)運(yùn)行時(shí)驗(yàn)證對(duì)目標(biāo)系統(tǒng)的運(yùn)行

2、效率產(chǎn)生的影響不可忽視的時(shí)候，軟件未來(lái)運(yùn)行風(fēng)險(xiǎn)可以指導(dǎo)運(yùn)行時(shí)驗(yàn)證系統(tǒng)對(duì)自身的監(jiān)控行為進(jìn)行自我調(diào)控，從而維持軟件本身的正常運(yùn)行。
　　本文的主要工作如下:
　　1.在對(duì)現(xiàn)有的運(yùn)行時(shí)驗(yàn)證技術(shù)進(jìn)行研究的基礎(chǔ)上，提出了基于預(yù)測(cè)的開(kāi)銷可控軟件運(yùn)行時(shí)驗(yàn)證框架。該框架對(duì)傳統(tǒng)的運(yùn)行時(shí)驗(yàn)證流程進(jìn)行改進(jìn)，加入了改善運(yùn)行時(shí)驗(yàn)證系統(tǒng)運(yùn)行效率的手段。該框架首先通過(guò)PEDL和MEDL腳本語(yǔ)言完成對(duì)目標(biāo)系統(tǒng)的插樁，然后收集軟件的歷史運(yùn)行數(shù)據(jù)，對(duì)其進(jìn)行分析

3、，利用馬爾科夫鏈和隱馬爾科夫模型進(jìn)行軟件未來(lái)運(yùn)行風(fēng)險(xiǎn)評(píng)估，最后根據(jù)風(fēng)險(xiǎn)評(píng)估的結(jié)果對(duì)軟件監(jiān)控行為進(jìn)行調(diào)控，并將這些內(nèi)容與MaC框架進(jìn)行結(jié)合。
　　2.提出了根據(jù)軟件運(yùn)行歷史信息來(lái)預(yù)測(cè)軟件未來(lái)運(yùn)行風(fēng)險(xiǎn)的方法，分別使用馬爾可夫鏈和隱馬爾可夫模型，針對(duì)對(duì)軟件中對(duì)系統(tǒng)中所有狀態(tài)都為可觀察狀態(tài)以及系統(tǒng)中包含部分隱含狀態(tài)的情況給出解決方案。首先給出根據(jù)歷史數(shù)據(jù)建立軟件行為模型的方法，然后根據(jù)模型給出未來(lái)有限步數(shù)內(nèi)，針對(duì)某一性質(zhì)的軟件行為的運(yùn)行風(fēng)