【正文】 ：ifelsethen結(jié)構(gòu))。在流圖中，每一個(gè)圓，稱為流圖的結(jié)點(diǎn)，代表一個(gè)或多個(gè)語(yǔ)句。 1．畫出打字程序的控制流程圖流程圖用來描述程序控制結(jié)構(gòu)。 下面將較詳細(xì)的分析一些定義/使用路徑。如果沿定義/使用路徑跟蹤程序的執(zhí)行情況，則這些結(jié)點(diǎn)并不很重要。為描述定義/使用測(cè)試，下面先定義幾個(gè)基本術(shù)語(yǔ)： 變量v的定義結(jié)點(diǎn)n記做DEF(v,n) 變量v的定義結(jié)點(diǎn)n記做USE(v,n) 謂詞使用記做P—use 定義/使用路徑記做du—path 定義明確路徑記做dcpath 表44將給出打字程序中變量的定義結(jié)點(diǎn)和使用結(jié)點(diǎn)。 我們根據(jù)圖42給出的一個(gè)程序的控制流圖，其中每個(gè)語(yǔ)句的定義/使用變量由表43給出，下面我們來看看詳細(xì)的表43，并對(duì)其結(jié)果做出分析 通過變量的定義/引用分析，可以發(fā)現(xiàn)該程序中含有幾個(gè)數(shù)據(jù)流異常： 語(yǔ)句1，2對(duì)變量i的定義未曾被使用過 語(yǔ)句11使用了變量Timeyser,但在執(zhí)行時(shí)并未對(duì)其定義過 語(yǔ)句14使用了變量ctime，而在其之前并未對(duì)其進(jìn)行定義（賦值） 經(jīng)過上面的分析，發(fā)現(xiàn)程序中包含有些異常，有些語(yǔ)句執(zhí)行還有錯(cuò)誤，不過這一情況表明， 也許程序中含有錯(cuò)誤，也許可以把程序?qū)懙母菀桌斫?，從而能夠?jiǎn)化驗(yàn)證 工作，以及隨后的維護(hù)工作（去掉那些多余的語(yǔ)句一般會(huì)縮短執(zhí)行時(shí)間） 定義/使用測(cè)試假設(shè)V是程序P中變量的集合，程序P的控制流圖用G(P)表示。它將程序中變量的出現(xiàn)分為變量的定義和引用。由于索引表信息是有編譯器生成的，因此這些異?？梢酝ㄟ^所謂景泰分析發(fā)現(xiàn)，即在不執(zhí)行被測(cè)程序的情況下發(fā)現(xiàn)源代碼的一些數(shù)據(jù)流異常。 變量在使用之前被再次定義。早期的數(shù)據(jù)流分析常常集中于現(xiàn)在叫做定義/引用異常缺陷，如： 變量被定義，但從來沒有被使用（引用）。 控制流分析； 數(shù)據(jù)流分析； 信息流分析； 畫出該代碼的控制流程圖； 計(jì)算程序的圈復(fù)雜度； 做基本路徑覆蓋，設(shè)計(jì)相應(yīng)測(cè)試用例； 分析測(cè)試結(jié)果。 需要列出所測(cè)試類的調(diào)用關(guān)系和關(guān)鍵方法的調(diào)用關(guān)系（依據(jù)數(shù)據(jù)流）。 打字程序代碼編寫規(guī)范：創(chuàng)建的變量、接口、函數(shù)、屬性應(yīng)與《設(shè)計(jì)文檔》保持一致；程序的各種命名、注釋、代碼行的格式等應(yīng)符合《程序開發(fā)命名標(biāo)準(zhǔn)》和《編碼規(guī)范》；程序模塊能獨(dú)立穩(wěn)定運(yùn)行。 測(cè)試通過主要依照以下標(biāo)準(zhǔn)： 打字程序需求報(bào)告，需求規(guī)格說明書測(cè)試通過的標(biāo)準(zhǔn)：需求報(bào)告及需求規(guī)格說明書文檔中描述的正確性，無異性。使界面符合設(shè)計(jì)規(guī)范，適用于用戶。 第三章 系統(tǒng)白盒測(cè)試實(shí)例的實(shí)現(xiàn) 測(cè)試主要為打字系統(tǒng)的白盒測(cè)試。 所有字符練習(xí)：，以程序中要求取出字符數(shù)輸出到界面，由用戶輸入，程序判斷用戶練習(xí)的速度,時(shí)間,正確率等數(shù)據(jù)。 數(shù)字練習(xí)模塊：，以程序中要求取出字符數(shù)輸出到界面，由用戶輸入，程序判斷用戶練習(xí)的速度,時(shí)間,正確率等數(shù)據(jù)。但是在選擇和使用測(cè)試工具的時(shí)候，我們也應(yīng)該看到，在測(cè)試過程中，并不是所有的測(cè)試工具都適合我們使用，同時(shí)，有了測(cè)試工具、會(huì)使用測(cè)試工具并不等于測(cè)試工具真正能在測(cè)試中發(fā)揮作用。目前用于測(cè)試的工具一般可分為白盒測(cè)試工具、黑盒測(cè)試工具、性能測(cè)試工具，另外還有用于測(cè)試管理（測(cè)試流程管理、缺陷跟蹤管理、測(cè)試用例管理）的工具。這樣不僅降低了測(cè)試效率，而且大量的測(cè)試結(jié)果的累積，也為排錯(cuò)帶來麻煩。 ④缺點(diǎn)：由于路徑覆蓋需要對(duì)所有可能的路徑進(jìn)行測(cè)試（包括循環(huán)、條件組合、分支選擇等），那么需要設(shè)計(jì)大量、復(fù)雜的測(cè)試用例，使得工作量呈指數(shù)級(jí)增長(zhǎng)。 （6）路徑覆蓋 ①主要特點(diǎn)：設(shè)計(jì)足夠的測(cè)試用例，覆蓋程序中所有可能的路徑。并且每個(gè)條件都顯示能單獨(dú)影響判定結(jié)果。 ②用例設(shè)計(jì)()： ③優(yōu)點(diǎn)：多重條件覆蓋準(zhǔn)則滿足判定覆蓋、條件覆蓋和判定/條件覆蓋準(zhǔn)則。 ④缺點(diǎn)：判定/條件覆蓋準(zhǔn)則的缺點(diǎn)是未考慮條件的組合情況。 （4）判定/條件覆蓋 ①主要特點(diǎn)：設(shè)計(jì)足夠多的測(cè)試用例，使得判定中每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次，每個(gè)判定本身所有可能結(jié)果也至少出現(xiàn)一次。 ④缺點(diǎn)：要達(dá)到條件覆蓋，需要足夠多的測(cè)試用例，但條件覆蓋并不能保證判定 覆蓋。 （3）條件覆蓋 ①主要特點(diǎn)：條件覆蓋要求設(shè)計(jì)足夠多的測(cè)試用例，使得判定中的每個(gè)條件獲得各種可能的結(jié)果，即每個(gè)條件至少有一次為真值，有一次為假值。同樣判定覆蓋也具有和語(yǔ)句覆蓋一樣的簡(jiǎn)單性，無須細(xì)分每個(gè)判定就可以得到測(cè)試用例。每個(gè)判斷的取真、取假至少執(zhí)行一次。那么顯然，語(yǔ)句覆蓋對(duì)于多分支的邏輯運(yùn)算是無法全面反映的，它只在乎運(yùn)行一次，而不考慮其他情況。但是我們不能排除這種以外的分支不會(huì)被執(zhí)行，而往往這種錯(cuò)誤會(huì)經(jīng)常出現(xiàn)。在本例中去掉了語(yǔ)句1—〉T去掉，那么就少了一條測(cè)試路徑。 ②用例設(shè)計(jì)：（如果此時(shí)將A路徑上的語(yǔ)句1T去掉，） ③優(yōu)點(diǎn)：可以很直觀地從源代碼得到測(cè)試用例，無須細(xì)分每條判定表達(dá)式。（本文以1995年軟件設(shè)計(jì)師考試的一道考試題目為例，圖中紅色字母代表程序執(zhí)行路徑）。 （8）前面的全部過程，直至除了驗(yàn)證具體實(shí)現(xiàn)的特有的方法的測(cè)試程序外，所有的測(cè)試代碼都已完成。 （6）只涉及接口和一些抽象的測(cè)試方法，將測(cè)試程序移入抽象的測(cè)試類。重復(fù)這一過程，直至測(cè)試程序中沒有已經(jīng)實(shí)現(xiàn)的類的對(duì)象。在具體的測(cè)試程序?qū)崿F(xiàn)中繼承這個(gè)測(cè)試類，并修改相應(yīng)的實(shí)現(xiàn)方法。 詳細(xì)步驟： （1）測(cè)試程序要測(cè)試的已經(jīng)具體實(shí)現(xiàn)的類。這種通用接口測(cè)試方法，解決了接口測(cè)試時(shí)重復(fù)編寫類似功能代碼的問題，提供了一種新的描述不同命令結(jié)構(gòu)的思路。 執(zhí)行代碼動(dòng)態(tài)測(cè)試應(yīng)注意以下方面：測(cè)試數(shù)據(jù)是否具有一定的代表性；測(cè)試數(shù)據(jù)是否包含測(cè)試所用的各個(gè)等價(jià)類（邊界條件、次邊界條件、空白、無效）；是否可能從客戶那邊得到測(cè)試數(shù)據(jù)；不可從客戶那邊得到測(cè)試數(shù)據(jù)的情況下，所用的測(cè)試數(shù)據(jù)是否具有實(shí)際的意義（客戶業(yè)務(wù)上的）；是否每一組測(cè)試數(shù)據(jù)都得到了執(zhí)行；每一組測(cè)試數(shù)據(jù)的測(cè)試結(jié)果是否與預(yù)期結(jié)果一致；文件的屬性是否正確；打開文件語(yǔ)句是否正確；輸入/輸出語(yǔ)句是否與格式說明書所記述的一致；緩沖區(qū)大小與記錄長(zhǎng)度是否匹配；使用文件前是否已打開了文件；文件結(jié)束條件是否存在；產(chǎn)生輸入/輸出錯(cuò)誤時(shí)，系統(tǒng)是否進(jìn)行檢測(cè)并處理；輸出信息中是否存在文字書寫錯(cuò)誤和語(yǔ)法錯(cuò)誤；數(shù)字輸入框是否接受數(shù)字輸入；數(shù)字是否按既定格式顯示；數(shù)字輸入框是否拒絕字符串和“非法”數(shù)字的輸入；組合框是否的能夠進(jìn)行下拉選擇；組合框是否能夠進(jìn)行下拉多項(xiàng)選擇；對(duì)于可添加數(shù)據(jù)組合框，添加數(shù)據(jù)后數(shù)據(jù)是否能夠得到正確顯示和進(jìn)行選擇；列表框是否能夠進(jìn)行選擇；多項(xiàng)列表框是否能夠進(jìn)行多數(shù)據(jù)項(xiàng)選擇；日期輸入框是否 接受正確的日期輸入；日期輸入框是否拒絕錯(cuò)誤的日期輸入；日期輸入框在日期輸入后是否按既定的日期格式顯示日期；單選組內(nèi)是否有且只有一個(gè)單選鈕可選；如果單選組內(nèi)無單選鈕可選，這種情況是否允許存在；復(fù)選框組內(nèi)是否允許多個(gè)復(fù)選框（包括全部可選）可選；如果復(fù)選框組內(nèi)無復(fù)選框可選，這種情況是否允許存在；文本框及某些控件拒絕輸入和選擇時(shí)顯示區(qū)域是否變灰或按既定規(guī)約處理；文本框中數(shù)據(jù)格式（大小、對(duì)齊方向、顏色、背景）是否符合規(guī)范；密碼輸入框是否按掩碼的方式顯示；控件是否存在默認(rèn)輸入值，若存在，默認(rèn)值是否得到顯示和提交；Cancel之類的按鈕按下后，控件中的數(shù)據(jù)是否清空復(fù)原或按既定規(guī)約處理；Submit之類的按鈕按下后，數(shù)據(jù)是否得到提交或按既定規(guī)約處理；異常信息表述是否正確；軟件是否按預(yù)期方式處理錯(cuò)誤；文件或外設(shè)不存在的情況下是否存在相應(yīng)的錯(cuò)誤處理；軟件是否嚴(yán)格的遵循外設(shè)的讀寫格式；產(chǎn)生的文件和數(shù)據(jù)表的格式是否正確；產(chǎn)生的文件和數(shù)據(jù)表的計(jì)算結(jié)果是否正確；打印的報(bào)表是否符合既定的格式；錯(cuò)誤日志的表述是否正確；錯(cuò)誤日志的格式是否正確。邏輯測(cè)試不是片面的測(cè)試正確的結(jié)果或是測(cè)試錯(cuò)誤的結(jié)果，而是盡可能全面地覆蓋每一個(gè)邏輯路徑。 那么正確使用白盒測(cè)試，就要先從代碼分析入手，根據(jù)不同的代碼邏輯規(guī)則、語(yǔ)句執(zhí)行情況，選用適合的覆蓋方法。但是貫穿在程序內(nèi)部的邏輯存在著不確定性和無窮性，尤其對(duì)于大規(guī)模復(fù)雜軟件。 總的來說，白盒測(cè)試是一種被廣泛使用的邏輯測(cè)試方法，是由程序內(nèi)部邏輯驅(qū)動(dòng)的一種單元測(cè)試方法。無法檢測(cè)代碼中遺漏的路徑和數(shù)據(jù)敏感性錯(cuò)誤。最優(yōu)化。揭示隱藏在代碼中的錯(cuò)誤。在動(dòng)態(tài)分析技術(shù)中,最重要的技術(shù)是路徑和分支測(cè)試 白盒測(cè)試的優(yōu)缺點(diǎn) 優(yōu)點(diǎn)：迫使測(cè)試人員去仔細(xì)思考軟件的實(shí)現(xiàn)。動(dòng)態(tài)分析包含了程序在受控的環(huán)境下使用特定的期望結(jié)果進(jìn)行正式的運(yùn)行。靜態(tài)分析的關(guān)鍵功能是檢查軟件的表示和描述是否一致,沒有沖突或者沒有歧義。 白盒測(cè)試的方法：總體上分為靜態(tài)方法和動(dòng)態(tài)方法兩大類。 測(cè)試執(zhí)行階段：輸入測(cè)試用例，得到測(cè)試結(jié)果。 白盒測(cè)試的特點(diǎn)：依據(jù)軟件設(shè)計(jì)說明書進(jìn)行測(cè)試、對(duì)程序內(nèi)部細(xì)節(jié)的嚴(yán)密檢驗(yàn)、針對(duì)特定條件設(shè)計(jì)測(cè)試用例、對(duì)軟件的邏輯路徑進(jìn)行覆蓋測(cè)試。白盒測(cè)試是一種測(cè)試用例設(shè)計(jì)方法，盒子指的是被測(cè)試的軟件，白盒指的是盒子是可視的,你清楚盒子內(nèi)部的東西以及里面是如何運(yùn)作的。由于代碼中的筆誤是隨機(jī)且無法杜絕的，因此我們要進(jìn)行白盒測(cè)試。 由于邏輯錯(cuò)誤和不正確假設(shè)與一條程序路徑被運(yùn)行的可能性成反比。因此需求分析、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)以及程序編碼等各階段所得到的文檔，包括需求規(guī)格說明、概要設(shè)計(jì)規(guī)格說明、詳細(xì)設(shè)計(jì)規(guī)格說明以及源程序，都應(yīng)該是軟件測(cè)試（評(píng)審）的對(duì)象。 軟件測(cè)試的對(duì)象：軟件測(cè)試并不單純等同于程序測(cè)試。應(yīng)當(dāng)對(duì)每一個(gè)測(cè)試結(jié)果做全面的檢查。嚴(yán)格執(zhí)行測(cè)試計(jì)劃，排除測(cè)試的隨意性。經(jīng)驗(yàn)表明，測(cè)試后程序殘存的錯(cuò)誤數(shù)目與該程序中已發(fā)現(xiàn)的錯(cuò)誤數(shù)目或檢錯(cuò)率成正比。不合理的輸入條件是指異常的，臨界的，可能引起問題的輸入條件。測(cè)試用例的設(shè)計(jì)要確保能覆蓋所有可能路徑。應(yīng)當(dāng)避免由程序員檢查自己的程序?？梢圆捎肑unit和Jtest來輔助進(jìn)行單元測(cè)試。在結(jié)束這個(gè)階段后對(duì)軟件系統(tǒng)還要進(jìn)行各種綜合測(cè)試，如集成測(cè)試、系統(tǒng)測(cè)試、性能測(cè)試和配置測(cè)試等，這是軟件生命周期的另一個(gè)獨(dú)立階段，即測(cè)試階段。 軟件測(cè)試在軟件生命周期中橫跨兩個(gè)階段：通常在編寫出每一個(gè)模塊之后就需要對(duì)它做必要的測(cè)試（稱為單元測(cè)試）。 有鑒于此，本課題將基于白盒測(cè)試作為主要研究方向，本文將以打字練習(xí)程序作為對(duì)象，對(duì)軟件測(cè)試（重點(diǎn)白盒測(cè)試）進(jìn)行研究，以美國(guó)Mercury公司生產(chǎn)的TD軟件為工具進(jìn)行測(cè)試用例的管理 本文將通過對(duì)對(duì)打字練習(xí)程序進(jìn)行白盒測(cè)試，對(duì)代碼，接口等測(cè)試進(jìn)行研究，以實(shí)現(xiàn)軟件測(cè)試在實(shí)際項(xiàng)目中的應(yīng)用，并深刻的理解白盒測(cè)試，及白盒測(cè)試在測(cè)試中所占地位 第一章 白盒測(cè)試研究 軟件測(cè)試概述 軟件測(cè)試就是在軟件交付用戶使用或投入運(yùn)行前，對(duì)軟件需求規(guī)格說明、設(shè)計(jì)規(guī)格說明和編碼的最終復(fù)審，是軟件質(zhì)量保證的關(guān)鍵步驟。有錯(cuò)是軟件的屬性，而且是無法改變的，因?yàn)檐浖怯扇藖硗瓿傻?，所有由人做的工作都不?huì)是完美無缺的。為了解決這場(chǎng)危機(jī)，軟件從業(yè)人員、專家和學(xué)者做出了大量的努力。在一些關(guān)鍵應(yīng)用 (如民航訂票系統(tǒng)、銀行結(jié)算系統(tǒng)、證券交易系統(tǒng)、自動(dòng)飛行控制軟件、軍事防御和核電站安全控制系統(tǒng)等) 中使用質(zhì)量有問題的軟件，還可能造成災(zāi)難性的后果。用戶為了保證自己業(yè)務(wù)的順利完成，當(dāng)然希望選用優(yōu)質(zhì)的軟件。 第二部分：本文相關(guān)項(xiàng)目的案例分析和測(cè)試規(guī)劃，打字練習(xí)程序白盒測(cè)試的測(cè)試思路和測(cè)試方案設(shè)計(jì) 第三部分：打字練習(xí)程序白盒測(cè)試的具體實(shí)現(xiàn)細(xì)則 關(guān)鍵字：黑盒測(cè)試，白盒測(cè)試，測(cè)試管理，測(cè)試樁，測(cè)試點(diǎn) 引言 信息技術(shù)的飛速發(fā)展，使軟件產(chǎn)品應(yīng)用到社會(huì)的各個(gè)領(lǐng)域，軟件產(chǎn)品的質(zhì)量自然成為人們共同關(guān)注的焦點(diǎn)。 本文將使用白盒測(cè)試技術(shù)對(duì)打字練習(xí)程序進(jìn)行測(cè)試，通過設(shè)計(jì)測(cè)試方案，對(duì)程序進(jìn)行系統(tǒng)的單元測(cè)試，收集測(cè)試數(shù)據(jù)，對(duì)測(cè)試數(shù)據(jù)進(jìn)行分析等手段，最終生成相關(guān)資料及最終測(cè)試報(bào)告，詳細(xì)介紹及探討軟件測(cè)試技術(shù)和白盒測(cè)試實(shí)例的設(shè)計(jì)與實(shí)現(xiàn)。 軟件測(cè)試的核心是測(cè)試思維，你的思維能深入到什么程度，測(cè)試就能做到什么程度，本次課題旨在訓(xùn)練我們的測(cè)試思維，同時(shí)通過本次的課題實(shí)例掌握測(cè)試流程與技巧，為我們成為真正的測(cè)試人員打下堅(jiān)實(shí)的基礎(chǔ)。軟件工程測(cè)試打字程序白盒測(cè)試目 錄摘要...............................................................................................................................................1 引言.................................................................................................................................................1 第一章 白盒測(cè)試研究...................................................................................................................2 軟件測(cè)試概述..........................................................................................................................2 .............................