Abstract
在本篇論文中，我們提出了一個計算測試涵蓋率的方法，也就是說我們要來計算測試通訊協定產品的測試序列(Test Sequence)，它所能涵蓋某些已給定的準則(Criterion)的測試能力的百分比，以供測試人員知道這些測試序列的優劣。而我們所提出的方法，第一先選擇一個或數個適用的準則(Criterion)，而這□我們所謂的準則(Criterion)就是軟體測試上常用的一些如變數(variable)的定義(definition)處或是某些資料路俓(Data-Path)的涵蓋(Coverage)處等。然而，各種測試涵蓋率的準則(Criterion)有其適用的範圍，所以我們必須要針對不同的通訊協定分析適用的準則(Criterion)。在我們針對某些性質來為待測試的通訊協定選擇了一個或數個準則(Criterion)後，我們接下來在待測試的通訊協定產品中依照這些已找好的準則(Criterion)來加入一些記號(Marks)，之後用待評估的測試序列來測試這個已加上記號的通訊協定產品。經測試後，我們的記號會輸出一些值來供分析用。最後，我們寫一個計算測試涵蓋率的程式來將先前已準備好的準則和這些輸出值做比對分析，然後輸出最後比對分析後的結果，也就是該測試序列的測試涵蓋率。