Implementation Of BOSS Billing Verification Method Based On Model Checking

With the rapid development of information technology,Software systems as the information infrastructure,become more huge and complex with the change of demand.Its reliability problem gets more and more attention of people.The mistake of the software parameter configuration will cause great economic losses even significant social impact in some areas.In mobile communication company,for example,since new network model,marketing model,and business mode emerge endlessly,charging configuration parameter has to constantly change and adjust in the system of biling to adapt to those changes in demand.The charging configuration mistake will result in the loss of income of the telephone charge and the complain of customers.Using the manual operation way,the existing biling accuracy detection has the problems of poor coverage and low efficiency.The paper researches the way of the accuracy verification and the implemention technology in mobile communication charging,which bases on the model checking.After the running-time characteristics of the billing system are profiled,a specific correctness verification system is designed,consisting in two components of billing correctness validation and billing exception analysis.Billing correctness verification simulates realistic scenarios to generate automatically the accuracy of detection of the test data.if a single model,divided into packages model,network topology model and test if single automatic generation of three parts,where the package model defined the basic elements of the single billing network topology describes a mobile communications network topology,then single automatically generated to describe the process of generating test if a single-based billing elements and network topology;abnormal,then single analysis focused on the lack of the basic elements of due billing billing Department discard such an exception if a single statistical analysis.Base on the proposed correctness verification in the runtime,the paper verficates the correctness in disposiing the normal tickets and the exceptional tickets respectively.And aiming at ensuring the dependability of the biling system,the paper has the in-depth analysis,and puts up the algorithm of automatic generation of the test bill.The design thought of the algorithm is basis for bill generation in reality,combine the biling elements model and the corresponding rating rules,generate test biling using case in the end,that conformance to requirements.Finally,based on the above model and algorithm,billing correctness of a run-time verification system is designed and implemented and put into use in China Mobile Hunan Company.The Department found that the problem exists in the billing system,and improve the mobile company billing accuracy,improve customer satisfaction,has played an important role.