Research On Automatic Testing Generation For Space Camera Master Software

Automatization is necessary tendency for the development of software testing. Automatic test generation is a basic component of automatic software testing. The technique of automatic testing is mainly for test carrying out, result catching and analyzing, result validating and reporting, and is lack for test generation. It would hold back the progress of software automatic testing.With the development of space area, more and more countries pay their attention to the study about space camera. Software is one of the most important parts for space camera system; for the special use, it needs reliability and security extremely. Software testing can assure the demand of the quality. The automatic testing not only can improve the test efficiency, but also reduce the interference of man-made ingredient and accordingly enhance the veracity. It can hasten the software testing automatization for other area by working over the automatic testing technique for space camera master software.Intelligent planning is a multi-domain crossing area of artificial intelligence. It related to knowledge expressing, knowledge deducing, non-monotony logic, scene calculate, human-computer interaction, and knowledge mining, and so on. Its application goes well, and contains program validation, routing, manufacture control, military counterwork, and otherwise. Presently, intelligent planning has applied in the space domain, such as Ariane Rocket and RAX (Remote Agent Experiment). Though it is still in its early days for the application on test-case generation in domestic and overseas, the studies obtain stated progress.With analyzing and summing-up about existing planners, the paper studies the generating technique for software automatic testing basing space camera master software specification requirement illumination. With the knowledge of the planners in existence, we found most of planners can't avoid state combinatorial explosion which is a main problem to planning failure. To solve it, the paper brings forward the arithmetic of goal decomposition to partition the fact file for planner, thereby to reduce number of combinated states. But then, for the planners in being can't deal with the multiple fact files, to settle which, withal, the paper introduces the arithmetic of multi-fact file management. The application for the couple of arithmetic is on IPP possessing preferable performance. The modified planner is called MF-IPP which is able to handle multiple fact files for avoiding the combinatorial explosion.According to the traits of the space camera master software specification requirement illustration, the paper applies MF-IPP to the testing automatic generation for certain space camera master software. Going at problem formalization, the paper formalizes the function part in software requirement using ADL to get the operator file and fact files that the planner needs. Then, the paper generates initial test-case with MF-IPP. At last, putting forward a method named solution-expands, which contains iterative solution-expands, same effect solution-expands and parameter solution-expands, to complete the test-case generating.Design the testing automatic generation system according as the model addressed above. The system can formalize requirement, and generate initial test-case and final test-case. The paper raise operator covering rule and state covering rule which aiming at the special characteristic of planners. Furthermore, we use the rules to evaluate the system, and the results show that the system can cover with operators and states well. We also evaluate the performance of MF-IPP, which shows that MF-IPP can avoid the combinatorial explosion effectively.