本論文主旨為對通訊協定(Protocol)之符合性測試(Conformance Testing)〔Bil83〕
提出一個新技術產生可同步的(synchronizable) 〔Sar84〕測試序列(Teat sequence
) 。對於通信協定之符合性測試而言，前人之研究通常都假設測試架構(Test Archit
ecture) 中其主要的測試器(Active Tester)和測試的響應器(Test Responder) 為相
鄰〔Zim80 〕。但是事實上由於主要的測試器和測試的響應器常相隔甚遠，其間只能
經由和實作(Implementation)間的聯繫以保持同步，因此若考慮其時序要素(Timing
Issues) 時，某些測試序列可能因會造成主要的測試器與測試的響應器間的同步問題
(Synchronization Problem) 而無法被正確地執行。Aho 等人在1988年提出一技術以
產生最佳的測試序列〔Aho88 〕，但由於未曾考慮到同步問題而需子以修正後方可應
用此測試架構對通訊協定進行符合性測試。
本論文修改此一技術使之可產生可同步的測試序列，其基本的步驟有二：首先找出所
有可同步的β- 序列(β－Sequence)，而後我們利用一已經過改良之中國間郵差行程
(Rural Chinese Postman Tour)求解法來找出一個包含所有可同步β－序列之連續的
可同步測試序列。我們將此方法實作成一個易於使用的套裝程式，並對常用的通訊協
定進行實驗，其結果証明我們所提出的技術可在極短的時間內產生一個長度短且偵錯
能力良好的可同步測試序列。
|