The Research Of Protocol Software Testing Method Based On Abstract State Machine

With the development of software development technology and the increasing demand of customers, software becomes more and more complex. Whether the software is developed right and effectively operated becomes increasing important issue. Throughout the software progress, testing is one of the most consume, not only the cost of human resources but also material ones, and it also lacks systematic engineering methodology, clear semantics and adequate tool support. As a result, the research of software testing method is increasing important.The purpose of this study is to design and implement software conformance testing based on the current model-based software testing research at home and abroad, combined with object-oriented software development features. Using an abstract state machine language to describe the UML state diagrams has also been implemented.This article first introduces the basic concepts of software testing, as well as model-based software testing research situation, analyses the main formal methods to model software and compares their respective advantages and disadvantages. Second, introduces the basic theory of abstract state machines and abstract state machine language, and discusses its theoretical basis and benefits for being used in the test. On this basis, the method of describing UML state diagrams using abstract state machine language has been presented. Study the principles and methods of abstract state machine to be used in the software conformance testing. Implement a distance education system based on real-time transport protocol using.NET framework for distributed programming environment, describe the real-time transport protocol used in the system with an abstract state machine language to obtain its abstract state machine model, and finally actualize the conformance testing of the protocol. In the previously discussed theoretical foundation, an abstract state machine model of the system has been built and then the consistency of the distance education system tests results are given and analyzed.At the end of this paper, many issues still not solved yet are briefly introduced, the further thoughts and improvement opinions are presented, and the development and research direction of model-based testing is expected.