Research On Software Cridibility Testing Method Based On Behavior Declaration

In today's Internet era, with the development of web application software, our way of work has changed. However, with the expansion of the scale of software, its internal structure is more and more complex and the application environment is more and more open, leading to the event site was attacked have occurred, so that the credibility of the software problem has become increasingly prominent, especially in security, reliability, availability, and so on.Software credibility refers to the software's behavior and results accord with the user expectations, and when disturbed can still provide continuous service capability, which is one of research hotspots in the field of trusted computing. At present, in software reliability research, scholars put forward the dual system architecture to support a credible basis for the software, which refers to a dual system host software systems and trusted software base. In this architecture, the software credibility has a close relationship with the software behavior and application requirements. However, the relevant theories of software credibility testing method is not yet perfect, this paper research the testing method of the software credibility under the web application environment.Firstly, this paper studies the behavior declaration, and defines the generic framework structure of the behavior statement. Under the support of the whole life-cycle process model of application credibility verification,to study the effect on behavior declaration in this model, expounding the role of behavior declaration in each stage of the software development process, and defines the trusted attribute of Web application software. On this basis, this study proposed the verification model of Web software, as well as the method of software credibility testing. Then, studies the key issues in the testing method, proposed the behavior declaration analysis methods and processes. According to the analysis results and the relevant genetic algorithm knowledge, generates test cases automatically. Finally, we developed the software credibility evaluation system to validate the software reliability testing method. It can finish the definition and the generation of behavior declaration, generate test cases automatically, and so on.