计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
7期
112-118
,共7页
吴黎明%胡军%曹东%徐丙凤%于笑丰
吳黎明%鬍軍%曹東%徐丙鳳%于笑豐
오려명%호군%조동%서병봉%우소봉
模型驱动工程%基于模型的测试%飞行控制软件%时间自动机%无人机系统
模型驅動工程%基于模型的測試%飛行控製軟件%時間自動機%無人機繫統
모형구동공정%기우모형적측시%비행공제연건%시간자동궤%무인궤계통
软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战.采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究.
軟件規模與複雜度的迅速增長已成為設計與檢驗現代高質量無人機飛行控製軟件(FCS)繫統的重要挑戰.採用模型驅動工程(MDE)的框架,使用嵌入式實時繫統建模語言(MARTE)建立起某型無人機飛控軟件繫統的模型,給齣瞭基于時間自動機的繫統動態行為的形式化模型實例;結閤無人機FCS繫統的應用揹景,建立瞭基于時間自動機模型的測試用例生成方法,包括建立測試用例生成框架、測試用例生成規則以及用例生成策略等;對某型無人機飛控軟件繫統中的主控模塊進行瞭建模與測試用例生成的實例分析研究.
연건규모여복잡도적신속증장이성위설계여검험현대고질량무인궤비행공제연건(FCS)계통적중요도전.채용모형구동공정(MDE)적광가,사용감입식실시계통건모어언(MARTE)건립기모형무인궤비공연건계통적모형,급출료기우시간자동궤적계통동태행위적형식화모형실례;결합무인궤FCS계통적응용배경,건립료기우시간자동궤모형적측시용례생성방법,포괄건립측시용례생성광가、측시용례생성규칙이급용례생성책략등;대모형무인궤비공연건계통중적주공모괴진행료건모여측시용례생성적실례분석연구.
