Test Generation from StateChart and B method for flight control software of unmanned aerial vehicle

被引：0
|
作者：
Liu Jiufu [1 ]
Yang Zhenxing [1 ]
机构：
[1] Nanjing Univ Aeronaut & Astronaut, Inst Automat Engn, Nanjing 210016, Peoples R China
来源：
ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION | 2009年
关键词：
Flight control software; Virtual prototype; Statechart; B method; Test generation; SPECIFICATION;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The growing complexity of flight control software of unmanned aerial vehicle led up to more and more difficulty in testing such systems.B is a formal method which enables the automatic generation of an executable code through s succession of refinements from an abstract specification.UML specifications can be formally verified by analyzing the corresponding B specification. Integration of UML specifications and B method can overcomes the drawback of UML. We adopt the tool Statemate which support the virtual prototype technology. The detailed description of flight control software behaviors is presented based on statecharts. Then we adopt the B method to translate the statecharts into B specification of flight control software. According to software testing criteria MC/DC we are easy to obtain the test cases based on StateChart and B method.
引用
收藏
页码：851 / 856
页数：6
相关论文
共 50 条
  • [21] Adaptive Augmentation of an Unmanned Aerial Vehicle's Flight Control System
    Vlk, Jan
    Chudy, Peter
    2018 IEEE/AIAA 37TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2018, : 633 - 641
  • [22] Design of Nonlinear Flight Control Law for a Tailless Unmanned Aerial Vehicle
    Zhang Bo
    Zhu Xiaoping
    Zhou Zhou
    Xu Mingxing
    2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON), 2013,
  • [23] Uncertainty Modeling and Robust Flight Control Of Unmanned Combat Aerial Vehicle
    Dai, Hansu
    Zhu, Jihong
    2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 2583 - 2587
  • [24] Robustness assessment for flight control system of an oceanographic unmanned aerial vehicle
    李蒙
    刘莉
    VERES S. M.
    JournalofBeijingInstituteofTechnology, 2011, 20 (02) : 158 - 167
  • [25] The Control Law of an Unmanned Aerial Vehicle During a Flight Along a Route
    Shumski, Andrei
    Karpovich, Dzmitriy
    2018 OPEN CONFERENCE OF ELECTRICAL, ELECTRONIC AND INFORMATION SCIENCES (ESTREAM), 2018,
  • [26] Statechart prototype of flight control software and its verification
    Yang, Zhong
    Tan, Hao
    Fan, Qiong-Jian
    Shen, Chun-Lin
    Nanjing Hangkong Hangtian Daxue Xuebao/Journal of Nanjing University of Aeronautics and Astronautics, 2005, 37 (02): : 217 - 221
  • [27] Orthogonal Design and Optimization of Flight Stability Test for the Quadrotor Unmanned Aerial Vehicle
    Hu, Xiaodong
    Huang, Xuexiang
    PROCEEDINGS OF 2017 IEEE INTERNATIONAL CONFERENCE ON UNMANNED SYSTEMS (ICUS), 2017, : 343 - 346
  • [28] Development of the Unmanned Aerial Vehicle flight recorder
    Walendziuk, Wojciech
    Kwasniewski, Daniel
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2014, 2014, 9290
  • [29] Identification of Unmanned Aerial Vehicle Flight Situation
    Kharchenko, V. P.
    Kuzmenko, N. S.
    Ostroumov, I. V.
    2017 IEEE 4TH INTERNATIONAL CONFERENCE ACTUAL PROBLEMS OF UNMANNED AERIAL VEHICLES DEVELOPMENTS (APUAVD), 2017, : 116 - 120
  • [30] Intelligent control method for flanking flight of unmanned aerial vehicles
    Wang R.
    Yu X.-L.
    Wu N.-C.
    International Journal of Vehicle Structures and Systems, 2020, 11 (04) : 355 - 361
12345