基于模型檢查的BOSS計(jì)費(fèi)正確性驗(yàn)證方法與實(shí)現(xiàn).pdf

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

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

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