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 条
  • [1] Using UML and B method analysis and verification for flight control software of unmanned aerial vehicle
    Liu, Jiufu
    Xiao, Qiangui
    Li, Zhiyu
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MECHANICAL ENGINEERING AND MECHANICS 2007, VOLS 1 AND 2, 2007, : 783 - 788
  • [2] Control and flight test of a tilt-rotor unmanned aerial vehicle
    Chen, Chao
    Zhang, Jiyang
    Zhang, Daibing
    Shen, Lincheng
    INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 2017, 14 (01):
  • [3] Redundancy management software in flight control computer for unmanned aerial vehicle (UAV)
    Wang, Lili
    Chen, Xin
    Nanjing Hangkong Hangtian Daxue Xuebao/Journal of Nanjing University of Aeronautics and Astronautics, 2009, 41 (SUPPL. 1): : 28 - 33
  • [4] Design of Flight Control Software for Small Unmanned Aerial Vehicle Based on VxWorks
    Meng Chong
    Li Chuntao
    2014 IEEE CHINESE GUIDANCE, NAVIGATION AND CONTROL CONFERENCE (CGNCC), 2014, : 1831 - 1834
  • [5] Flight Control System of Unmanned Aerial Vehicle
    浦黄忠
    甄子洋
    夏曼
    Transactions of Nanjing University of Aeronautics and Astronautics, 2015, 32 (01) : 1 - 8
  • [6] Linear Flight Control of Unmanned Aerial Vehicle
    Pandey, Alok Kumar
    Shukla, Anshuman
    Gupta, Ashutosh
    Gangwar, Manjeet Singh
    INTELLIGENT COMMUNICATION, CONTROL AND DEVICES, ICICCD 2017, 2018, 624 : 393 - 400
  • [7] Research of Flight Test Method for Manned/Unmanned Aerial Vehicle Cooperation Technology
    Xu, Yi Hang
    PROCEEDINGS OF 2022 5TH INTERNATIONAL CONFERENCE ON ROBOT SYSTEMS AND APPLICATIONS, ICRSA2022, 2022, : 37 - 42
  • [8] A Flight Control System for Small Unmanned Aerial Vehicle
    Tunik A.A.
    Nadsadnaya O.I.
    International Applied Mechanics, 2018, 54 (02) : 239 - 247
  • [9] Automation reliability in unmanned aerial vehicle flight control
    Dixon, SR
    Wickens, CD
    HUMAN PERFORMANCE, SITUATION AWARENESS AND AUTOMATION: CURRENT RESEARCH AND TRENDS, VOL 2, 2004, : 205 - 209
  • [10] Development of Flight Control System and Troubleshooting on Flight Test of a Tilt-Rotor Unmanned Aerial Vehicle
    Kang, Youngshin
    Park, Bum-Jin
    Cho, Am
    Yoo, Chang-Sun
    Koo, Sam-Ok
    Tahk, Min-Jea
    INTERNATIONAL JOURNAL OF AERONAUTICAL AND SPACE SCIENCES, 2016, 17 (01) : 120 - 131
12345