全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

Research on Modeling and Test Case Generation for UAV Flight Control Software System
无人机飞控软件系统建模与测试用例生成研究

Keywords: Model driven engineering,Model-based testing,Flight control software,timed automata,UAV system
模型驱动工程
,基于模型的测试,飞行控制软件,时间自动机,无人机系统

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133