基于CPN的WCDMA協議一致性測試研究.pdf

1、隨著通信業(yè)的快速發(fā)展，3G技術給人們帶來了前所未有的高速通信體驗，WCDMA是最為成熟的移動通信3G標準。在我國，隨著WCDMA標準的演進和產業(yè)化的發(fā)展，其協議特性越來越豐富，協議規(guī)模日益復雜化，各接口的協議共同決定著一個通信系統(tǒng)是否能夠正常運作。移動網絡協議的一致性測試是協議測試的重要方面，然而通過手工測試需要付出巨大的代價，而且有些復雜的問題也不容易被發(fā)現，所以需要將自動化的概念引入到協議一致性測試中。
　　目前對WCDMA使

2、用形式化方法進行一致性測試的研究極少，CPN作為形式化方法已經用于諸多協議的測試過程，因此本文使用CPN對WCDMA協議建模，并基于模型生成測試序列。
　　本文主要工作如下:
　　第一，根據協議一致性測試相關理論和CPN建模的特點，對WCDMA協議棧中的部分協議的信令流程進行形式化分析，根據形式化分析結果使用CPN對3GPP規(guī)范說明的WCDMA各協議模塊進行形式化建模。
　　第二，將模型中變遷、庫所和弧與生成的狀態(tài)空間