%0 Journal Article
%T Research on Modeling and Test Case Generation for UAV Flight Control Software System<br>无人机飞控软件系统建模与测试用例生成研究
%A WU Li-ming
%A HU Jun
%A CAO Dong
%A XU Bing-feng
%A YU Xiao-feng
%A <br>吴黎明
%A 胡 军
%A 曹 东
%A 徐丙凤
%A 于笑丰
%J 计算机科学
%D 2012
%I 
%X The rapid growth of software size and complexity has become an important challenge for designing and veri-fying modern high-quality UAV flight control software(FCS) system.Based on the architecture of Model Driven Engineering(MDE),an UAV flight control software model was established by using embedded real-time system modeling language(MARTE),and an example of formal model for system dynamic behaviors based on timed automata was given.Considering the application background of UAV FCS system,we proposed a test case generation method based on timed automata,including establishment of testing architecture,coverage rules and strategies of test case generation.Lastly,a case study of timed automata modeling and test case generation for the main control module of an UAV FCS system were provided.
%K Model driven engineering
%K Model-based testing
%K Flight control software
%K timed automata
%K UAV system<br>模型驱动工程
%K 基于模型的测试
%K 飞行控制软件
%K 时间自动机
%K 无人机系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F0F98CE13E99B507868302F50699041D&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=DF92D298D3FF1E6E&sid=4BB057F167CF3A60&eid=7F5DDA4924737DF5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0