基于MDP模型的軟件測(cè)試技術(shù)研究.pdf

1、IEEE將軟件測(cè)試定義為使用人工或自動(dòng)手段來(lái)運(yùn)行或測(cè)定某個(gè)系統(tǒng)的過(guò)程,其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或是弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。作為保證軟件質(zhì)量最為有效的測(cè)試技術(shù),已經(jīng)越來(lái)越引起軟件用戶及開發(fā)人員的關(guān)注。據(jù)統(tǒng)計(jì),目前在軟件開發(fā)總成本中,用在測(cè)試上的開銷要占30％～50％。而嵌入式應(yīng)用系統(tǒng)由于受到系統(tǒng)環(huán)境的限制,難以用傳統(tǒng)的方法對(duì)其進(jìn)行測(cè)試,嵌入式系統(tǒng)本身所持有的一些要求,如實(shí)時(shí)性強(qiáng)、系統(tǒng)資源占用率高,都對(duì)測(cè)試技術(shù)提出了更高

2、的要求。測(cè)試本身是一項(xiàng)十分繁重的工作,純粹手工測(cè)試已無(wú)法滿足大規(guī)模軟件的需求,越米越多的測(cè)試工作需要測(cè)試工具的支持。在已有的測(cè)試工具中,源代碼測(cè)試工具有著重要的應(yīng)用。而C語(yǔ)言作為一種表達(dá)能力強(qiáng)、目標(biāo)代碼效率高、可移植性好的語(yǔ)言,在軟件開發(fā)中得到普遍使用。
　　 本文提供了源代碼自動(dòng)分析測(cè)試的一整套解決方案,提出了一種基于程序插樁的動(dòng)態(tài)測(cè)試框架,分析了C程序流圖PFG的構(gòu)造方法,并在此基礎(chǔ)上提出了兩種利用二分決策圖的方法來(lái)自動(dòng)生成