The Study Of The Specification Of Class Based On The Abstract State

The specification of software is one of the important ways to improve the reliability of the software, when the scale of the software with the maturity and development of software industry, the complexity of the software system makes mistake to improve, it is increasingly difficult to resolve the problem. Many researchers in this area come up with a variety of method. The specification is based on the mathematics technology, these techniques are usually supported by reasoning tools, provides a strict and effective way to modeling, design and analysis of computer systems. These methods to solve some problems, but also is flawed.We put forward a kind of abstract, multi-level, half the formal, based on the behavior of the abstract state specifications, the formal research in order to solve the existing problems. The good specification can prove the validity of the program and simplify the programming process.This paper presents the specification based on the abstract state of class and presents a mathematical said, with the actual case illustrates the specification in the use of the actual code.In order to verify the role of specification in software development, we attempt to introduce the specification to the actual project development, this paper introduces the introduction of the background of actual project, application technology and software structure. Some modules in the project were specified, and the code is given. And then gives the experimental results and the problems in the experiment. In the actual project introduction of specification can avoid the boundary of the error condition occurred while writing code, and improve the validity of the software.In order to complete specifications for validation of the work, this paper introduces the the test tool based on state of the specifications, this tool is the foundation of the future research work, and lay the foundation for higher level sepecification development. The tool completed analysis verify the part of the specification, is used as a Java plug-in. This paper introduces the development background of the tools,illustrates the functional requirements of the tool development and introduce the tool profile design of the whole design、implementation process.Finally summary the development of specification, and discuss the specification development research direction in the future.