第八GIS軟件數據工程和十章軟件工程的實施與測試gai

第八章GIS軟件數據工程GIS的數據源

一GIS的數據源，是指建立的地理數據庫所需的各種數據的來源，主要包括地圖、遙感圖像、文本資料、統(tǒng)計資料、實測數據、多媒體數據、已有系統(tǒng)的數據等。1地圖數據地圖是GIS的主要數據源,因為地圖包含著豐富的內容，不僅含有實體的類別和屬性，而且含有實體間的空間關系。地圖數據主要通過對地圖的跟蹤數字化和掃描數字化獲取。

www.空間數據輸入：數字化儀輸入（手工數字化）數字化儀的分辨率。目前可以達到（每英寸10160線)每毫米400線以上。一般也能達到0.1mm。需要操作者掌握輸入的精度。數字化儀可以直接得到矢量數據。隨著數字測量和GIS的普及，紙質地圖數字化的機會越來越少。www.空間數據輸入：掃描儀輸入

掃描儀：滾筒式、平板式。大幅面A0一般是滾筒式，小幅面一般是平板式A4。掃描得到的是柵格圖像。掃描后，必須進行后續(xù)處理。這一工作稱為“矢量化”。www.GIS的數據源

2遙感數據遙感數據是GIS的重要數據源。遙感數據含有豐富的資源與環(huán)境信息，在GIS支持下，可以與地質、地球物理、地球化學、地球生物、軍事應用等方面的信息進行信息復合和綜合分析。遙感數據是一種大面積的、動態(tài)的、近實時的數據源，遙感技術是GIS數據更新的重要手段。www.遙感www.www.www.GIS的數據源

3統(tǒng)計資料

國家和軍隊的許多部門和機構都擁有不同領域(如人口、基礎設施建設、兵要地志等)的大量統(tǒng)計資料，這些都是GIS的數據源，尤其是GIS屬性數據的重要來源。

www.GIS的數據源

4實測數據野外試驗、實地測量等獲取的數據可以通過轉換直接進入GIS的地理數據庫，以便于進行實時的分析和進一步的應用。解析測量：精度高、中間損失小、野外作業(yè)量大。適合大比例、高精度局部更新。航天攝影測量：范圍大、外業(yè)工作量小，可直接產生柵格數據，也可進一步作矢量化處理。但往往受視線遮擋、陰影的影響。適合小比例圖的成片更新。衛(wèi)星定位技術（GPS，GlobalPositioningSystem）。www.空間數據——野外實地測量野外測量：大平板、全站儀、GPS、移動測繪系統(tǒng)特點：精度高、效率較低適合范圍：小范圍GIS數據采集或局部數據更新www.www.5數字數據已建成的應用地理信息系統(tǒng)的數據。多媒體數據(包括聲音、錄像等)通常可通過通訊口傳入GIS的地理數據庫中，目前其主要功能是輔助GIS的分析和查詢.GIS的數據源

www.各種文字報告和立法文件文本資料是指各行業(yè)、各部門的有關法律文檔、行業(yè)規(guī)范、技術標準、條文條例等，如邊界條約等。這些也屬于GIS的數據。GIS的數據源

www.二地理實體屬性數據的編碼屬性數據即空間實體的特征數據，一般包括名稱、等級、數量、代碼等多種形式。對于要輸入屬性庫的屬性數據，通過鍵盤則可直接鍵入。對于要直接記錄到柵格或矢量數據文件中的屬性數據，則必須先對其進行編碼，將各種屬性數據變?yōu)橛嬎銠C可以接受的數字或字符形式，便于GIS存儲管理。GIS數據編碼www.GIS中代碼的種類分類碼：根據地理信息分類體系設計出的各專業(yè)信息的分類代碼，用以標識不同類別的數據，根據它可以從數據中查詢出所需類別的全部數據。標識碼（識別碼）在分類碼的基礎上，對每類數據設計出其全部或主要實體的識別代碼，用以對某一類數據中的某個實體進行個體查詢檢索，從而彌補分類碼不能進行個體分離的缺陷。GIS數據編碼www.編碼方法舉例（1）行政區(qū)劃代碼方式用6位數字表示。第一、二位表示省，三、四位表示省直轄市，五、六位表示縣。如：綿陽:510700（2）層次法GIS數據編碼www.土地利用現狀分類及新舊地類編碼對照表基本地類1984舊地類2001過渡地類2001試用地類編碼舊地類名稱編碼過渡地類名稱編碼試用地類名稱農用地11耕地11灌溉水田111灌溉水田111灌溉水田12望天田112望天田112望天田13水澆地113水澆地113水澆地14旱地114旱地114旱地15菜地115菜地115菜地12園地21果園121果園121果園22桑園122桑園122桑園23茶園123茶園123茶園24橡膠園124橡膠園124橡膠園25其它園地125其它園地125其它園地13林地31有林地131有林地131有林地32灌木林地132灌木林地132灌木林地33疏林地133疏林地133疏林地34未成林造林地134未成林造林地134未成林造林地35跡地135跡地135跡地36苗圃136苗圃136苗圃14牧草地41天然草地141天然草地141天然草地42改良草地142改良草地142改良草地43人工草地143人工草地143人工草地15其它農用地——151畜禽飼養(yǎng)151畜禽飼養(yǎng)——152農業(yè)設施152農業(yè)設施63農村道路153農村道路153農村道路74坑塘水面154坑塘水面154坑塘水面——155養(yǎng)殖水面155養(yǎng)殖水面77溝渠156農田水利156農田水利87田坎157田坎157田坎——158曬谷場等158曬谷場等建設用地20城鎮(zhèn)用地50A城市201城市——51B建制鎮(zhèn)202建制鎮(zhèn)——52農村居民點203農村居民點——53獨立工礦用地204獨立工礦——54鹽田205鹽田——55特殊用地206特殊用地——

21商服用地————211商業(yè)————212金融保險————213餐飲旅館業(yè)————214其它商服22工礦倉儲用地————221工業(yè)————222采礦地————223倉儲23公用設施用地————231公共基礎設施————232瞻仰景觀休閑24公共建筑用地————241機關團體————242教育————243科研設計————244文化體育————245醫(yī)療衛(wèi)生————246慈善25住宅用地————251城鎮(zhèn)單一住宅————252城鎮(zhèn)混合住宅————253農村宅基地————254空閑宅基地26交通運輸用地61鐵路261鐵路261鐵路62公路262公路262公路64民用機場263民用機場263民用機場65港口碼頭264港口碼頭264港口碼頭——265管道運輸265管道運輸27水利設施用地73水庫水面271水庫水面271水庫水面78水工建筑272水工建筑272水工建筑未利用地31未利用地81荒草地311荒草地311荒草地82鹽堿地312鹽堿地312鹽堿地83沼澤地313沼澤地313沼澤地84沙地314沙地314沙地85裸土地315裸土地315裸土地86裸巖石礫地316裸巖石礫地316裸巖石礫地88其它未利用地317其它未利用地317其它未利用地32其它土地71河流水面321河流水面321河流水面72湖泊水面322湖泊水面322湖泊水面75葦地323葦地323葦地76灘涂324灘涂324灘涂79冰川及永久積雪325冰川及永久積雪325冰川及永久積雪（3）多源分類編碼法又稱獨立分類編碼法。是指對于一個特定的分類目標，根據諸多不同的分類依據分別進行編碼，各位數字代碼之間并沒有隸屬關系。下圖以河流為例說明了屬性數據多源分類編碼法的編碼方法。GIS數據編碼www.標

志

編

號分類ⅠⅡⅢⅣⅤⅥⅦⅧⅨ123平原河過渡河山地河123常年河時令河消失河12通航河不通航河123456樹狀河平行河篩狀河輻射河扇形河迷宮河1234567主〔要河〕流∶一級支

流∶二級

三級

四級

五級

六級

七級12345河長：一組——1公里以下

二組——2公里以下

三組——5公里以下

四組——10公里以下

五組——10公里以上12345678河寬：一組——5～10米

二組——10～20米

三組——20～30米

四組——30～60米

五組——60～120米

六組——120～300米

七組——300～500米

八組——500米以上1234567河流間的最短距離50米

50～100米100～200米200～400米400～500米500～1000米1000～2000米12345彎曲度：2.5公里彎曲

深度

寬度

>40>50>50>40>50>75>25>50>75>25>50>100<25>75>150例如，表中111114322表示？例如，表中111114322表示：平原河，常年流動，通航，河床形狀為樹形，主流長7公里，寬25米，河流彎曲，2.5公里的彎曲平均數為40，彎曲的平均深度為50，彎曲的平均寬度>75米。由此可見，該種編碼方法一般具有較大的信息載量。有利于對于空間信息的綜合分析。GIS數據編碼www.△×△△△××△圖層屬性表的識別碼圖層數字編號圖名的漢語拼音首字母縮寫，三位比例尺代碼圖類代碼(如D:地質圖；H:河道地形圖；L:陸上地形圖)如一幅1:50000將軍廟地質圖的地層圖層有地層界線和地層單位二種屬性表,分別取界線(J)、地層(D),即用DCJJM01J、DCJJM01D表示。（4）自定義編碼方式：GIS數據編碼www.第十章GIS軟件工程的實施與測試

1963年美國發(fā)射了探測金星的火箭，其控制程序中的一個FORTRAN程序語句“DO5I=1，3”被誤寫成“DO5I=1.3”，結果導致火箭爆炸，損失幾千萬美元，這僅是“，”號與“.”號之差，就造成巨大的損失，可見軟件測試是多么至關重要。10.3軟件測試概述www.各種軟件錯誤的出現比例

①功能錯，占整個軟件錯誤27％，是需求分析設計不完整而引起的。②系統(tǒng)錯，占整個軟件錯誤16％，是總體設計錯誤而引起的。③數據錯，占整個軟件錯誤10％，由編碼錯誤引起的。④編碼錯，占整個軟件錯誤4％，程序員編碼錯誤引起的。⑤其它錯，占整個軟件錯誤16％，由文檔錯和硬件錯所引起的。

10.3軟件測試概述www.10.3.1測試步驟：(1)單元測試

——程序設計&編碼

bugs(2)集成測試

——模塊之間的連接(3)確認測試——用戶參與綜合測試測試階段的信息流：測試評價調試可靠性模型軟件配置測試配置測試結果可靠性預測錯誤正確錯誤率數據預期結果www.測試軟件：RationalFunctionalTester、BorlandSilk系列工具、WinRunnerRobot等。國內介紹軟件測試工具比較好的網站為：51Testing軟件測試論壇國內免費軟件測試工具有：AutoRunner和TestCenter。開源測試管理工具：Bugfree、Bugzilla、TestLink、mantiszentaopms

開源功能自動化測試工具：Watir、Selenium、MaxQ、WebInject

開源性能自動化測試工具：Jmeter、OpenSTA、DBMonster、TPTEST、WebApplicationLoadSimulator

www.對源程序中每一個程序單元進行測試，檢查各個模塊是否正確實現規(guī)定的功能，從而發(fā)現模塊在編碼中或算法中的錯誤。主要測試以下五個方面：1、模塊接口：內部檢查：傳輸參數的數目、屬性、單位、次序是否匹配；全程變量的定義是否一致；只做輸入的變元有無被修改，等等。外部檢查：打開、結束、關閉文件的操作；文件和屬性；I\O錯誤處理；輸出拼寫等等。(1)單元測試www.3、重要的執(zhí)行路徑：

由于窮盡測試不可能，故通常針對最常見的錯誤設計測試方案。4、出錯處理通路：

預見出現錯誤的條件，設置處理。5、邊界條件：

單元測試中最后，也可能是最重要的任務，因為軟件常在其邊界失效。(1)單元測試2、局部數據結構：

數據說明(declaration)；初始化與缺省值的設置；變量名拼寫；數據類型的相容性；上\下文溢出及地址異常等等。www.1、非漸增式測試(Big-bangtesting)TestA,B,C,DTestATestBTestCTestD(2)集成測試(IntegrationTesting)是指在單元測試的基礎上，將所有模塊按照設計要求組裝成一個完整的系統(tǒng)而進行的測試，也稱組裝測試或聯合測試。www.⑴自頂向下測試

第1步：測試頂端模塊，用樁模塊(stub)代替直接附屬的

下層模塊。

Stub:模擬未測試模塊的活動。MS1S22、漸增式測試(Incrementaltesting)逐個把未經過測試的模塊組裝到已經測試過的模塊上去，進行集成測試。(2)集成測試(IntegrationTesting)www.第2步：根據深度優(yōu)先或寬度優(yōu)先的策略，每次用一個實際模塊代換一個stub。(2)集成測試(IntegrationTesting)www.第3步：在結合進一個模塊的同時進行測試。第4步：回歸測試(regressiontesting)——全部或部分地重復以前做過的測試。優(yōu)點：在早期即對主要控制及關鍵的抉擇進行檢驗。問題：Stub只是對低層模塊的模擬，測試時沒有重要的數據自下往上流，許多重要的測試須推遲進行，而且在早期不能充分展開人力。(2)集成測試(IntegrationTesting)www.⑵自底向上測試第1步：把低層模塊組合成族，每族實現一個子功能。第2步：用驅動模塊(Driver)協調測試數據的I\O，測試子功能族。Driver:用來模擬被測模塊的上級調用模塊，功能要比正真的上級模塊簡單的多，只完成接受測試數據，接受被測模塊的測試結果并輸出。DM1M2(2)集成測試(IntegrationTesting)www.第3步：去掉Driver，自下而上把子功能族合成更大的子功能族。MMMMMMMMMMMMDDDDDD注意：兩種策略的優(yōu)、缺點剛好互補，但單用其中任一種都不實際，通常根據軟件的特點將二者混用。(2)集成測試(IntegrationTesting)www.（3）確認測試(Acceptancetesting)任務：確任軟件的有效性（功能和性能達標）。手段：黑盒測試；用戶參與；主要用實際數據進行測試。內容：按合同規(guī)定審查軟件配置；設計測試計劃，使通過測試保證軟件能滿足所有功能、性能要求；文檔與程序一致，具有維護階段所必須的細節(jié)；嚴格按用戶手冊操作，以檢查手冊的完整性和正確性。www.

1.靜態(tài)測試

靜態(tài)測試是指被測試程序不在機器上運行，而是采用人工檢測和計算機輔助靜態(tài)分析的手段對程序進行檢測，方法如下：

(1)人工測試：是指不依靠計算機而靠人工審查程序或評審軟件。人工審查程序偏重于編碼質量的檢驗，而軟件審查除了審查編碼還要對各階段的軟件產品進行檢驗。

10.3.2軟件測試方法www.

(2)計算機輔助靜態(tài)分析：指利用靜態(tài)分析工具對被測試程序進行特性分析，從程序中提取一些信息，以便檢查程序邏輯的各種缺陷和可疑的程序構造。

靜態(tài)分析中還可以用符號代替數值求得程序結果，以便對程序進行運算規(guī)律的檢驗。1.靜態(tài)測試www.動態(tài)測試指通過運行程序發(fā)現錯誤。一般意義上的測試大多是指動態(tài)測試。動態(tài)測試包括:

功能測試結構測試

2.動態(tài)測試www.

1.黑盒法

該方法把被測試對象看成一個黑盒子，測試人員完全不考慮程序的內部結構和處理過程，只在軟件的接口處進行測試，依據需求說明書，檢查程序是否滿足功能要求。因此，黑盒測試又稱為功能測試或數據驅動測試。

10.4黑盒測試法與白盒測試法www.用黑盒法測試時，必須在所有可能的輸入條件和輸出條件中確定測試數據。是否要對每個數據都進行窮舉測試呢？例如測試一個程序，需輸入3個整數值。微機上，每個整數可能取值有216個，3個整數值的排列組合數為216×216×216=248≈3×1014。假設此程序執(zhí)行一次為一毫秒，用這些所有的數據去測試要用1萬年！但這還不能算窮舉測試，還要輸入一切不合法的數據?？梢姡F舉地輸入測試數據進行黑盒測試是不可能的。

1.黑盒法www.（1）黑盒測試-等價類劃分等價劃分

等價劃分又稱為同值分割，它的含義是針對輸入條件，將所有可能的輸入數據（有效的和無效的）分為若干等價類，對每一個等價類只取一組數據作為測試數據，使得選取的測試數據具有代表性。啟發(fā)式規(guī)則:（1）如果規(guī)定了輸入數據的范圍則可劃分一個有效的等價類（輸入數據在次范圍），兩個無效的等價類（輸入數據小于最小值或大于最大值）；www.例

輸入值是學生成績，范圍是0～1000100

有效等價類1≤成績≤100無效等價類

成績>100

無效等價類

成績<0（1）黑盒測試-等價類劃分

www.（2）如果規(guī)定了輸入數據必須遵循的規(guī)則，則可以劃分出一個有效的等價類（符合規(guī)則）和若干個無效等價類（從各種不同角度違反規(guī)則）；

例：輸入條件說明學歷可為:?？?、本科、碩士、博士四種之一，則分別取這四種這四個值作為四個有效等價類，另外把四種學歷之外的任何學歷作為無效等價類。（3）如果規(guī)定了輸入數據為整形，則可以劃分出三個有效類（正整數、零和負整數）和一個無效類（非整數）；（4）如果程序的處理對象是表格，則應該使用空表，以及含一項或多項的表；（1）黑盒測試-等價類劃分

www.例:某報表處理系統(tǒng)要求用戶輸入處理報表的日期，日期限制在2001年1月至2005年12月，即系統(tǒng)只能對該段期間內的報表進行處理，如日期不在此范圍內，則顯示輸入錯誤信息。系統(tǒng)日期規(guī)定由年、月的6位數字字符組成，前四位代表年，后兩位代表月。如何用等價類劃分法設計測試用例,來測試程序的日期檢查功能？用等價類劃分法設計測試用例舉例：（1）黑盒測試-等價類劃分

www.第一步：等價類劃分輸入等價類有效等價類無效等價類

報表日期的類型及長度6位數字字符(1)有非數字字符(4)少于6個數字字符(5)多于6個數字字符(6)年份范圍在2001～2005之間(2)小于2001(7)大于2005(8)月份范圍在1～12之間(3)“報表日期”輸入條件的等價類表小于1(9)大于12(10)（1）黑盒測試-等價類劃分

www.第二步為有效等價類設計測試用例對表中編號為1,2,3的3個有效等價類用一個測試用例覆蓋：

測試數據期望結果覆蓋范圍200105等價類(1)(2)(3)輸入有效（1）黑盒測試-等價類劃分

www.第三步：為每一個無效等價類設至少設計一個測試用例

測試數據期望結果覆蓋范圍001MAY等價類(4)輸入無效20015等價類(5)輸入無效2001005等價類(6)輸入無效200005等價類(7)輸入無效200805等價類(8)輸入無效200100等價類(9)輸入無效200113等價類(10)輸入無效測試數據不能有重復（1）黑盒測試-等價類劃分

www.例:對招干考試系統(tǒng)“輸入學生成績”子模塊設計測試用例

招干考試分三個專業(yè),準考證號第一位為專業(yè)代號,如:1-行政專業(yè),2-法律專業(yè),3-財經專業(yè).

行政專業(yè)準考證號碼為:110001～111215法律專業(yè)準考證號碼為:210001～212006財經專業(yè)準考證號碼為:310001～314015（1）黑盒測試-等價類劃分

www.例:準考證號碼的等價類劃分

有效等價類:

(1)110001～111215(2)210001～212006(3)310001～314015

無效等價類:

(4)-

～110000(5)111216～210000(6)212007～31000(7)314016～+（1）黑盒測試-等價類劃分

www.邊界分析

選取剛好等于、稍小于和稍大于等價類邊界值的數據作為測試數據，而不是選取每個等價類內的典型值或任意值作為測試數據。注：通常設計測試方案時總是聯合使用等價劃分和邊界分析兩種技術（2）黑盒測試-邊界分析www.輸入條件報表日期的類型及長度1個數字字符5個數字字符7個數字字符有1個非數字字符全部是非數字字符6個數字字符顯示出錯顯示出錯顯示出錯顯示出錯顯示出錯輸入有效日期范圍月份范圍“報表日期”邊界值分析法測試用例測試用例說明測試數據期望結果選取理由52001520010052001.5MAY---200105月份為1月月份為12月月份<1月份>12200101200112200100200113200101200512200100200513輸入有效輸入有效顯示出錯顯示出錯輸入有效輸入有效顯示出錯顯示出錯在有效范圍邊界上選取數據僅有1個合法字符比有效長度少1比有效長度多1只有1個非法字符6個非法字符類型及長度均有效最小日期最大日期剛好小于最小日期剛好大于最大日期最小月份最大月份剛好小于最小月份剛好大于最大月份錯誤推測

基本思想是列舉出程序中可能的錯誤和容易發(fā)生錯誤的特殊情況，并且根據它們選擇測試方案。錯誤推測方法是根據經驗來設計測試用例的方法。

例如，數據測試中的

缺省值、空白、空值、零值、無（3）黑盒測試-錯誤推測www.因果圖是借助圖形來設計測試用例，適合于被測程序具有多種輸入條件，程序的輸出又依賴于輸入條件的各種組合的情況。利用因果圖導出測試用例的步驟：列出原因（輸入條件）和結果（輸出條件）；標識出原因和結果之間的關系（一一對應、選擇關系、并列關系、否定關系），畫出因果圖；把因果圖轉化成判定表；對判定表的每一列寫成一個測試用例。（4）黑盒測試-因果圖www.因果圖法實例某電力公司有A、B、C、D四類收費標準,并規(guī)定：居民用電<100度/月按A類收費

≥100度/月按B類收費動力用電<10000度/月,非高峰,B類收費

≥10000度/月,非高峰,C類收費

<10000度/月,高峰,C類收費

≥10000度/月,高峰,D類收費（4）黑盒測試-因果圖www.列出原因和結果原因：

1——居民用電

2——動力用電

3——<100度/月～3——≥100度/月

4——非高峰～4——高峰

5——<10000度/月～5——≥10000度/月

結果：A——按A類收費

B——按B類收費

C——按C類收費

D——按D類收費（4）黑盒測試-因果圖www.用因果圖表明輸入和輸出間的邏輯關系1I12B∨∧AC35∧DI4I3I2∨∧∧∧∧并列關系選擇關系否定關系中間結點4（4）黑盒測試-因果圖www.把因果圖轉換為判定表組合條件條件(原因)動作(結果)ABC123123456101100011000110000100001104101050011D000110010000測試用例（4）黑盒測試-因果圖www.把判定表的每一列寫成一個測試用例1列居民電,90度/月A2列居民電,110度/月B3列動力電,非高峰,8000度/月B4列動力電,非高峰,1.2萬度/月C5列動力電,高峰,0.9萬度/月C6列動力電,高峰,1.1萬度/月D

條件測試用例預期結果組合(輸入數據)(輸出動作)（4）黑盒測試-因果圖www.①在任何情況下都應該使用邊界值分析的方法；②必要時用等價劃分法補充；③必要時再用錯誤推測法補充；④對照程序邏輯，檢查測試方案?？筛鶕Τ绦蚩煽啃缘囊蟛捎貌煌倪壿嫺采w標準，必要時補充一些測試方案。（5）黑盒測試-綜合策略www.

2.白盒法

該方法把測試對象看作一個打開的盒子，測試人員須了解程序的內部結構和處理過程，以檢查處理過程的細節(jié)為基礎，對程序中盡可能多的邏輯路徑進行測試，檢驗內部控制結構和數據結構是否有錯，實際的運行狀態(tài)與預期的狀態(tài)是否一致。2.白盒法www.白盒法也不可能進行窮舉測試，企圖遍歷所有的路徑，往往是做不到的。如測試一個循環(huán)20次的嵌套的IF語句，循環(huán)體中有5條路徑。測試這個程序的執(zhí)行路徑為520，約為1014，如果每毫秒完成一個路徑的測試，測試此程序需3170年！2.白盒法www.源程序如下：ProdureExample(A,B:Real;x:Real);BeginIf(A>1)And(B=0)Thenx:=x/A;If(A=2)or(x>1)Thenx:=x+1End

A>1

ANDB=0

F

F

入口

A=2

OR

x>1

返回

x=x/AT

x=x+1

T

a

c

b

d

e

白盒測試舉例：2.白盒法www.問題：若AND錯寫為OR，或X>1錯寫為X<1,則錯誤無法由上例測出。入口A>1ORB=0TA=2ORX>1TX=X/AX=X+1返回FFTestcase:A=2,B=0,X=4.（1）語句覆蓋：就是設計足夠的調試用例，使得程序中的每個語句至少執(zhí)行一次。2.白盒法If(A>1)And(B=0)Thenx:=x/A;If(A=2)or(x>1)Thenx:=x+1www.⑵判定覆蓋(Branchcoverage)：在⑴的基礎上，每個判定的每個分支至少執(zhí)行一次。Testcases:①A=3,B=0,X=3②A=2,B=1,X=1問題：若X>1錯寫為X<1,仍然無法被測出。入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FFX<1?2.白盒法If(A>1)And(B=0)Thenx:=x/A;If(A=2)or(x>1)Thenx:=x+1www.⑶條件覆蓋(Conditioncoverage)：在⑴的基礎上，使每個判定表達式的每個條件都取到各種可能的結果。Testcases:①A=2,B=0,X=4（滿足A>1,B=0;A=2,X>1)②A=1,B=1,X=1(滿足A1,B0;A2,X1）⑷判定/條件覆蓋：即判定覆蓋條件覆蓋

入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FF2.白盒法If(A>1)And(B=0)Thenx:=x/A;If(A=2)or(x>1)Thenx:=x+1www.⑸條件組合覆蓋：每個判定表達式中條件的各種可能組合都至少出現一次。入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FF全部可能的條件組合為：①A>1,B=0②A>1,B0③A