Study On Automatic Generation Of Software And Test In The Background Of MGCF Development

With the rapid development of network technology, communications protocol which serves for different layers of network has been worked out.And the requirements of communications software are also increasing. However, there are many problems in communication software development methods, such as: the inconsistency of the protocol implementation and the protocol standard; programming errors; the test is not sufficient.Through the use of formal methods to describe the information processing system, the consistency of the protocol implementation and the protocol standard can be guaranteed effective. The theory that the protocol testing set can automatically generate is greatly simplifies the working of protocol testing and shorten the development time of the protocol. And the programming errors also can be avoided by using automatic generation of software.In the background of MGCF development, we study the solutions of Modeling, simulation, code generation and software testing in formal software development. In this thesis, the theory of communication software test and formal methods were introduced and analyzed.Then,the communication software development model is given: Using C in SDL; Automatic test technology and manual test technology are both used.Finally,the systems modeling of call session process in MGCF was carried on using SDL. And some positive experiences are given.