[發明專利]一種協議一致性測試中的狀態驗證方法

有效

• 申請號: 201010167584.3
• 申請日: 2010-05-10
• 公開（公告）號: CN102244590A
• 公開（公告）日: 2011-11-16
• 發明（設計）人: 楊美紅;張新常
• 申請（專利權）人: 山東省計算中心
• 主分類號: H04L12/26
• 分類號: H04L12/26;H04L29/06
• 代理公司: 濟南泉城專利商標事務所 37218
• 代理人: 李桂存

技術領域

本發明涉及一種協議一致性測試中的狀態驗證方法，屬于基于FSM/EFSM模型的測試序列生成與協議一致性測試中的錯誤診斷領域，其中FSM(Finite?State?Machine)為有限狀態自動機，EFSM(Extended?FiniteState?Machine)為擴展有限狀態自動機。

背景技術

如ISO/IEC?9646(開放系統互聯--協議一致性測試方法和框架)所指出，協議一致性測試的主要目標是驗證被測協議實現是否與相應的協議規范相一致。協議是兩個或多個通信實體相互聯系和通信的一組規則和行為約束，其保證了通信實體之間按照規定模式進行通信。因此，協議一致性測試在協議工程中占據著極其重要的地位，是協議實現在網絡中實際部署之前不可缺少的部分。

國際標準化組織ISO制定了一套國際標準-ISO/工EC?9646，為協議一致性測試提供了基本方法和框架，為抽象測試集制訂了設計步驟和描述方法，并為測試系統的實現提供了指導。ISO/IEC?9646描述了一個通用的方法論，用以測試一個聲稱實現了某一OSI協議的產品與相應協議規范的一致性。然而，ISO/IEC?9646標準不涉及形式化的測試序列生成及其相關規定，也不涉及具體的錯誤診斷技術。在協議一致性測試中，測試序列是一組具有一定順序關系的測試活動集合，它指明了測試所需的具體內容和步驟。測試序列生成是錯誤探測過程的核心內容，直接決定了錯誤探測的效率和質量。形式化的測試序列生成能提高測試的錯誤覆蓋能力并提供一定的自動化測試能力，是一致性測試中的核心技術之一。

在形式化測試序列生成技術中，對協議規范進行形式化描述是相關測試序列生成的基礎步驟。狀態自動機模型是一種比較成熟的協議描述方法，目前應用最為廣泛的狀態自動機模型是有限狀態自動機(FSM)模型和擴展有限狀態自動機(EFSM)模型。在FSM模型中，狀態遷移(或稱邊)用s_i×x→s_j×y表示，其含義為：在系統處于狀態s_i時，若對系統施加一個輸入x(輸入可以理解為對系統的激勵，可以用輸入符號表示不同的輸入)，則系統進入狀態s_j且輸出符號y(輸出可以理解為系統的響應，可以用輸出符號表示不同的輸出)。其中，狀態s_i稱為該狀態遷移的頭(或起始)狀態，狀態s_j稱為該狀態遷移的尾(或終止)狀態。此外，在上述記號中，也可用t(s_i，x)表示在狀態s_i下輸入符號x所進入的狀態(即s_j)。在本發明中，狀態遷移中除狀態外的元素被稱為狀態遷移標簽元素，(在模型圖中)這些元素組成標記在邊上的標簽，例如：FSM模型的狀態標簽為“輸入符號/輸出符號”；在EFSM模型中，狀態遷移的標簽為“輸入符號/輸出符號/變量操作”。

目前，基于FSM/EFSM模型的測試序列生成技術已經得到了長期的研究和發展，并得到了廣泛的應用。在已有的基于FSM模型的測試序列生成方法中，比較典型的方法包括UIO(Unique?Input/Output)方法、W方法、Wp方法、SC方法、DS(Distinguishing?Sequence)方法、C方法和T方法等。這些方法的主要目標是生成高錯誤覆蓋率的測試序列，以驗證被測系統是否符合相應的規范。