Research On Automatically Detecting The Output Exception Of Dynamic Web Pages Based On Concolic Testing

With the rapid development of softeware technology,Web application are becoming increasingly complex and its pages are growing exponentially while the developer cycles are getting shorter and more frequent maintenance updates, Which has caused limitations, such as a low efficiency and repetition of the test to unit test when new features like huge input space, dynamic generation of content and variable control flow appear in the dynamic web application.The effective test data and high rate of the exception detection are two of the most important means to ensure the effectiveness of software testing, based on these two points, this paper presents an automated technique for finding failures in HTML-generating web applications after dynamically analyzing the program,which makes the exception can be found as early as possible in unit test and the objectivity and effectiveness of Web application testing be ensured.This paper presents an automatic verifying output exception technique of dynamic pages progrom after analysis of characters and output exception fo dynamic pages programe. Our technique is based on dynamic test generation,using concolic testing. Then it use the generated input to drive the program running and verifying the html output. The core of this approach is the process of automatically generate input,i.e., it concretetly executes the code to capturing logical constraints on inputs, then the execution a symbolic constraint in the path constraint is negated and solved using constraint solvers to generate a new test input that directs the program along a different execution path.In a word, this technology can make the programe exercise all the feasible execution paths ,so that it can ensure its path converage and line converage ,some extent it also reduce the blindness of the test and increase the efficiency of the test automation compared to the random testing .Moreover, after analyzing multi dynamic pages combined by passing state variables, an auto-detection output exception strategy of multi dynamic pages was showed based on the the theory of state transitions and auto-detection strategy of single dynamic pages .This testing method of this technology based on white-box testing can find the underlying faults happened in real-time environment that combination many facts such as user input, system variants.At last, a prototype system framework is designed on the basis of front research.