基于模型檢查的BOSS計費正確性驗證方法與實現.pdf

1、隨著信息化技術的快速發(fā)展，軟件系統(tǒng)作為信息基礎設施，也隨著需求的不斷變化而變得更加龐大和復雜，其可靠性問題越來越受到人們的關注。軟件參數配置差錯，會導致重大的經濟損失，在某些領域甚至會造成重大社會影響。以移動通信行業(yè)為例，新的組網模式、營銷模式、業(yè)務種類層出不窮，要求不斷修改和調整話單計費系統(tǒng)的資費配置參數，以適應需求的變化。資費配置差錯會導致計費不正確，帶來話費收入流失和客戶投訴?，F有計費正確性檢測常常采用人工方式，存在覆蓋性差、效率

2、低下的問題。本文研究基于模型檢查的移動話單計費正確性驗證方法與實現技術。
　　本文在剖析運行時計費系統(tǒng)的特性上，設計了特定的正確性驗證系統(tǒng)，該驗證系統(tǒng)由計費正確性驗證和異常話單分析兩部分組成。計費正確性驗證是模擬現實場景自動生成測試話單的準確性檢測模型，分為套餐模型、網絡拓撲模型以及測試話單自動生成三個部分，其中套餐模型定義了話單計費的基本要素，網絡拓撲描述了移動通信的網絡拓撲結構，話單自動生成則描述了基于計費要素和網絡拓撲結構生

3、成測試話單的過程;異常話單分析主要針對由于計費基本要素缺失而被計費系統(tǒng)丟棄的這類異常話單進行統(tǒng)計分析?；谏鲜瞿Ｐ?，分析了話單計費中的數據流特征，提出了基于模型檢測的測試話單自動生成算法。該算法以現實中話單生成為基礎，結合計費要素模型和相應的資費規(guī)則，采用虛擬撥測策略，生成符合需求的測試話單用例，達到驗證計費系統(tǒng)中資費套餐參數配置是否正確的目的。
　　最后，基于上述模型和算法，設計并實現了一個移動話單計費正確性驗證系統(tǒng)，并在中國移