Fault Location Technology Research For Model Driven Development Software

With the continuous development of aerospace technology,the traditional aerospace software development model is increasingly unable to meet the requirements of software development from the perspective of development cycle and test cycle.The successful practical experience in the aviation field shows that the model-driven development model based on SCADE can greatly improve the development efficiency of software and reduce the development cost.The aerospace field has also begun to use the model-driven development model based on SCADE to design,develop and test aerospace embedded software,in order to shorten the software development cycle,improve the software development efficiency,and adapt to the current situation of high-density launch of aerospace models.During the development process,we found that in the new development mode,by establishing the SCADE model of software,high-security product-level embedded C code can be automatically generated,which greatly reduces the workload of programming and testing.However,due to the readability of the generated code,the difficulty of fault location during software integration testing is greatly increased,and the software test cycle is uncontrollable.In order to make this development mode more efficient,it is necessary to research an automatic fault location method suitable for model-driven development software(specifically refers to software development with SCADE tools as the main body).Because of the high degree of automation,the fault location technology based on the execution trace(abbreviation ETBFL)is widely used.It gives each program entity a quantitative fault suspect rate to assist fault location mainly by statistical analysis of the software execution trace.This kind of technology doesn't consider the connection and interaction between program entities,and the versatility is strong,but the positioning effect in actual engineering is not ideal.Due to the particularity of the development environment,there are a large number of dependencies among the functions of the model-driven development software,and these dependencies will lead to fault propagation and affect the positioning effect of the ETBFL method.Aiming at the above problems,based on the ETBFL method,this paper proposes a fault location method based on program dependency(abbreviation PDBFL)to enhance the adaptability of the ETBFL method to the fault location of model-driven development software.To use the ETBFL technology,we need to obtain the execution trace of the software.Due to the particularity of the software targeted on this paper,the existing trace acquisition methods are not applicable.Therefore,this paper proposes an trace acquisition method based on the digital simulation test platform and database,which satisfies the trace acquisition requirements of the research software of this paper,and has the advantages of low cost and versatility.Finally,by establishing the SCADE model of tacs universal test set,we got the tested software to verify PDBFL method.The experimental results show that the proposed method can improve the positioning effect of the ETBFL method on the model-driven development software and reduce the impact of fault propagation on the ETBFL method.