《軟件測試技術(shù)》課程教案

（首頁）北方工業(yè)大學(xué)課程教案課程名稱軟件測試課程性質(zhì)專業(yè)選修開課年度2008年至2009年開課學(xué)期秋季授課班級計05A-1234主講教師課程所屬學(xué)院（部門）信息工程學(xué)院課程所屬系（教研室）計算機系日期：08年9月16日地點：四教501軟件測試概述第1節(jié)軟件故障與軟件測試第2節(jié)軟件測試與軟件開發(fā)過程第3節(jié)軟件測試方法與測試內(nèi)容第4節(jié)軟件測試原則與特點教學(xué)重點：了解軟件測試與軟件開發(fā)過程、軟件測試方法與測試內(nèi)容、軟件測試原則與特點。教學(xué)難點:掌握軟件測試方法與測試內(nèi)容。講授主要內(nèi)容：一、本課程的主要內(nèi)容介紹1、軟件測試的基本概念2、軟件測試技術(shù)：白箱法；黑箱法等3、TTCN樹表描述語言4、LOTOS時序邏輯描述語言二、軟件故障與軟件測試所謂軟件測試是為了評價一個軟件系統(tǒng)的質(zhì)量和發(fā)現(xiàn)錯誤而從事的一種工作過程。可分為局部軟件的局部運行和全部運行；從運行的環(huán)境來看，可有仿真運行和實際運行。這就存在一個軟件測試中的方式和方法的問題。而方法又與采用的技術(shù)相關(guān)，技術(shù)不同，方法也不同。所以軟件測試技術(shù)是測試的關(guān)鍵。三、軟件測試與軟件開發(fā)過程?生命周期模型：軟件開發(fā)過程中的各種活動構(gòu)成軟件開發(fā)的生命周期，而隨著這些活動的組織方式和方法不同，就構(gòu)成不同的軟件開發(fā)生命周期模型。?生命周期與測試的關(guān)系：雖然軟件開發(fā)的生命周期模型有所不同，但軟件開發(fā)的階段性始點和終點是相同的，而且軟件測試是不可缺少的一項工作。四、軟件測試方法與測試內(nèi)容軟件測試的種類：從是否需要執(zhí)行被測軟件的角度，可分為靜態(tài)測試和動態(tài)測試；從測試是否針對系統(tǒng)的內(nèi)部結(jié)構(gòu)和具體實現(xiàn)算法的角度，可分為白盒測試和黑盒測試；從測試范圍角度，可分為單元測試、系統(tǒng)測試、集成測試等等；從測試目標(biāo)角度，可分為性能測試、功能測試、可靠性測試等等。從測試采用的工具角度，可分自動測試，手工測試等。五、軟件測試原則與特點介紹軟件測試的原則和軟件測試特點。本次課主體教學(xué)方式、方法：多媒體ppt課件演示、板書、講授。1、（書P131）簡述軟件缺陷的含義。2、（書P132）說明軟件缺陷、軟件錯誤和軟件失敗的關(guān)系。3、（書P1411）給出a測試的執(zhí)行者，并說明原因。4、（書P1414）“軟件測試士有風(fēng)險的工作”，試解釋這種說法的含義。教學(xué)后記

第2周日第2周日期：08年9月23日地點：四教501第2章 軟件測試基礎(chǔ)第1.1節(jié)軟件測試白箱法教學(xué)重點：了解各種邏輯覆蓋法的含義。教學(xué)難點：掌握各種邏輯覆蓋法測試用例的編寫。講授主要內(nèi)容:一、軟件白箱測試法白箱法是以程序的內(nèi)部邏輯為依據(jù)。合理的白箱測試，就是要選取足夠的測試用例，對源代碼進行比較充分的覆蓋，以便盡可能多地發(fā)現(xiàn)程序中的錯誤。白箱法適用范圍：主要用于模塊測試、測試等。兩種方法：邏輯覆蓋法和基本路徑法。本節(jié)主要介紹邏輯覆蓋法。二、邏輯覆蓋法語句覆蓋語句覆蓋的含義是指在測試的過程中，軟件測試者應(yīng)選擇足夠多的測試用例，使被測試程序中每個語句至少執(zhí)行一次。判斷覆蓋在測試的過程中，軟件測試者應(yīng)設(shè)計若干測試用例，并運行所測程序，使被測試程序中每個判斷的真分支和假分支至少經(jīng)歷一次條件覆蓋用條件覆蓋所設(shè)計的測試用例可使得程序中的每一個判斷的每一個條件的可能取值至少執(zhí)行一次。判斷-條件覆蓋用判斷-條件覆蓋所設(shè)計的測試用例能夠使得判斷中每一個條件的所有可能取值至少執(zhí)行一次，同時每個判斷的所有可能判斷結(jié)果至少執(zhí)行一次。條件組合覆蓋能夠使得每個判斷的所有可能的條件取值組合至少執(zhí)行一次。三、布置上機內(nèi)容：實驗1—邏輯覆蓋測試法本次課主體教學(xué)方式、方法:多媒體ppt課件演示、板書、講授。1、（書P322）條件覆蓋是否能把所有的條件都覆蓋？布置作業(yè)布置作業(yè) 2、（書P326）根據(jù)要求，給出各種邏輯覆蓋的測試用例。3、什么是白箱測試法？教學(xué)后記課程第3講第3周日期：08年9月30日 地點：五教9層網(wǎng)絡(luò)中心第2章實驗1—邏輯覆蓋法第1節(jié)第2節(jié)第3節(jié)教學(xué)重點：掌握各種邏輯覆蓋法測試用例的編寫。教學(xué)難點：程序流程圖的給出及邏輯覆蓋法測試用例的編寫。講授主要內(nèi)容：按排上機內(nèi)容如下：編寫一個程序，循環(huán)從標(biāo)準(zhǔn)輸入讀入某雇員的工作時間（以小時計）和每小時的工資數(shù)，計算并輸出他的工資。若雇員月工作小時超過40小時，則超過部分按原工資的1.5倍的加班工資來計算。若雇員月工作小時超過50小時，則超過50的部分按原工資的3倍的加班工資來計算，而40到50小時的工資仍按照原工資的1.5倍的加班工資來計算。（被測試程序見“實驗1邏輯覆蓋法”。）要求：1、根據(jù)被測試程序，畫出程序的流程圖；2、說出本測試程序共有幾條路徑？分別給出每一條路徑。3、分別編寫邏輯覆蓋法各種方法的測試用例，測試給定程序。（各種邏輯覆蓋方法包括：語句覆蓋、判斷覆蓋、條件覆蓋、條件組合覆蓋、判斷（條件）覆蓋、路徑覆蓋）本次課主體教學(xué)方式、方法：指導(dǎo)上機邏輯覆蓋法設(shè)計測試用例。布置作業(yè)教學(xué)后記

課程第4講第4周日期：08年10月7日地點：四教501第2章軟件測試基礎(chǔ)第1.2節(jié)基本路徑測試法教學(xué)重點:了解環(huán)形復(fù)雜性的概念及基本路徑測試法的步驟。教學(xué)難點：掌握基本路徑測試法測試用例的編寫。講授主要內(nèi)容：一、基本思路基本路徑測試方法允許測試用例設(shè)計者導(dǎo)出一個過程設(shè)計的邏輯復(fù)雜性側(cè)度，并使用該測度作為指南來定義執(zhí)行路徑的基本集。從該基本集導(dǎo)出的測試用例保證對程序中的每一條語句至少執(zhí)行一次。二、流圖符號、流圖定義每一個圓稱為流圖的節(jié)點，代表一個或多個語句。一個處理方框序列和一個菱形決策框可被映射為一個節(jié)點。流圖中的箭頭，稱為邊或連接，代表控制流，類似于流程圖中的箭頭。條邊必須終止于一個節(jié)點，即使該節(jié)點并不代表任何語句。由邊和節(jié)點限定的范圍稱為區(qū)域。計算區(qū)域時應(yīng)包括圖外部的范圍。三、環(huán)形復(fù)雜性的定義與算法獨立路徑是指程序中至少引進一個新的處理語句集合或一個新條件的任一路徑。采用流圖的術(shù)語，即3獨立路徑必須至少包含一條在定義路徑之刖不曾用到的邊。有多種算法可以計算環(huán)形復(fù)雜性V(G)：1)流圖中區(qū)域的數(shù)量對應(yīng)于環(huán)形的復(fù)雜性；2)給定流圖G的環(huán)形復(fù)雜性V(G)，定義為V(G)=E-N+2,E是流圖中邊的數(shù)量，N是流圖節(jié)點數(shù)量。3)給定流圖G的環(huán)形復(fù)雜性丫(5，也可定義為V(G)=P+1,P是流圖G中判定節(jié)點的數(shù)量。四、基本路徑法步驟步驟1：以設(shè)計或代碼為基礎(chǔ)，固出相應(yīng)的流圖。步驟2：確定結(jié)果流圖的環(huán)形復(fù)雜性。步驟3：確定線性獨立的路徑的一個基本集。步驟4：準(zhǔn)備測試用例，強制執(zhí)行基本集中每條路徑。五、布置上機內(nèi)容：實驗2—基本路徑測試法本次課主體教學(xué)方式、方法：上機指導(dǎo)編寫測試用例。布置作業(yè)1、流圖、環(huán)形復(fù)雜性的含義。2、(書P337)基本路徑測試法實例練習(xí)。教學(xué)后記第5周 日期：08年10月14日地點：五教9層網(wǎng)絡(luò)中心實驗2--基本路徑測試法第節(jié)Mr：-M-第節(jié)xk-1-1-第節(jié)教學(xué)重點:掌握環(huán)形復(fù)雜性的概念及基本路徑測試法。教學(xué)難點:掌握基本路徑測試法的步驟及測試用例的編寫。講授主要內(nèi)容：按排上機內(nèi)容如下：編寫一個程序，循環(huán)從標(biāo)準(zhǔn)輸入讀入某雇員的工作時間（以小時計）和每小時的工資數(shù)，計算并輸出他的工資。若雇員月工作小時超過40小時，則超過部分按原工資的1.5倍的加班工資來計算。若雇員月工作小時超過50小時，則超過50的部分按原工資的3倍的加班工資來計算，而40到50小時的工資仍按照原工資的1.5倍的加班工資來計算。（被測試程序見“實驗2基本路徑測試法”。）要求：1、畫出給定實驗題目的程序流程圖；2、以程序流程圖為基礎(chǔ)，畫出相應(yīng)的流圖；3、計算環(huán)形復(fù)雜性V（G）；4、根據(jù)環(huán)形復(fù)雜性丫（6，找出基本路徑；5、分別給出執(zhí)行每條路徑的測試用例。本次課主體教學(xué)方式、方法:上機指導(dǎo)基本路徑測試法測試用例的編寫。布置作業(yè)教學(xué)后記課程第6講第6周日期：08年10月21日地點：四教501第2章軟件測試基礎(chǔ)第2節(jié)軟件測試黑箱法教學(xué)重點：了解黑箱法的概念、等價分類法的含義及測試用例的編寫。教學(xué)難點：掌握黑箱法測試用例的編寫。講授主要內(nèi)容：一、黑箱法介紹黑箱法是以程序的功能作為測試依據(jù)的測試方法。一個黑箱測試就是選擇足夠多的測試用例，檢驗所有軟件的輸入。黑箱測試用于發(fā)現(xiàn)以下類型的錯誤：功能不符合要求或遺漏；界面錯誤；數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫訪問錯誤；性能偏差；初始化或終止錯誤。測試用例回答下例問題：如何測試功能的有效性？何種類型的輸入會產(chǎn)生好的測試用例？系統(tǒng)是否對特定的輸入值敏感？如何分隔數(shù)據(jù)類的邊界？系統(tǒng)能夠承受何種數(shù)據(jù)率和數(shù)據(jù)量？特定類型的數(shù)據(jù)組合會對系統(tǒng)產(chǎn)生何種影響？標(biāo)準(zhǔn)的測試用例集：所設(shè)計的測試用例能夠減少達到合理測試所需的附加測試用例數(shù)；所設(shè)計的測試用例能夠告知某些類型錯誤的存在與否，而不僅僅告知與特定測試相關(guān)的錯誤。二、等價分類法等價類劃分是一種黑箱測試方法。它是將程序的輸入域劃分為數(shù)據(jù)類，以便導(dǎo)出測試用例。理想的測試用例是能用一個用例可以發(fā)現(xiàn)一類錯誤。等價類劃分要考慮以下兩種情況：有效等價類、無效等價類。（1）確定有效等價類 （2）確立測試用例 （3）設(shè)計測試用例三、邊界值分析思路：人們從長期的測試工作中總結(jié)出經(jīng)驗：大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。經(jīng)驗：應(yīng)當(dāng)選擇正好等于、剛剛大于或剛剛小于邊界的值作為測試數(shù)據(jù)，而不是選擇等價類中的典型值或任意值作為測試數(shù)據(jù)。邊界值分析遵循的原則。四、布置上機內(nèi)容：實驗3—黑箱測試法本次課主體教學(xué)方式、方法：多媒體ppt課件演示、板書、講授。布置作業(yè)1、什么是黑箱測試法？ 2、什么是等價類劃分和邊界值分析？3、（書P324）根據(jù)要求，用等價類劃分法設(shè)計測試用例。4、（書P325）根據(jù)要求，用邊界值分析法設(shè)計測試用例。教學(xué)后記課程第7講第7周 日期：08年10月28日地點：五教9層網(wǎng)絡(luò)中心實驗3--黑箱測試法第節(jié)xk-1-1-第節(jié)教學(xué)重點：了解軟件測試黑箱法及測試用例的編寫。教學(xué)難點:軟件測試黑箱法及測試用例的編寫。講授主要內(nèi)容:按排上機內(nèi)容如下：編寫一個程序，循環(huán)從標(biāo)準(zhǔn)輸入讀入某雇員的工作時間（以小時計）和每小時的工資數(shù)，計算并輸出他的工資。若雇員月工作小時超過40小時，則超過部分按原工資的1.5倍的加班工資來計算。若雇員月工作小時超過50小時，則超過50的部分按原工資的3倍的加班工資來計算，而40到50小時的工資仍按照原工資的1.5倍的加班工資來計算。根據(jù)前面編寫的程序及流程圖，編寫采用黑箱法測試的測試用例。要求：1、根據(jù)給定程序以及確定等價類的原則，進行等價類劃分。2、設(shè)計測試用例。3、根據(jù)邊界值分析的測試用例的原則，設(shè)計測試用例。本次課主體教學(xué)方式、方法：上機指導(dǎo)黑箱測試法測試用例的編寫。布置作業(yè)教學(xué)后記課程第8講第8第8周日期：08年11月4日地點：四教501第2章 軟件測試基礎(chǔ)第3節(jié)軟件測試灰箱法第4節(jié)面向?qū)ο筌浖臏y試教學(xué)重點:了解軟件測試黑箱法及面向?qū)ο筌浖臏y試方法。 教學(xué)難點：面向?qū)ο筌浖臏y試方法。 講授主要內(nèi)容：一、灰箱法灰箱法是以程序的主要性能為測試依據(jù)，根據(jù)程序的程序圖、功能說明書以及測試者的實踐經(jīng)驗來設(shè)計測試用例，在測試程序的主要功能的同時也測試程序的主要性能?；蚁錅y試的方法包括：路徑/等價法、路徑/邊界值法。通過例子，介紹灰箱測試的方法的路徑/等價法和路徑/邊界值法。二、面向?qū)ο筌浖臏y試方法面向?qū)ο蟮拈_發(fā)模型突破了傳統(tǒng)的瀑布模型，將開發(fā)分為面向?qū)ο蠓治觯∣OA），面向?qū)ο笤O(shè)計（00口），和面向?qū)ο缶幊蹋∣OP）三個階段。分析階段產(chǎn)生整個問題空間的抽象描述，在此基礎(chǔ)上，進一步歸納出適用于面向?qū)ο缶幊陶Z言的類和類結(jié)構(gòu)，最后形成代碼。由于面向?qū)ο蟮奶攸c，采用這種開發(fā)模型能有效的將分析設(shè)計的文本或圖表代碼化，不斷適應(yīng)用戶需求的變動。針對這種開發(fā)模型，結(jié)合傳統(tǒng)的測試步驟的劃分，本文建議一種整個軟件開發(fā)過程中不斷測試的測試模型，使開發(fā)階段的測試與編碼完成后的單元測試、集成測試、系統(tǒng)測試成為一個整體。測試模型如下圖所示：1、OOATest：面向?qū)ο蠓治龅臏y試。是對分析結(jié)果的測試。2、OODTest：面向?qū)ο笤O(shè)計的測試。是對設(shè)計結(jié)果的測試。3、OOPTest：面向?qū)ο缶幊痰臏y試。是對程序的測試。4、OOUnit1?出面向?qū)ο髥卧獪y試。是對類成員函數(shù)的測試。5、OOIntegrateT?W：面向?qū)ο蠹蓽y試。對整個編譯后的程序做基于黑盒子的集成測試。6、OOSystemTest：面向?qū)ο笙到y(tǒng)測試。測試開發(fā)完成的軟件與系統(tǒng)其他部分配套運行的表現(xiàn)，以保證在系統(tǒng)各部分協(xié)調(diào)工作的環(huán)境下也能正常工作。三、布置上機內(nèi)容：實驗4—灰箱測試法 本次課主體教學(xué)方式、方法：多媒體ppt課件演示、板書、講授。布置作業(yè)教學(xué)后記第9周日期：08年11月11日地點：五教9層網(wǎng)絡(luò)中心第2章實驗4--灰箱測試法第1節(jié)第2節(jié)xkc-1-1-第3節(jié)教學(xué)重點：掌握灰箱測試法的含義及測試用例的編寫方法。教學(xué)難點：灰箱測試法的測試用例的設(shè)計。講授主要內(nèi)容:按排上機內(nèi)容如下：編寫一個程序，循環(huán)從標(biāo)準(zhǔn)輸入讀入某雇員的工作時間（以小時計）和每小時的工資數(shù)，計算并輸出他的工資。若雇員月工作小時超過40小時，則超過部分按原工資的1.5倍的加班工資來計算。若雇員月工作小時超過50小時，則超過50的部分按原工資的3倍的加班工資來計算，而40到50小時的工資仍按照原工資的1.5倍的加班工資來計算。根據(jù)前面編寫的程序及流程圖，編寫采用灰箱法測試的測試用例。要求：1、根據(jù)給定問題的流程圖，給出程序的路徑、輸入變量的等價類以及邊界值。2、按路徑/等價法的原則，設(shè)計最小測試用例。3、按路徑/邊界值法的原則，設(shè)計最小測試用例。本次課主體教學(xué)方式、方法：上機指導(dǎo)灰箱測試法測試用例的編寫。布置作業(yè)教學(xué)后記

第11周日第11周日期：08年11月18日地點：四教501第3章 樹表描述語言第1節(jié)協(xié)議一致性測試框架第2節(jié)測試系統(tǒng)行為描述教學(xué)重點：了解協(xié)議一致性測試框架及測試系統(tǒng)行為描述方式。教學(xué)難點:理解協(xié)議一致性測試框架及測試系統(tǒng)行為描述方式。講授主要內(nèi)容：一、樹表描述語言O(shè)SI/ITU組織頒布的協(xié)議一致性測試基本框架和方法標(biāo)準(zhǔn)中的第三部分。二、幾個術(shù)語IUT：在一致性測試中一個被測試部分（ImplementUnderTe簡稱IUT）是一個OSI協(xié)議實體。SUT：IUT所在的系統(tǒng)稱為被測試系統(tǒng)（SystemUnderTes簡稱SUT）。UT和LT：IUT有一個上層測試（UpperTest接口和下層測試（LowTestg口。PCO:控制觀察點（PointsofControlandObservatio簡稱PCOs），UT和LT通過控制觀察點對系統(tǒng)進行測試。通常LT是遠程可訪問接口，因此IUT定義一個遠端的PCO，即底層接口被設(shè)置在遠端。ASPs：IUT和UT之間通過抽象服務(wù)元語（AbstractServicePrimi簡VesASPs）進行通信。PDUs:從概念角度，IUT和LT通過協(xié)議數(shù)據(jù)單元（ProtocolDataUnits簡稱PDUs）交換數(shù)據(jù)；TCP:測試協(xié)調(diào)過程（TestCoordinatiorProcedures簡稱TCP）來協(xié)調(diào)LT和UT的動作，這在LT和UT是兩個獨立的過程時十分必要。三、測試?yán)c測試套為了測試IUT,我們需要建立一個仿真測試事件集合或交互行動序列。這個用于描述測試任務(wù)的事件或行動的序列稱為測試?yán)╰estcase一個特定協(xié)議的測試?yán)戏Q為測試套。四、TTCN說明TTCN就是一種用于說明測試?yán)姆柤?，它可以建立一個實際被測系統(tǒng)的抽象模型，并說明測試?yán)膱?zhí)行過程。抽象的測試?yán)ㄋ械腲1所支持的被測目標(biāo)。五、布置上機內(nèi)容：實驗5—TelelogicTa環(huán)境；法國餐館本次課主體教學(xué)方式、方法：多媒體ppt課件演示、板書、講授。布置作業(yè)|1、理解協(xié)議一致性測試框架的含義。2、解釋概念：測試?yán)?、測試套。教學(xué)后記第11周日期：08年11月25日地點：五教9層網(wǎng)絡(luò)中心上機五--TelelogicTau環(huán)境；法國餐館教學(xué)重點：了解樹表描述語言TTCN的描述環(huán)境及實例演示。教學(xué)難點:通過實例演示，了解樹表描述語言TTCN的描述環(huán)境。講授主要內(nèi)容：?Purpose:howthedynamicpartisbuilt:Ifitisnotalreadythere,makeanewfolder“Exercise3”StarttheOrganizerIntheOrganizer,choose“AddNew”fromthe“Edit”menu.Inthe“TelelogicAddNew”dialogue,makesurethatthebuttonforTTCNispressedandthattheword“TestSuite”istotherightoftheword“TTCNWrite“Frenchtest"inthe“Newdocumentname”dialogue.Press“OK”?TestPurposeWewanttotestifarandomlychosenrestaurantisFrenchWewillproduceasequenceofstimuliandobservethebehaviorWewilldoblackboxtesting?WehavetodefineanumberofthingsinordertoformalizethetestApointwherewecansendstimuliandobservethebehavior(PCO)Anumberofmessagestosendandreceive(ASPs)Atestalgorithm:本次課主體教學(xué)方式、方法：上機指導(dǎo)。介紹TelelogicTau環(huán)境并演示法國餐館實例。布置作業(yè)教學(xué)后記

第12第12周日期：08年12月2日地點：四教501第3章 樹表描述語言第3節(jié)TTCN數(shù)據(jù)類型和取值第4節(jié)PCOs和CPs第5節(jié)發(fā)送語句教學(xué)重點：了解TTCN中，異步通信模型在測試組件和被測軟件之間的通信方式，TTCN數(shù)據(jù)類型和取值以及發(fā)送語句的格式。教學(xué)難點：理解并學(xué)會編寫發(fā)送語句。講授主要內(nèi)容：一、行為樹一致性測試框架下的測試只關(guān)心控制與觀察點上的交互，所以系統(tǒng)行為用一顆樹來表示比較自然，這棵樹就稱之為行為樹。在TTCN中，所有的行為用動態(tài)行為表來說明。動態(tài)行為表由行號、標(biāo)簽、行為描述、約束條件、結(jié)論、注釋構(gòu)成。在同一縮排的聲明行的集合中，有相同父節(jié)點的節(jié)點稱為可替換聲明行，簡稱替換。替換規(guī)則是:把所有事件和條件在一個沒有激活的行動之前聲明。行為樹的執(zhí)行從樹根開始。二、TTCN數(shù)據(jù)類型和取值數(shù)據(jù)類型的含義：TTCN所包含的數(shù)據(jù)類型用來說明行為描述中所涉及到的數(shù)據(jù)，如在ASPs中數(shù)據(jù)類型說明等等。TTCN的數(shù)據(jù)類型包括HEXSTRING、BOOLEN、INTEGER、ENUMERATED、REAL、IA5String、BITSTRING、OCTETSTRING、NULL以及其它ASN.1類型。TTCN預(yù)定義數(shù)據(jù)類型的值與ASN.1數(shù)據(jù)類型的值具有相同的取值范圍，參見ASN.1。一、PCOs和CPsTTCN支持異步通信模型，在測試組件和被測軟件之間的通信是通過控制和觀察點（PCOs）實現(xiàn)的，而不同測試組件之間是通過測試協(xié)作點^楨出皿加*Points簡稱CPs）進行交互。四、發(fā)送語句TTCN行為樹中的主要行為之一是通過PCO/CP向IUT發(fā)送ASPs或PDUs。發(fā)送行為聲明允許一個測試套說明一個通過PCO發(fā)送的ASP類型。執(zhí)行發(fā)送語句的過程是：如果一個條件QUALIFIER是FALSE，則過程停止，并且發(fā)送語句為假；如果QUALIFIER是TRUE，則ASSIGNMENT_LIST被執(zhí)行。最后TIMER_OPERATION被執(zhí)行。五、布置上機內(nèi)容：實驗6—傳輸協(xié)議本次課主體教學(xué)方式、方法：多媒體ppt課件演示、板書、講授。布置作業(yè) 1、行為樹的表示方法。2、發(fā)送語句的格式。 一教學(xué)后記第13周 日期：08年12月9日 地點：五教9層網(wǎng)絡(luò)中心實驗6--傳輸協(xié)議I-第節(jié)第節(jié)I-第節(jié)教學(xué)重點：熟悉TelelogicTau環(huán)境，了解傳輸協(xié)議的實現(xiàn)過程。教學(xué)難點:掌握傳輸協(xié)議的實現(xiàn)過程。講授主要內(nèi)容:Ifitisnotalreadythere,makeanewdirectoryandcallit“exercise6”Iftheyarenotalreadythere,copythefilesTestTP0.mp,pixit.ttp.AndTP0_smc.exefromthedirectoryaccordingtotheteacherinstructionsStarttheOrganizer.AddTestTP0.mpasa“Existing”objectintheorganizerBuildtheTestCaseandbuildtheconstraintsHints:Whenbuildingconstraints.copythedeclarationandpasteitintheconstraint.AlwaysanalyzethetablewhenyouthinkyouaredonewithitWheneverythingisanalyzedwithouterrors,choose“Options”fromthe“Build”-menuintheBrowser.Choosethesameoptionsasinexercise5step12exceptforthe“outputdirectory”,whichnowshouldbe“\exercise6\c-code.Press“OK”Pressthe“Run”or“Step”buttonandovservewhathappen.本次課主體教學(xué)方式、方法：演示傳輸協(xié)議實例。上機指導(dǎo)。布置作業(yè)教學(xué)后記第13周 日期：08年12月16日地點：五教9層網(wǎng)絡(luò)中心第3章 實驗7--同步電話第節(jié)I-第節(jié)第節(jié)教學(xué)重點：熟悉TelelogicTau環(huán)境，了解同步電話的實現(xiàn)過程。教學(xué)難點：掌握同步電話的實現(xiàn)過程。講授主要內(nèi)容:Willonlybuildthedynamicpart,bywritingsendandreceivestatementsinaTestCase:AddanewTestCaseintheDynamicPart,byselect“TestCases”intheDynamicMenuandpressthebuttonintheBrowser.DotheexercisebybuildingtheTestCase.?Hints:Use“!”forsendand“？”forreceive.Makesurethattheindentationiscorrect.RememberthatyousendTOTheWaiterandthatyoureceiveFROMTheWaiter.TheFirstrowshouldbesomethinglike:TheWaiter!GoodEvening?StartupTTCNSuiteIfitisnotalreadythere,createanewfolderandcallit“EXERCISE5”Dostep17to21again,butchoose“IUTsw_smc.exe”(SwndishRestaurant)instead本次課主體教學(xué)方式、方法：演示同步電話實例。上機指導(dǎo)。布置作業(yè)教學(xué)后記課程第15講第15周日期：08年12月23日地點：五教9層網(wǎng)絡(luò)中心第3章實驗7-洞步電話第1節(jié)第2節(jié)xkc-1-1-第3