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

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