1、關(guān)于軟件測試u 功能圖： 狀態(tài)遷移圖： 功能模型圖： 測試用例：u 面向?qū)ο螅簎 面向過程：u 搜索引擎：關(guān)于軟件測試白盒測試：修正的判定和條件覆蓋的區(qū)別u 功能圖： 狀態(tài)遷移圖： 功能模型圖： 測試用例：u 面向?qū)ο螅簎 面向過程：u 搜索引擎：功能圖法概念： 是一種黑盒、白盒混合用例設(shè)計(jì)方法，是功能圖FD形式化地表示程序的功能說明，并機(jī)器地生成功能圖的測試用例。 功能圖模型由狀態(tài)遷移圖和邏輯功能模型構(gòu)成。軟件測試狀態(tài)遷移圖 一、定義： 二、關(guān)注對象： 三、表示法： 1、圖法。 2、文字描述。軟件測試 主要關(guān)注在測試測試狀態(tài)轉(zhuǎn)移的正確性上面。對于一個(gè)有限狀態(tài)機(jī)，通過測試驗(yàn)證其在給定的條件內(nèi)是

2、否能夠產(chǎn)生需要的狀態(tài)變化，有沒有不可達(dá)的狀態(tài)和非法的狀態(tài)，可能不可能產(chǎn)生非法的狀態(tài)轉(zhuǎn)移等。通過構(gòu)造能導(dǎo)致狀態(tài)遷移的事件，來測試狀態(tài)之間的轉(zhuǎn)換。狀態(tài)遷移圖u 用于表示輸入數(shù)據(jù)序列以及相應(yīng)的輸出數(shù)據(jù)。在狀態(tài)遷移圖中，由輸入數(shù)據(jù)和當(dāng)前狀態(tài)決定輸出數(shù)據(jù)和后續(xù)狀態(tài)。u 是描述控制系統(tǒng)的控制過程、功能和特征的一種圖形，是基于狀態(tài)（工序）的流程控制來表示;u 表示輸入數(shù)據(jù)序列以及相應(yīng)的對應(yīng)的輸出，由輸入及當(dāng)前狀態(tài)決定輸出和后續(xù)狀態(tài)，它是程序的動(dòng)態(tài)說明；狀態(tài)遷移圖 用于表示在狀態(tài)輸入條件和輸出條件之間的對應(yīng)關(guān)系。邏輯功能模型只適合于描述靜態(tài)說明，輸出數(shù)據(jù)僅由輸入數(shù)據(jù)決定。測試用例則由測試中的一系列狀態(tài)和在每個(gè)

3、狀態(tài)中必須依靠輸入/輸出數(shù)據(jù)滿足的一對條件組成。 功能模型圖軟件測試狀態(tài)遷移圖 （1）在狀態(tài)遷移圖中，用矩形框來表示“步”或“狀態(tài)”，方框中用狀態(tài)器S及其編號表示。 （2）與控制過程的初始情況相對應(yīng)的狀態(tài)稱為初始狀態(tài)，每個(gè)狀態(tài)的轉(zhuǎn)移圖應(yīng)有一個(gè)初始狀態(tài)，初始狀態(tài)用雙線框來表示。與步相關(guān)的動(dòng)作或命令與步相連的梯形圖符來表示。當(dāng)某步激活時(shí)，相關(guān)動(dòng)作或命令被執(zhí)行。一個(gè)活動(dòng)步可以有一個(gè)或幾個(gè)動(dòng)作或命令被執(zhí)行。 （3）步與步（狀態(tài)與狀態(tài)）之間用有向線段來連接，如果進(jìn)行方向是從上到下或從左到右，則線段上的箭頭可以不畫，狀態(tài)遷移圖中，會(huì)發(fā)生步的活動(dòng)狀態(tài)的進(jìn)展，該進(jìn)展按有向連續(xù)規(guī)定的線路進(jìn)行，這種進(jìn)展是由轉(zhuǎn)換條

4、件的實(shí)現(xiàn)來完成的。 （4）轉(zhuǎn)換的符號是一條短劃線，它與步間的有向連續(xù)線段相垂直。在段劃線旁可用文字語言、測試用例的生成狀態(tài)遷移圖布爾表達(dá)式或圖形符號標(biāo)注轉(zhuǎn)換條件。測試用例的生成（1） 功能圖：（2） 測試用例生成方法：（3） 測試用例生成規(guī)則：（4） 從功能圖生成測試用例的過程。For example軟件測試測試用例下一頁面手機(jī)手機(jī)中MP3播放功能狀態(tài)-事件表如下:其中沒有選擇MP3曲目時(shí)不能按任何鍵，并且當(dāng)MP3曲目在起點(diǎn)時(shí)不能按R鍵，當(dāng)MP3曲目在末端時(shí)不能按P、F鍵。這里給出了狀態(tài)-事件表，為了能更清楚的說明問題，沒有用復(fù)雜的文字描述出來，一般需要先從需求中提取信息，畫出狀態(tài)圖，再得到狀

5、態(tài)-事件表。下一頁面功能圖法 功能圖由狀態(tài)遷移圖和布爾函數(shù)組成。狀態(tài)遷移圖用狀態(tài)和遷移來描述。一個(gè)狀態(tài)指出數(shù)據(jù)輸入的位置（或時(shí)間），而遷移則指明狀態(tài)的改變，同時(shí)要依靠判定表或是因果圖表示的邏輯功能。例如，一個(gè)簡化的自動(dòng)出納ATM機(jī)的功能圖。下一下一頁面頁面測試測試用例用例生成生成 從功能圖生成測試用例，得到的測試用例數(shù)是可以接受的。問題的關(guān)鍵是如何從狀態(tài)遷移圖中選取測試用例。若用節(jié)點(diǎn)代替狀態(tài)，用弧線代替遷移，則狀態(tài)遷移圖就可轉(zhuǎn)化成一個(gè)程序的控制流程圖形式。問題就轉(zhuǎn)化為程序的路徑測試問題了。 下一下一頁面頁面測試用例生成測試用例生成方法下一下一頁面頁面測試用例生成規(guī)則 為了把狀態(tài)遷移的測試用例與

6、邏輯模型的測試用例相組合起來，從功能圖生成生成實(shí)用的測試用例，需定義下面的規(guī)則。在一個(gè)結(jié)構(gòu)化的遷移（SST）中，定義三種形式的循環(huán)：順序、選擇和重復(fù)。但分辨一個(gè)狀態(tài)遷移中的所有循環(huán)是有困難的。 測試測試用例用例生成生成從功能圖生成測試用例的過程A、生成局部測試用例：在每個(gè)狀態(tài)中，從因果圖生成局部測試用例。局部測試用例由原因值（輸入數(shù)據(jù)）組合與對應(yīng)的結(jié)果值（輸出數(shù)據(jù)或狀態(tài)）構(gòu)成。B、測試路徑生成：利用上面的規(guī)則（3種）生成從初始狀態(tài)到最后狀態(tài)的測試路徑。C、測試用例合成： 合成測試路徑與功能圖中每個(gè)狀態(tài)的局部測試用例。結(jié)果是初始狀態(tài)到最后狀態(tài)的一個(gè)狀態(tài)序列，以及每個(gè)狀態(tài)中輸入數(shù)據(jù)與對應(yīng)輸出數(shù)據(jù)的

7、組合。D、測試用例的合成算法：采用條件構(gòu)造樹。測試測試用例用例生成生成下一頁面測試用例軟件測試面向?qū)ο竺嫦驅(qū)ο蟮奶卣鳎好嫦驅(qū)ο蟮囊兀好嫦驅(qū)ο蟮哪Ｐ停好嫦驅(qū)ο蟮姆治觯好嫦驅(qū)ο蟮脑O(shè)計(jì)：面向?qū)ο蟮膶?shí)現(xiàn)：面向?qū)ο螽a(chǎn)生的 背景：面向?qū)ο蟮幕?概念：面向?qū)ο蟮睦樱好嫦驅(qū)ο蟮男g(shù)語：面向?qū)ο蟮亩x：面向?qū)ο蠛突趯ο蟮膮^(qū)別：面向過程u定義：u編程：u過程：u對象和過程的區(qū)別：軟件測試面向過程搜索引擎定義：名稱：全文索引：分類：目錄索引：軟件軟件測試測試定義 指根據(jù)一定的策略、運(yùn)用特定的計(jì)算機(jī)程序從互聯(lián)網(wǎng)上搜集信息，在對信息進(jìn)行組織和處理后，為用戶提供檢索服務(wù)，將用戶檢索相關(guān)的信息展示給用戶的系統(tǒng)。 搜索

8、引擎包括全文索引、目錄索引、元搜索引擎、垂直搜索引擎、集合式搜索引擎、門戶搜索引擎與免費(fèi)鏈接列表等。 百度和谷歌等是搜索引擎的代表。搜素引擎名稱： 中文名稱： 搜索引擎 英文名稱：英文名稱： search engine 定義：定義： 萬維網(wǎng)環(huán)境中的信息檢索系統(tǒng)(包括目錄服務(wù)和關(guān)鍵字檢索兩種服務(wù)方式)。 應(yīng)用學(xué)科應(yīng)用學(xué)科： 通信科技（一級學(xué)科）；交換選路（二級學(xué)科） 搜索引擎全文索引全文索引 全文搜索引擎全文搜索引擎是名副其實(shí)的是名副其實(shí)的搜索引擎，國外代表有搜索引擎，國外代表有Google，國內(nèi)則有著名的國內(nèi)則有著名的百度百度和盆撈搜和盆撈搜索。它們從互聯(lián)網(wǎng)提取各個(gè)網(wǎng)索。它們從互聯(lián)網(wǎng)提取各個(gè)網(wǎng)

9、站的信息（以網(wǎng)頁文字為主），站的信息（以網(wǎng)頁文字為主），建立起建立起數(shù)據(jù)庫數(shù)據(jù)庫，并能檢索與用，并能檢索與用戶戶 搜索引擎分類 根據(jù)搜索結(jié)果來源的不同，全文搜索引擎可分為兩類， 一類擁有自己的檢索程序（Indexer），俗稱“蜘蛛”（Spider）程序或“機(jī)器人”（Robot）程序。 另一類則是租用其他搜索引擎的數(shù)據(jù)庫，并按自定的格式排列搜索結(jié)果，如Lycos搜索引擎。 搜索引擎目錄索引 用戶完全可以按照分類目錄找到所需要的信息，不依靠關(guān)鍵詞（Keywords）進(jìn)行查詢。目錄索引中最具代表性的莫過于大名鼎鼎的Yahoo、新浪分類目錄搜索。 與全文搜索引擎相比，目錄索引有許多不同之處。 搜索引擎

10、修正的判定和條件覆蓋的區(qū)別 選取兩種方法的條件不同： 兩者的測試集不同： 兩者在測試中的覆蓋面不同： 兩者的用途不同 總結(jié)軟件測試條件 當(dāng)以下的 需求測試中遇到時(shí)，需要考慮用MC/DC方法：每一個(gè)程序模塊的輸入和輸出點(diǎn)都要考慮至少出現(xiàn)一次，每個(gè)程序的判定到所有可能的結(jié)果至少實(shí)現(xiàn)一次；程序的判定被分解為邏輯操作符（AND,OR,etc.）連接為BOOL條件，每一個(gè)條件對于判定的結(jié)果值都是獨(dú)立的，或者說單個(gè)條件將導(dǎo)致判定的最后的變化， 而對于C/DC方法而言，在程序需要測試時(shí)，由于它只要求“判定中每個(gè)條件的所有可能值至少執(zhí)行一次，同時(shí)每個(gè)判定的所有判定結(jié)果至少執(zhí)行一次”，要求比較簡單，所以它可以與

11、其他覆蓋方法一樣適合于使用在絕大多數(shù)的程序中的測試中。區(qū)別測試集 MC/DC方法雖是在C/DC方法上的改進(jìn)，但是兩者在尋找測試集時(shí)是不同的，原因在于MC/DC方法要求：對于判定中的所有條件當(dāng)固定其他條件的值時(shí)，每一個(gè)已選定的條件必須能夠獨(dú)立的影響一個(gè)判定上的輸出。區(qū)別覆蓋面 對于MD/CC方法：它的覆蓋面要大于C/DC的方法。也就是說在測試一個(gè)程序或軟件時(shí)： MD/CC找出的錯(cuò)誤就比C/DC找出的多，原因就在于MD/CC的測試集檢測出錯(cuò)誤發(fā)生的概率比較高。由此可說明雖然使用了判定條件覆蓋準(zhǔn)則來測試語句，邏輯表達(dá)式中的有些錯(cuò)誤仍然不能檢測出來；可是如果大家用MD/CC方法，有它的規(guī)則可得測試集合為FF,TF,FT只需使用其中的一組數(shù)據(jù)FT，就可知道其中發(fā)生了錯(cuò)誤。所以從覆蓋面來說MD/CC的測試能力和范圍就比C/DC大一些，也實(shí)用一些。區(qū)別用途 由于MC.DC在尋找測試集時(shí)的要求比C/DC要嚴(yán)格，所以相比之下在測試時(shí)為了尋找出測試集合所花費(fèi)的時(shí)間多，由此而引起的人力、物力、財(cái)力三重開銷也會(huì)直接攀升，但是MC/DC測試錯(cuò)誤的準(zhǔn)確率確是特別的高，因此MC/DC適合那些大型的并且要求測試非常精確的軟件所用，為