Research On Automatic Code Generation And Verification Technology In Missile Software Development

In recent years,the technical performance index of missile tactics has been improved day by day,and the requirement of using environment has been stricter and stricter.After possessing better real-time,reliability and reconfigurability,Missile-borne Software will develop towards multi-function and intellectualization.In the traditional development process,many control software have adopted the technology of code automatic generation.If the technology of code automatic generation can be combined with the development of missile-borne software,it will greatly improve the efficiency of Missile-borne Software development,and leave more time for Missile-borne Software developers to carry out other work besides development,such as software testing and the optimization of software system framework.At the same time,the application of static code analysis technology in the development of Missile-borne Software can ensure the security,normativeness,reliability and maintainability of generated code without executing code,and ensure that the code can be compiled and executed correctly.In the past development mode,Missile-borne Software will be developed one by one,which not only takes time,but also consumes the energy of developers greatly.Considering the generality of Missile-borne Software Development Platform for different missile-borne software,by analyzing the similarity between different missile-borne software,this paper intends to develop a structured Missile-borne Software Development and verification platform,which provides users with visual graphical interfaces for the allocation of interface equipment,communication protocols,processes,special processes and reusable algorithm components.Based on the pre-customized code template,the platform automatically generates and optimizes the code according to a series of information configurated by users,so as to get the software code that can be compiled and executed correctly.On the basis of automatically generating codes,the software developers of Missile-borne Software carry out secondary development.The final software is used to control missile flight,attitude adjustment,launch control and flight control,so as to realize missile navigation.Because missile-borne soft armor developers need to redevelop on the basis of automatically generated code,the platform should also be able to carry out static analysis of the code to detect errors and irregularities in the code.The platform collates the analysis results and outputs them.The realization of structured missile software development and validation platform breaks the original way of missile software development,which greatly improves the efficiency of missile software development.After deployment and testing,the system can meet all business requirements of missile software development.Based on the implementation of structured Missile-borne Software Development and verification platform,this paper studies the application of code automatic generation and static code analysis technology in Missile-borne Software development,which can provide some reference for the design and implementation of other similar platform systems.