Mdp Model-based Software Testing Technology Research

IEEE the software test definition was: Uses artificial either the automatic method moves or determines some system the process, its goal lies in examines it whether satisfies the stipulation the demand perhaps clarifies between the anticipated result and the actual result difference. As a part of software life cycle and also a part of software product quality assurance, software testing is very important. Nowadays, software test activities can account for as much as 30 percents to 50 percents of the overall cost of software production. Furthermore, due to the limitation of system environment, it is difficult to test embedded application system in the traditional way. Some demands that embedded system holds, such as real-time demand and high occupancy ratio of system resources, make more demands to the testing techniques. Presently, a program has become larger and more complex. Software testing is becoming more and more difficult. Hence, it is necessary to provide a solution, supported by automatic tools, which can not only reduce the cost but also improve the quality of testing. In had in the testing tool, the source code test labor is having the important application. But the C language took one kind of expression ability strong, the goal code efficiency is high, the probability good language, obtains the universal use in the software development. This article has provided a source code automated analysis test entire set of solution, proposed one kind inserts the dynamic test frame based on the procedure which installs, analyzed the C procedure class to attempt PFG the structure method, and used two minute policy-making charts in this foundation the algorithm to come the automatic production to measure the test example, carried on in each kind of situation coverage the analysis, and established using the MDP model had appraised measured the test example the choice and the use.