Generation of testing case for model based flight control software of unmanned aerial vehicle

• 基于模型的飞行控制软件测试用例的生成