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 条
  • [41] Remote control unmanned aerial vehicle test system based on Labview
    Zhang, Kun
    Zhang, Tiemin
    Liao, Yiyong
    Zhuang, Xiaolin
    Li, Shenghua
    Lan, Yubin
    Nongye Gongcheng Xuebao/Transactions of the Chinese Society of Agricultural Engineering, 2015, 31 : 11 - 16
  • [42] Intelligent flight task algorithm for unmanned aerial vehicle
    Sun, Tsung-Ying
    Huo, Chih-Li
    Tsai, Shang-Jeng
    Yu, Yu-Hsiang
    Liu, Chan-Cheng
    EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (08) : 10036 - 10048
  • [43] Autonomous flight tests of a small unmanned aerial vehicle
    Motter, MA
    Logan, MJ
    GUIDANCE AND CONTROL 2004, 2004, 118 : 171 - 182
  • [44] Software- and Hardware-in-the-Loop Verification of Flight Dynamics Model and Flight Control Simulation of a Fixed-Wing Unmanned Aerial Vehicle
    Coopmans, Calvin
    Podhradsky, Michal
    Hoffer, Nathan V.
    2015 WORKSHOP ON RESEARCH, EDUCATION AND DEVELOPMENT OF UNMANNED AERIAL SYSTEMS (RED-UAS), 2015, : 115 - 122
  • [45] Flight demonstrations of unmanned aerial vehicle swarming concepts
    Bamberger, Robert J., Jr.
    Watson, David P.
    Scheidt, David H.
    Moore, Kevin L.
    JOHNS HOPKINS APL TECHNICAL DIGEST, 2006, 27 (01): : 41 - 55
  • [46] Modeling and Control of Unmanned Aerial Vehicle
    Dube, D. Y.
    Munje, R. K.
    2015 INTERNATIONAL CONFERENCE ON ENERGY SYSTEMS AND APPLICATIONS, 2015, : 641 - 644
  • [47] Control System of Unmanned Aerial Vehicle
    Filatov, D. M.
    Deviatkin, A. V.
    Minav, T. A.
    Fridrix, A. I.
    PROCEEDINGS OF THE XIX IEEE INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND MEASUREMENTS (SCM 2016), 2016, : 117 - 119
  • [48] Navigation and Control for an Unmanned Aerial Vehicle
    Fang, Jiahao
    Ye, Xin
    Dong, Wei
    Sheng, Xinjun
    Zhu, Xiangyang
    INTELLIGENT ROBOTICS AND APPLICATIONS, ICIRA 2016, PT I, 2016, 9834 : 373 - 383
  • [49] Adaptive control of an unmanned aerial vehicle
    Nguen, V. F.
    Putov, A. V.
    Nguen, T. T.
    ICNPAA 2016 WORLD CONGRESS: 11TH INTERNATIONAL CONFERENCE ON MATHEMATICAL PROBLEMS IN ENGINEERING, AEROSPACE AND SCIENCES, 2017, 1798
  • [50] A flight control method for unmanned aerial vehicles based on vibration suppression
    Wang, Xinhua
    Zhang, Xiulin
    Gong, Huajun
    Jiang, Ju
    Rai, Hari Mohan
    IET COLLABORATIVE INTELLIGENT MANUFACTURING, 2021, 3 (03) : 252 - 261
12345