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

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

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

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