The Research And Application Of Short Message System Based On PAR Platform

The poor reliability of software and low efficiency of development are the two main problems of software industry. To develop correct, reliable software efficiently is an urgent requirement of software industry nowadays. In particular, the application of database technology has already gone deep into to each realm. Along with the increasingly demand for the reliability, security and development efficiency of database application of various large database processing systems and business websites especially some advanced application fields (national defence, medical treatment etc.), the traditional development methods of database application can not satisfy the demands of end users any more. Formalization and automatization in software development are viewed as the effective ways to solve software crisis and improve the efficiency of development and the reliability of software.PAR method is a practical method of formal development. It can automatically transform algorithm specification to abstract program and abstract program to executable program, so it partly achieves software development automatization. And because PAR method develops a program with strictly derivation and proof, the correctness and reliability of program is guaranteed. However, the application of PAR method and PAR platform just stay in the developments of short-scale application procedures and algorithms, not really into practice large-scale application software development. In order to develop large-scale application with PAR methods and PAR platforms, fully reflects PAR methods and PAR platforms advantages. This paper tries to make full use of PAR method and PAR platform in the actual database application development process, the advantages of PAR method and PAR platform have been fully realized in the modern system development.This paper describes the successfully development of short message platform with PAR method and PAR platform. The algorithm in the system has been designed by PAR algorithms; The System databases operation has been designed by the relational database mechanism of PAR. In the system development, the system takes full advantage of the PAR method reliability and characteristics of the automation PAR automatic converter. In both converters were designed to achieve automatic code generation, enhance the effective application development and debugging code, which had been prepared in the course of time, reduce the software testing process. Fundamentally improve the reliability of the code. Meanwhile the development process with the current system the more popular software design patterns.The main creatives of this thesis are as follow:1 In the system requirements analysis and design process, We actively integrate PAR method algorithm and database mechanism developed practical methods appropriate software development process, It provides practical software development process algorithm development process and database access layer development process.2 PAR method using the automatic conversion system especially APLA->C++ realize Database Access Layer. It makes database access interface to be assured of high reliability, but also effective in improving the development of database access layer efficiency.3 PAR method as an effective, highly reliable software development methods to improve the application development efficiency, reduce the software testing process is particularly database access layer testing. This paper fully reflects the PAR approach in ensuring the reliability of the software both in theory and in achieving superior to its He means : for example, test-driven development of software development methods.