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 条

[41] Model-based Software Design Generation Techniques
Lee, Tsung
Huang, Yao-Yi
PROCEEDINGS OF 2015 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2015), 2015, : 421 - 424
[42] Model-Based Independent Verification and Validation for Dependable Flight Software
Kohtake, Naohiko
Katoh, Atsushi
Ishihama, Naoki
Katahira, Masafumi
2009 IEEE AEROSPACE CONFERENCE, VOLS 1-7, 2009, : 3457 - 3462
[43] Model-based approach to validation and verification of flight critical software
Jaw, Link C.
Van, H. T.
Homan, David
Crum, Vince
Chou, Wendy
Keller, Kirby
Swearingen, Kevin
Smith, Timothy
2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, : 3313 - +
[44] Reinforcement-Learning Based Test Program Generation for Software-Based Self-Test
Chen, Ching-Yuan
Huang, Jiun-Lang
2019 IEEE 28TH ASIAN TEST SYMPOSIUM (ATS), 2019, : 73 - 78
[45] Validation and Update of an Aeroservoelastic Model based on Flight Test Data
Wuestenhagen, Matthias
Sueeloezgen, Ozge
Ackermann, Lukas
Bartasevicius, Julius
2021 IEEE AEROSPACE CONFERENCE (AEROCONF 2021), 2021,
[46] Test Generation for Model Based Fieldbus Profiles
Magnus, Stephan
Krause, Jan
Diedrich, Christian
2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 682 - 687
[47] Test Generation for Model-Based Diagnosis
Provan, Gregory
ECAI 2008, PROCEEDINGS, 2008, 178 : 199 - +
[48] A Software Test Cases Automated Generation Algorithm Based on Immune Principles
Ye, Junmin
Zhan, Zemei
Jin, Cong
Zhang, Qingguo
AUTONOMIC AND TRUSTED COMPUTING, PROCEEDINGS, 2009, 5586 : 62 - 74
[49] Framework for cloud-based software test data generation service
Chawla, Priyanka
Chana, Inderveer
Rana, Ajay
SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (08): : 1307 - 1328
[50] Software Test Data Generation for Multiple Paths Based on Genetic Algorithms
Peng, Yeping
Zeng, Bi
INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 1969 - 1973

← 1 2 3 4 5 →