Model Based Analysis and Test Generation for Flight Software

被引：15

作者：

Pasareanu, Corina S. ^{[1
]}

Schumann, Johann ^{[1
]}

Mehlitz, Peter ^{[1
]}

Lowry, Mike ^{[1
]}

Karsai, Gabor ^{[2
]}

Nine, Harmon ^{[2
]}

Neema, Sandeep ^{[2
]}

机构：

[1] NASA, Ames Res Ctr, Moffett Field, CA 94035 USA

[2] Vanderbilt Univ, ISIS, Nashville, TN 37235 USA

来源：

SMC-IT 2009: THIRD IEEE INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY, PROCEEDINGS | 2009年

关键词：

SEMANTICS;

D O I：

10.1109/SMC-IT.2009.18

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

We describe a framework for model-based analysis and test case generation in the context of a heterogeneous model-based development paradigm that uses and combines MathWorks and UML 2.0 models and the associated code generation tools. This paradigm poses novel challenges to analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common intermediate representation for different modeling formalisms and leverages and extends model checking and symbolic execution tools for model analysis and test case generation, respectively. We discuss the application of our framework to software models for a NASA flight mission.

引用

页码：83 / +

页数：3

共 50 条

[31] Test Generation from StateChart and B method for flight control software of unmanned aerial vehicle
Liu Jiufu
Yang Zhenxing
ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 851 - 856
[32] Flight Software for the Double Asteroid Redirection Test
Thomas, Justin
Rodriguez, Luis M.
Badger, Andrew R.
Wortman, Kristin
Wilson, Dan
Heistand, Christopher
2024 IEEE AEROSPACE CONFERENCE, 2024,
[33] Search-based software test data generation: a survey
McMinn, P
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2004, 14 (02): : 105 - 156
[34] Software Security Test Data Generation Based on Genetic Algorithms
Li, Qiong
Li, Jinhua
2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 369 - 372
[35] Software Test Data Generation Based on Multi-agent
Yu, Siwen
Ai, Jun
Zhang, Yifu
ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 188 - 195
[36] A Rapid Test Platform of Redundant Flight Control Computer Software Based on RFM
Duan Xiaojun
Wu Chengfu
Chen Huaimin
Zhang Jiangxia
PROCEEDINGS OF 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, VOLS I-VI, 2012, : 403 - 406
[37] Software safety dynamic extensible test cases generation algorithm based on software criticality
Xiao, Rongrong
Liu, Haiqing
Lv, Xiao
2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 2, 2012, : 69 - 72
[38] Software test case automated generation algorithm with extended EDPN model
1825, Academy Publisher (08):
[39] An Improved Test Case Generation Method based on Test Requirements for Testing Software Component
Chen, Jinfu
Yin, Yemin
Cai, Saihua
Geng, Ye
Huang, Longxia
2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 209 - 218
[40] Model Based Safety Analysis: Automatic Generation of Safety Validation Test Cases
Philip, Gracy
DSouza, Meenakshi
Abidha, V. P.
2017 IEEE/AIAA 36TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2017,

← 1 2 3 4 5 →