Research Of Formal Method In CSTA System Test

The goal of software testing is to find software disfigurements as much as possibley, which is essential to the software quality. The software testing takes up over 40 percent of the whole work and expense of the software modification is going up with a power of the detecting time of the software shortcomings. However an effective software testing method aims at providing high quality scientific and application softwares timely with suitable expenses and human resources for avoiding invalid repeat testing, terminating test timely. Software testing is emphasized nowadays by many software providers and becomes a main aspect of application studies. This paper explores test method in theory. And it could establish a base for software test outsourcing of the software company. Accordingly, it could let software companies put more effects on software developing, reduce circulating cost, advance kernel and incease their competion ablity.The thesis concentrates on system testing methods, technologies and techniques of modern telecom software based on the author's practices in one famous domestic telcom company. And it gives some applied process on some feeble operations. After showing an example about CSTA system testing, it points out that the disadvantage of all these methods is that they must follow complete and clear client's request. Then it suggests using Formal Methods for system testing. By using the method, it provides an impersonal criterion for system testing, thereby eliminates contradictions, non-determinations, ambiguities, non-integrated expressions, nonfigurative abstration as well as intercourses of different levels and so on in the stipulations of an agreements. It improves the guaranteed reliability of software testing quality. This method has been proved its efficency by using it in CSTA system test during autor's practice.This paper includes seven chapters. Chapter one introduces the development of software testing and the research background. Chapter two analyzes the foundation of software testing and describes the professional ideas for software testing engineer, that is changing testing view angles constantly. It mainly discusses the oppugning techniques of testing view angles. Chapter three brings forward the schemes of software testing. Chapter four summarizes the common technologies of software testing: black box testing and white box testing. Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods. Combining the request of software testing, chapter six gives an example of using RAISE in CSTA system testing and analyzes the Formal Method technique. Chapter seven demonstrates the advantage and disadvantage of Formal Methods by showing many figures obtained in the practice period.