| In recent years, the rapid growth of software size and complexity in embedded system hasbrought many important challenges to high quality system design、verification and maintenance,thetraditional code-based testing and analysis methods can not satisfy high-quality requirements in thefield of safety-critical embedded software.At present,the relevant control software system in UAVfield is still based on code-centric construction method and lack of modern software engineeringmodeling and analysis techniques.This thesis employs model-driven engineering (MDE) approach toconduct research on the testing and maintenance techniques for flight control software system of atypical type of unmanned aircraft,mainly including the following several aspects:Firstly, we employ the architecture of model-driven engineering (MDE) to do reverseengineering analysis for the UAV flight control software which is only with source code, and extractsystem structure models and dynamic behavior models.The system structure models are described byModeling and Analysis for Real-Time Embedded systems (MARTE), and the system dynamicbehavior models are expressed by formal model which is based on Timed Automata.Secondly, with the application background of UAV FCS system, we propose a test casegeneration method based on timed automata, including establishment of testing architecture、coveragerules and strategies of test case generation.And then a case study of timed automata modeling and testcase generation for the main control module of an UAV FCS system is provided.Finally, for the problem of lack of effective software engineering documentation andmaintenance methods for UAV FCS in the process of system development,this thesis provides aprototype tool called “Understanding and Maintenance support system for UAV FCS” which providesthe functions of code-documentation mapping、code comments standardization and code flow chartextraction to improve the intelligibility and maintainability of software system. |
PDF Full Text Request