軟件測(cè)試研究及其在工業(yè)中的應(yīng)用.pdf

1、隨著計(jì)算機(jī)的普及，軟件系統(tǒng)已經(jīng)深入到生活的各個(gè)方面，從普通的計(jì)算機(jī)軟件，到銀行或超市的終端系統(tǒng)，甚至到手機(jī)的軟件系統(tǒng)。對(duì)軟件質(zhì)量的要求也在不斷提高，但現(xiàn)實(shí)中軟件系統(tǒng)的質(zhì)量和穩(wěn)定性卻不盡人意，采用有效的軟件測(cè)試是保證軟件質(zhì)量、提高軟件可靠性的重要手段。 國(guó)外的軟件測(cè)試工作起步于六十年代，自七十年代末期，軟件測(cè)試走向了成熟階段，不僅在軟件測(cè)試的理論和技術(shù)上，而且在應(yīng)用的廣度和深度上都取得了巨大的成功，軟件測(cè)試進(jìn)入了工程化、標(biāo)準(zhǔn)化和規(guī)

2、范化階段，建立了各種測(cè)試工具和環(huán)境，豐富和完善了軟件測(cè)試的理論和方法，在軟件開發(fā)中得到廣泛的應(yīng)用，使軟件測(cè)試成為改進(jìn)和提高軟件質(zhì)量不可缺少的有效手段。 我國(guó)對(duì)于軟件測(cè)試?yán)碚摵图夹g(shù)的深入研究始于八十年代初，目前已開發(fā)出一些軟件測(cè)試工具。雖然一些軟件開發(fā)人員和項(xiàng)目管理人員知道軟件測(cè)試的重要性和方法，但對(duì)測(cè)試技術(shù)的應(yīng)用還不廣泛，在實(shí)際的開發(fā)工作中，也只有為數(shù)不多的軟件系統(tǒng)進(jìn)行了較嚴(yán)格的測(cè)試。針對(duì)這種情況，在本文中，作者首先對(duì)現(xiàn)有國(guó)際流

3、行的軟件測(cè)試方法、技術(shù)和工具做一個(gè)較全面的介紹，為實(shí)際生產(chǎn)中選取恰當(dāng)?shù)臏y(cè)試方法和工具提供參考。 本文作者曾參與川大智勝軟件公司空中交通管制系統(tǒng)的開發(fā)和測(cè)試工作。智勝公司的空中交通管制系統(tǒng)主要用于大型機(jī)場(chǎng)的空中交通管理，維持空中交通秩序，以避免飛機(jī)在空中相撞，并保證空中交通的高速和順暢。一般而言，空中交通管制系統(tǒng)具有SRM(特殊用途，實(shí)時(shí)，任務(wù)關(guān)鍵)屬性，因此，對(duì)系統(tǒng)的實(shí)時(shí)性、可靠性和安全性具有很高的要求，而這些要求可以通過高效的

4、軟件測(cè)試來進(jìn)行保障。作者在實(shí)習(xí)中親歷了軟件工業(yè)生產(chǎn)中軟件測(cè)試的現(xiàn)狀，并在測(cè)試工作中采用了一些方法以提高工作效率。因此，作者對(duì)可以應(yīng)用于這類大規(guī)模系統(tǒng)中的技術(shù)和方法作詳細(xì)介紹，如采用類別劃分方法生成功能測(cè)試說明書并根據(jù)測(cè)試說明書自動(dòng)生成測(cè)試計(jì)劃，采用覆蓋陣列進(jìn)行模塊交互測(cè)試，以及對(duì)回歸測(cè)試的測(cè)試用例進(jìn)行優(yōu)化選擇等等。此外，作者還特別針對(duì)基于模塊交互的組合測(cè)試提出了自己的新方法和觀點(diǎn)，一是采用新的啟發(fā)式算法——蟻群算法來生成測(cè)試用例集，二是