第一篇：軟件測(cè)試項(xiàng)目化教學(xué)實(shí)例ZW14

軟件測(cè)試技術(shù)概論

第14章 需求測(cè)試

14.1需求測(cè)試概述

14.1.1什么是需求

1.需求的層次

圖14-1軟件需求各層次關(guān)系

2.FURPS+模型 3.可能的需求風(fēng)險(xiǎn) 4.好的需求應(yīng)具有的特點(diǎn)

軟件測(cè)試技術(shù)概論

14.1.2測(cè)試需求

14.2通過(guò)評(píng)審來(lái)測(cè)試需求

14.2.1需求評(píng)審中的常見(jiàn)風(fēng)險(xiǎn) 14.2.2需求評(píng)審檢查表

軟件測(cè)試技術(shù)概論 4

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論 6

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論 14.3通過(guò)用例設(shè)計(jì)來(lái)測(cè)試需求

圖14-2化學(xué)制品請(qǐng)求對(duì)話(huà)圖

軟件測(cè)試技術(shù)概論

圖14-3測(cè)試路徑圖

軟件測(cè)試技術(shù)概論

14.4需求建模測(cè)試

14.4.1統(tǒng)一建模語(yǔ)言

1.Use Case圖

軟件測(cè)試技術(shù)概論 圖14-4 Use Case圖例

2.Use Case 測(cè)試

14.4.2消息順序圖（MSC）

圖14-5 MSC圖示例

軟件測(cè)試技術(shù)概論

圖14-6 HMSC示例

軟件測(cè)試技術(shù)概論

14.4.3分析建模工具介紹

軟件測(cè)試技術(shù)概論

14.4.4需求的形式化描述

圖14-7需求的形式化表示樣例

軟件測(cè)試技術(shù)概論

14.5基于原型的測(cè)試

14.5.1原型的目的 14.5.2原型的種類(lèi) 14.5.3原型的測(cè)試方法

14.6本章小結(jié)

需求是一個(gè)軟件開(kāi)發(fā)項(xiàng)目的靈魂所在，有著至關(guān)重要的位置。保證需求的質(zhì)量是一個(gè)項(xiàng)目成敗的關(guān)鍵。本章，我們從需求評(píng)審、用例測(cè)試、建模測(cè)試和原型測(cè)試等多個(gè)角度探索對(duì)需求的驗(yàn)證，其最終的目的是希望盡可能地使需求穩(wěn)定，減少項(xiàng)目開(kāi)發(fā)過(guò)程中的需求變化，從而加快項(xiàng)目的開(kāi)發(fā)進(jìn)度，降低項(xiàng)目的開(kāi)發(fā)成本，提高最終軟件產(chǎn)品的質(zhì)量。收集需求并編寫(xiě)需求文檔是軟件項(xiàng)目設(shè)計(jì)成功的很好起點(diǎn)。但還需要保證需求的正確性，使需求能體現(xiàn)出良好需求說(shuō)明的全部特性。如果能把早期的黑盒子測(cè)試設(shè)計(jì)、非正式需求評(píng)審、軟件需求規(guī)格說(shuō)明書(shū)檢視和其他需求驗(yàn)證技術(shù)相結(jié)合，你將花比以前更少的時(shí)間、更低的費(fèi)用來(lái)構(gòu)造質(zhì)量更高的系統(tǒng)。

第二篇：軟件測(cè)試項(xiàng)目化教學(xué)實(shí)例ZW8

軟件測(cè)試技術(shù)概論

第8章 系統(tǒng)測(cè)試

8.1系統(tǒng)測(cè)試概念 8.2系統(tǒng)測(cè)試方法

8.2.1功能測(cè)試

1.基本概念 2.分析方法 3.用例設(shè)計(jì)

8.2.2協(xié)議一致性測(cè)試

1.基本概念 2.分析技術(shù)

圖8-1協(xié)議一致性測(cè)試過(guò)程

3.用例設(shè)計(jì)

軟件測(cè)試技術(shù)概論

8.2.3性能測(cè)試

1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.4壓力測(cè)試

1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.5容量測(cè)試

1.基本概念 2.分析方法 3.用例設(shè)計(jì)

8.2.6安全性測(cè)試

1.基本概念 2.分析方法 3.用例設(shè)計(jì)

8.2.7恢復(fù)性測(cè)試

1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.8備份測(cè)試

軟件測(cè)試技術(shù)概論 1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.9 GUI測(cè)試

1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.10健壯性測(cè)試

1.基本概念 2.分析技術(shù)

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

3.用例設(shè)計(jì)

軟件測(cè)試技術(shù)概論

8.2.11兼容性測(cè)試

1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.12可用性測(cè)試

1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.13可安裝性測(cè)試

1.基本概念 2.分析技術(shù)

圖8-2一般安裝程序流程圖

軟件測(cè)試技術(shù)概論

圖8-3對(duì)安裝程序使用自動(dòng)測(cè)試的流程圖

軟件測(cè)試技術(shù)概論

圖8-4使用自動(dòng)測(cè)試測(cè)試安裝空間流程圖

3.用例設(shè)計(jì)

8.2.14文檔測(cè)試

1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.15在線(xiàn)幫助測(cè)試1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.2.16數(shù)據(jù)轉(zhuǎn)換測(cè)試1.基本概念 2.分析技術(shù) 3.用例設(shè)計(jì)

8.3系統(tǒng)測(cè)試過(guò)程

軟件測(cè)試技術(shù)概論

圖8-5 PDCA循環(huán)

軟件測(cè)試技術(shù)概論

圖8-6系統(tǒng)測(cè)試過(guò)程

軟件測(cè)試技術(shù)概論 8.3.1完成系統(tǒng)測(cè)試計(jì)劃

1.決定系統(tǒng)測(cè)試類(lèi)型 2.確定系統(tǒng)測(cè)試進(jìn)度

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

3.組織系統(tǒng)測(cè)試小組 4.建立系統(tǒng)測(cè)試環(huán)境 5.安裝系統(tǒng)測(cè)試工具

軟件測(cè)試技術(shù)概論

8.3.2完成系統(tǒng)測(cè)試用例 8.3.3評(píng)審/審批系統(tǒng)測(cè)試計(jì)劃

1.安排/進(jìn)行評(píng)審 2.獲得批準(zhǔn)

8.3.4執(zhí)行系統(tǒng)測(cè)試

1.回歸測(cè)試

軟件測(cè)試技術(shù)概論

2.執(zhí)行新的系統(tǒng)測(cè)試 3.文檔化系統(tǒng)缺陷

8.4本章小結(jié)

系統(tǒng)測(cè)試是對(duì)已經(jīng)集成好的軟件系統(tǒng)進(jìn)行徹底的測(cè)試，以驗(yàn)證軟件系統(tǒng)的正確性和性能等滿(mǎn)足其規(guī)約所指定的要求，檢查軟件的行為和輸出是否正確并非一項(xiàng)簡(jiǎn)單的任務(wù)，它 16

軟件測(cè)試技術(shù)概論

被稱(chēng)為測(cè)試的“先知者問(wèn)題”。因此，系統(tǒng)測(cè)試應(yīng)該按照測(cè)試計(jì)劃進(jìn)行，其輸入、輸出和其他動(dòng)態(tài)運(yùn)行行為應(yīng)該與軟件規(guī)約進(jìn)行對(duì)比。軟件系統(tǒng)測(cè)試方法很多，主要有功能測(cè)試、性能測(cè)試、壓力測(cè)試、容量測(cè)試等。為了進(jìn)行全面的系統(tǒng)驗(yàn)證，一般需要綜合多種測(cè)試方法結(jié)合進(jìn)行測(cè)試。具體測(cè)試內(nèi)容的選擇需要根據(jù)業(yè)務(wù)的特點(diǎn)、進(jìn)度、成本和質(zhì)量等多個(gè)維度進(jìn)行考慮。在本章我們介紹了16種系統(tǒng)測(cè)試的方法，其實(shí)在實(shí)際系統(tǒng)測(cè)試過(guò)程中還有一些別的測(cè)試方法，有些方法我們將在第9章和第10章有所介紹，有些方法由于只適用于某些業(yè)務(wù)領(lǐng)域，因此在這里就不涉及了，還有一些測(cè)試基本可以融入到上面介紹的16種測(cè)試方法中，例如數(shù)據(jù)庫(kù)測(cè)試可以在功能測(cè)試、性能測(cè)試、壓力測(cè)試、容量測(cè)試等多個(gè)領(lǐng)域內(nèi)分別進(jìn)行。同時(shí)在上面介紹的多種系統(tǒng)測(cè)試方法中，彼此之間也并不是完全沒(méi)有關(guān)聯(lián)的，例如功能測(cè)試和協(xié)議測(cè)試經(jīng)常會(huì)在一起進(jìn)行，壓力測(cè)試、容量測(cè)試以及性能測(cè)試也經(jīng)?；旌显谝黄疬M(jìn)行。具體如何做需要根據(jù)實(shí)際來(lái)判斷。

系統(tǒng)測(cè)試不是一個(gè)突發(fā)性的測(cè)試，必須經(jīng)過(guò)一個(gè)從計(jì)劃到實(shí)現(xiàn)的過(guò)程。本章介紹的基于PDCA模型的測(cè)試過(guò)程體系必須被理解，同時(shí)結(jié)合前面單元測(cè)試過(guò)程、集成測(cè)試過(guò)程，讀者應(yīng)當(dāng)對(duì)測(cè)試過(guò)程方面有一個(gè)比較全面的認(rèn)識(shí)。有關(guān)全面介紹測(cè)試過(guò)程方面的內(nèi)容可以參考筆者即將出版的《軟件測(cè)試過(guò)程》一書(shū)。

第三篇：軟件測(cè)試項(xiàng)目化教學(xué)實(shí)例ZW16

軟件測(cè)試技術(shù)概論

第16章 同行評(píng)審

16.1基本概念

軟件測(cè)試技術(shù)概論

16.2同行評(píng)審的一般過(guò)程

圖16-1 同行評(píng)審過(guò)程

軟件測(cè)試技術(shù)概論 16.2.1計(jì)劃階段

1.分配角色和職責(zé) 2.進(jìn)行計(jì)劃活動(dòng) 3.選擇同行評(píng)審類(lèi)型

軟件測(cè)試技術(shù)概論

16.2.2實(shí)施被選擇的同行評(píng)審過(guò)程 16.2.3同行評(píng)審過(guò)程度量 16.2.4同行評(píng)審的評(píng)審/審計(jì)

16.3走讀

16.3.1過(guò)程目標(biāo) 16.3.2特定的角色和職責(zé) 16.3.3輸入 16.3.4入口標(biāo)準(zhǔn) 16.3.5過(guò)程 16.3.6出口標(biāo)準(zhǔn) 16.3.7輸出

16.4技術(shù)評(píng)審

16.4.1過(guò)程目標(biāo) 16.4.2特定的角色和職責(zé) 16.4.3輸入

軟件測(cè)試技術(shù)概論 16.4.4入口標(biāo)準(zhǔn) 16.4.5過(guò)程 16.4.6出口標(biāo)準(zhǔn) 16.4.7輸出

16.5正規(guī)檢視

16.5.1正規(guī)檢視小組

1.成員角色和職責(zé) 2.角色兼職原則

16.5.2正規(guī)檢視過(guò)程

圖16-2正規(guī)檢視流程定義

1.計(jì)劃階段 2.介紹會(huì)議 3.會(huì)議準(zhǔn)備 4.檢視會(huì)議 5.第 3小時(shí)會(huì)議 6.修改錯(cuò)誤 7.問(wèn)題跟蹤 8.重新正規(guī)檢視

軟件測(cè)試技術(shù)概論

16.5.3正規(guī)檢視常用表格

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

16.6本章小結(jié)

本章介紹了同行評(píng)審的概念以及同行評(píng)審的3種形式——走讀、技術(shù)評(píng)審和正規(guī)檢視。盡管同行評(píng)審可以適用于任何工作產(chǎn)品，可以在開(kāi)發(fā)階段的任何一個(gè)時(shí)間點(diǎn)進(jìn)行，但是還有一個(gè)成本的問(wèn)題。不同的同行評(píng)審類(lèi)型，根據(jù)其過(guò)程的嚴(yán)格程度，其成本是不同的。走讀形式最自由，因此需要的成本也最低；其次是技術(shù)評(píng)審。正規(guī)檢視是成本最高的，因此它應(yīng)當(dāng)被用到最值得付出的產(chǎn)品項(xiàng)上。一般正規(guī)檢視在需求，設(shè)計(jì)文檔上面應(yīng)用的比較多一些，而走讀可以應(yīng)用到各種產(chǎn)品項(xiàng)上（包括文檔和代碼）。技術(shù)評(píng)審一般是在階段點(diǎn)上進(jìn)行，以確認(rèn)某個(gè)階段的工作已經(jīng)完成，并且達(dá)到一定的技術(shù)要求，可以進(jìn)入到下一個(gè)階段。

根據(jù)經(jīng)驗(yàn)，在開(kāi)發(fā)過(guò)程中可以按照下面的方法安排各類(lèi)同行評(píng)審：

方法一在某個(gè)產(chǎn)品項(xiàng)（包括文檔和代碼）的開(kāi)發(fā)過(guò)程中，可以進(jìn)行多次走讀，像在印度一些CMM5級(jí)的公司經(jīng)常進(jìn)行每日走讀的方式，例如：在編碼時(shí)，員工在一天8小時(shí)的工作中，把7個(gè)小時(shí)左右的時(shí)間放在編碼上，再利用其余的1個(gè)小時(shí)進(jìn)行交叉走讀。這種方式是一個(gè)非常好的實(shí)踐，能夠有效地減少低級(jí)錯(cuò)誤，并提高產(chǎn)品質(zhì)量。

方法二在某個(gè)產(chǎn)品項(xiàng)已經(jīng)完成（包括文檔和代碼），完成的概念是指已經(jīng)經(jīng)過(guò)多次走讀，并且可以準(zhǔn)備提交進(jìn)入基線(xiàn)了。這時(shí)，對(duì)于一些關(guān)鍵性文檔或代碼進(jìn)行一次或多次的正規(guī)檢視，次數(shù)的多少需要看檢視對(duì)象的規(guī)模大小。這個(gè)過(guò)程如果組織得好，是非常高效的。

方法三在一個(gè)開(kāi)發(fā)階段結(jié)束，并且目標(biāo)里程碑中所包含的所有產(chǎn)品項(xiàng)（包括文檔和代碼）都已經(jīng)完成，且都已經(jīng)被基線(xiàn)化了。這時(shí)可以進(jìn)行一個(gè)技術(shù)評(píng)審，該評(píng)審確認(rèn)任務(wù)的完成情況和完成質(zhì)量，并結(jié)束當(dāng)前階段，開(kāi)始啟動(dòng)下一個(gè)階段。

正規(guī)檢視的次數(shù)安排不能太多，一般一個(gè)人一周最多只能參加1次正規(guī)檢視，否則會(huì)導(dǎo)致人員疲憊，影響檢視效率。同時(shí)檢視的效率還與員工花在檢視準(zhǔn)備和執(zhí)行上面的時(shí)間和工作量有關(guān)。例如，IBM發(fā)現(xiàn)當(dāng)檢視速率超過(guò)一定值時(shí)檢視效率會(huì)成倍下降。適當(dāng)?shù)臋z視速率取決于被檢視的產(chǎn)品的類(lèi)型和參加檢視人員的經(jīng)驗(yàn)。對(duì)設(shè)計(jì)和代碼檢視來(lái)說(shuō)，表 16-8顯示了一些可用的檢視速率的數(shù)據(jù)，從中我們可以看到，COBOL應(yīng)用程序的檢視速率是一般系統(tǒng)程序檢視速率的6～8倍，是性能敏感系統(tǒng)程序的15倍。組織確定自己檢視速率的最好的方式是收集自己的數(shù)據(jù)并得出適合自己的標(biāo)準(zhǔn)值。

軟件測(cè)試技術(shù)概論

隨著組織經(jīng)驗(yàn)的積累，同行評(píng)審（尤其是正規(guī)檢視）效率也越來(lái)越高。通過(guò)提高檢視效率，組織能夠在軟件交付前發(fā)現(xiàn)大部分的錯(cuò)誤（表 16-9給出了一個(gè)IBM統(tǒng)計(jì)的實(shí)例）。另一方面，檢視所花費(fèi)的時(shí)間也有很明顯的變化：如1000行源代碼所花費(fèi)的時(shí)間增加了1.68倍（概要設(shè)計(jì)檢視）和7.00倍（詳細(xì)設(shè)計(jì)檢視）。盡管在前期設(shè)計(jì)檢視上面花費(fèi)了額外的時(shí)間，但在代碼檢視階段每千行源代碼的檢視時(shí)間卻減少到原來(lái)的76%，而每小時(shí)檢視發(fā)現(xiàn)的問(wèn)題數(shù)更是增加到原來(lái)的3倍。這些改進(jìn)一方面是由于產(chǎn)品程序員們對(duì)產(chǎn)品的了解更加深入所致，另一方面則是因?yàn)闄z視是一種可以學(xué)習(xí)的技能，可以通過(guò)經(jīng)驗(yàn)的積累而得到明顯的改善。

軟件測(cè)試技術(shù)概論

其中：KCSI：千行變更的源指令 I0：概要設(shè)計(jì)檢視 I1：詳細(xì)設(shè)計(jì)檢視 I2：代碼檢視

檢視效率=檢視發(fā)現(xiàn)缺陷數(shù)檢視和測(cè)試發(fā)現(xiàn)的總?cè)毕輸?shù) 質(zhì)量索引=試用期間發(fā)現(xiàn)的缺陷數(shù)開(kāi)發(fā)期間發(fā)現(xiàn)的總?cè)毕輸?shù)

第四篇：軟件測(cè)試項(xiàng)目化教學(xué)實(shí)例ZW10

軟件測(cè)試技術(shù)概論

第10章 其他專(zhuān)項(xiàng)性測(cè)試

10.1可接受性測(cè)試 10.2 Alpha測(cè)試 10.3 Beta測(cè)試 10.4標(biāo)桿測(cè)試 10.5配置測(cè)試

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論 10.6外場(chǎng)測(cè)試 10.7 SQL測(cè)試 10.8 2000年測(cè)試

軟件測(cè)試技術(shù)概論

10.9回歸測(cè)試 10.10本章小結(jié)

本章介紹了一些特定的測(cè)試方法。這些方法可以作為前幾章的補(bǔ)充或延伸。這里，并沒(méi)有詳細(xì)說(shuō)明這些測(cè)試如何使用，僅做了一些簡(jiǎn)單的介紹。讀者若感興趣，可以參考相關(guān)文獻(xiàn)。

第五篇：軟件測(cè)試項(xiàng)目化教學(xué)實(shí)例ZW15

軟件測(cè)試技術(shù)概論

第15章 設(shè)計(jì)測(cè)試

15.1設(shè)計(jì)測(cè)試概述

15.1.1什么是設(shè)計(jì) 15.1.2軟件構(gòu)架設(shè)計(jì)

1.軟件構(gòu)架視圖

圖15-1功能視圖例子

圖15-2代碼視圖例子

軟件測(cè)試技術(shù)概論

圖15-3開(kāi)發(fā)視圖例子

圖15-4并發(fā)視圖例子

軟件測(cè)試技術(shù)概論

圖15-5物理視圖例子

2.場(chǎng)景

軟件測(cè)試技術(shù)概論

15.1.3概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)

15.2設(shè)計(jì)的評(píng)審

15.2.1設(shè)計(jì)查檢表

軟件測(cè)試技術(shù)概論 6

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論 8

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

軟件測(cè)試技術(shù)概論

15.2.2構(gòu)架設(shè)計(jì)評(píng)審方法

1.軟件構(gòu)架分析方法

圖15-6 SAAM分析的活動(dòng)及依賴(lài)關(guān)系

2.表面的軟件構(gòu)架分析方法

圖15-7 ASSAM分析的活動(dòng)和依賴(lài)關(guān)系

軟件測(cè)試技術(shù)概論 3.構(gòu)架均衡分析方法

15.2.3軟件構(gòu)架評(píng)價(jià)最佳工業(yè)實(shí)踐

1.成本和受益 2.評(píng)價(jià)技術(shù)的分類(lèi)

3.建議的最佳實(shí)踐 4.建議總結(jié)

軟件測(cè)試技術(shù)概論

15.3 SDL及相關(guān)測(cè)試

15.3.1 SDL介紹 15.3.2 SDL基本概念

1.系統(tǒng) 2.環(huán)境 3.功能塊 4.信道 5.信號(hào) 6.信號(hào)路由 7.進(jìn)程 8.過(guò)程 9.定時(shí)器 10.服務(wù)

15.3.3 SDL結(jié)構(gòu)

軟件測(cè)試技術(shù)概論

圖15-8 SDL框架示意圖

圖15-9 SDL系統(tǒng)圖

圖15-10 SDL功能塊圖

軟件測(cè)試技術(shù)概論

圖15-11 SDL進(jìn)程圖（含服務(wù)）

圖15-12 SDL服務(wù)圖

軟件測(cè)試技術(shù)概論

圖15-13 SDL過(guò)程圖

15.3.4 SDL測(cè)試

1.SDL Simulator

圖15-14 Simulator界面

2.SDL Validator

軟件測(cè)試技術(shù)概論

圖15-15 SDL Validator界面

圖15-16 SDL Validator統(tǒng)計(jì)信息

軟件測(cè)試技術(shù)概論

圖15-17 Navigator 3.TTCN

圖15-18 TTCN-SDL測(cè)試關(guān)系

15.4本章小結(jié)

設(shè)計(jì)是一個(gè)承上啟下的過(guò)程，它把抽象的用戶(hù)需求轉(zhuǎn)換成具體的可實(shí)現(xiàn)的系統(tǒng)結(jié)構(gòu)，這是一個(gè)需要?jiǎng)?chuàng)意的過(guò)程，有人把它理解成一種藝術(shù)。正因?yàn)槿绱?，這個(gè)過(guò)程也是最易于產(chǎn)生風(fēng)險(xiǎn)的過(guò)程。如何把握好設(shè)計(jì)的質(zhì)量成為軟件工程領(lǐng)域內(nèi)的一項(xiàng)課題，本章在這方面做了一些探索，總結(jié)了業(yè)界在該領(lǐng)域的一些經(jīng)驗(yàn)，提出從靜態(tài)的評(píng)審到動(dòng)態(tài)的測(cè)試等多種手段。

目前業(yè)界在構(gòu)架設(shè)計(jì)評(píng)審方面使用最多的是基于場(chǎng)景的評(píng)審方法，最基本的方法是 18

軟件測(cè)試技術(shù)概論

SAAM。在該方法的基礎(chǔ)上可擴(kuò)展出很多新的方法，例如本章中介紹的ASAAM以及ATAM。

SDL是一種基于結(jié)構(gòu)化設(shè)計(jì)的設(shè)計(jì)描述語(yǔ)言，主要應(yīng)用在嵌入式領(lǐng)域。目前關(guān)于SDL驗(yàn)證方面有許多可以應(yīng)用的工具，包括Telelogic的Simulator、Validator以及ITEX。TTCN作為一種ITU-T推薦的協(xié)議一致性測(cè)試方法，可以和SDL進(jìn)行無(wú)縫連接。因此，對(duì)于SDL設(shè)計(jì)的系統(tǒng)，使用TTCN作為測(cè)試描述語(yǔ)言是非常好的。