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

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

2、低下的問題。本文研究基于模型檢查的移動話單計費正確性驗證方法與實現(xiàn)技術(shù)。
　　本文在剖析運行時計費系統(tǒng)的特性上，設(shè)計了特定的正確性驗證系統(tǒng)，該驗證系統(tǒng)由計費正確性驗證和異常話單分析兩部分組成。計費正確性驗證是模擬現(xiàn)實場景自動生成測試話單的準(zhǔn)確性檢測模型，分為套餐模型、網(wǎng)絡(luò)拓?fù)淠Ｐ鸵约皽y試話單自動生成三個部分，其中套餐模型定義了話單計費的基本要素，網(wǎng)絡(luò)拓?fù)涿枋隽艘苿油ㄐ诺木W(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)，話單自動生成則描述了基于計費要素和網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)生

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