高效的測試確?？筛櫺院万炞C要求

這些標準的共同之處是運行以要求為基礎(chǔ)的測試。在這些標準之中最顯著的是航彈系統(tǒng)標準，DO-178B。這個標準主要定義了兩個基于測試的要求活動作為功能測試或黑盒測試(下圖)，以及結(jié)構(gòu)覆蓋或白盒測試。

功能測試需要開發(fā)工程師或測試工程師掌握確定被測代碼行為的軟件要求。更確切的說，開發(fā)工程師(或測試工程師)必須根據(jù)輸出和預(yù)期的結(jié)果來定義輸入和條件，以便制定出測試規(guī)范。該測試規(guī)范可能會以一或多個測試用例的形式給出，以便完全遍歷測試規(guī)范的要求。

結(jié)構(gòu)覆蓋或白盒測試有助于驗證黑盒測試的完整性。結(jié)構(gòu)測試也有助于確定實際建造設(shè)計的正確性；例如，如果所必的軟件功能已經(jīng)全部運行過，但仍然有未覆蓋的代碼，那么，這段多余的代碼的作用就是問題所在，代碼運行時間的可預(yù)測性也一樣。

本文第2部分將討論能力成熟度模型(CMMI)標準在改善軟件開發(fā)過程中的作用，從中引出把測試信息映射為要求的工具。

基于需求的測試及其固有的需求可跟蹤性和驗證過程被普遍認為推廣企業(yè)標準的最佳實踐，如能力成熟度模型集成(CMMI)。CMMI是一個能夠為組織提供有效過程關(guān)鍵元素的過程改進方法。它能夠用于引導(dǎo)一個項目、部門或整個組織的過程改進。CMMI能同時使關(guān)鍵性及非關(guān)鍵性軟件均獲益。

如下方工程過程區(qū)域圖所示，需求管理(REQM)和需求開發(fā)(RD)是CMMI的兩個主要的過程域。

表中的技術(shù)解決方案(TS)是將需求細化為原型或組件。驗證過程域(VER)確保所選擇的工作產(chǎn)品滿足規(guī)定的需求。驗證過程域(VAL)則根據(jù)客戶的需求加強對產(chǎn)品的驗證。驗證過程可以在工作環(huán)境或模擬工作環(huán)境中進行。

最后，從編程標準的角度看，對于所有的開發(fā)活動來說，過程如極限編程(Extreme Programming)及基于需求的開發(fā)和測試是不可或缺的。如下圖所示，采用極限編程，用戶的“故事”在代碼開發(fā)之前，通過與客戶一起合作就可以準備好，并且用作測試場景的軟件前綴。

TBreq介紹

TBreq由LDRA Testbed(包括代碼評審、質(zhì)量評審、設(shè)計評審組件及代碼覆蓋)和TBrun(單元測試組件)構(gòu)成，通過與LDRA工具包集成，能夠提供一套獨特的解決方案來克服困難，從而在測試規(guī)格、單元測試場景、測試數(shù)據(jù)及代碼覆蓋率驗證與高層次的設(shè)計需求之間建立映射關(guān)系。

TBreq直接與需求管理工具(DOORS、ReqPro、Word或Excel)接口來保證整個軟件生命周期中實現(xiàn)需求可跟蹤性，同時保證需求覆蓋的完整性(見下圖)。

在LDRA工具包里，TBreq根據(jù)需求直接生成測試規(guī)范和可執(zhí)行的測試用例。測試結(jié)果自動返回到需求管理工具中，提供“雙向”需求可跟蹤性驗證。

TBreq的作用描述如下：需求可通過需求管理工具，如DOORS、ReqPro、文擋或電子數(shù)據(jù)表獲取。TBreq作為這些需求源與LDRA Testbed測試管理儀表盤之間的網(wǎng)關(guān)，并且直接與LDRA Testbed項目及其基層項目目錄接口。