面向軟件可靠性的測試用例生成技術(shù)的研究與實(shí)現(xiàn).pdf

1、隨著計(jì)算機(jī)軟件設(shè)計(jì)技術(shù)和開發(fā)工具的迅速發(fā)展，應(yīng)用軟件的規(guī)模和復(fù)雜性愈來愈大，帶來了對計(jì)算機(jī)應(yīng)用軟件安全性和可靠性的更高要求。軟件測試是為了發(fā)現(xiàn)軟件產(chǎn)品中的缺陷，并糾正的過程，在創(chuàng)建和發(fā)布高質(zhì)量的軟件產(chǎn)品中起到至關(guān)重要的作用。如何保證軟件的質(zhì)量，特別是軟件可靠性，已成為軟件工程中的關(guān)鍵問題之一。而對于常用在安全關(guān)鍵性領(lǐng)域的嵌入式系統(tǒng)，如何進(jìn)行測試，提高軟件的可靠性，也受到越來越多的關(guān)注。但由于嵌入式軟件的特殊性，可靠性和安全性的要求往往很

2、高，對其進(jìn)行測試時仍然存在很多問題和挑戰(zhàn)。 本論文對軟件測試和軟件可靠性工程領(lǐng)域中存在的問題作了較深入的研究，針對嵌入式實(shí)時軟件的可靠性測試作了探索性研究和實(shí)驗(yàn)，主要內(nèi)容如下： 首先從軟件工程的角度對軟件測試和可靠性測試進(jìn)行介紹，對現(xiàn)有的測試技術(shù)和軟件可靠性測試方法進(jìn)行分析和比較。軟件測試用例設(shè)計(jì)和產(chǎn)生是軟件測試中的難點(diǎn)和關(guān)鍵，它決定著軟件測試質(zhì)量的高低。本文詳細(xì)研究了當(dāng)前自動產(chǎn)生測試用例的方法，主要包括基于Z語言描述的

3、規(guī)格、基于模型、面向路徑等。在此研究基礎(chǔ)上利用Petri網(wǎng)的理論，探討了一種基于時間Petri網(wǎng)產(chǎn)生測試用例的方法。 其次，結(jié)合特定的應(yīng)用領(lǐng)域?qū)ψ詣赢a(chǎn)生測試用例的方法進(jìn)行探討。在傳統(tǒng)的基于使用模型的軟件可靠性測試中，模型高度抽象很難實(shí)現(xiàn)自動化的測試。且基于模型的測試技術(shù)通常采用單一模型描述系統(tǒng)行為，限制了產(chǎn)生測試用例的類型和數(shù)量。因此，本文針對嵌入式實(shí)時軟件，設(shè)計(jì)了一種基于分層模型產(chǎn)生測試用例的方案，采用逐層細(xì)化的方法，產(chǎn)生可執(zhí)