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 条
  • [1] Model Based Test Framework for verification of Flight Control Software
    Singh, Chandrashekhar
    Shivamurthy, Jagadish
    Garg, Asha
    2023 INTERNATIONAL CONFERENCE ON COMPUTER, ELECTRICAL & COMMUNICATION ENGINEERING, ICCECE, 2023,
  • [2] Viewpoint-based Test Analysis for Dependable Onboard Flight Software
    Mori, Takao
    Iwasaki, Shinya
    Ujihara, Shohgo
    Kohtake, Naohiko
    Nishi, Yasuharu
    SMC-IT 2009: THIRD IEEE INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY, PROCEEDINGS, 2009, : 77 - 82
  • [3] Automated Model Based Software Test Data Generation System
    Bashir, Muhammad Farhan
    Banuri, Syed Hammad Khalid
    2008 INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2008, : 277 - 281
  • [4] Model-based Test Generation for Software Product Line
    Cai, Xinying
    Zeng, Hongwei
    2013 IEEE/ACIS 12TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2013, : 347 - 351
  • [5] Fault-model-based Test Generation for Embedded Software
    Esser, M.
    Struss, P.
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 342 - 347
  • [6] A Test Generation Method Based on Model Reduction for Parallel Software
    Sun, Tao
    Ye, Xinming
    Liu, Jing
    2012 13TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS, AND TECHNOLOGIES (PDCAT 2012), 2012, : 777 - 782
  • [7] Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model
    Lee, Sang Hun
    Lee, Seung Jun
    Shin, Sung Min
    Lee, Eun-Chan
    Kang, Hyun Gook
    NUCLEAR TECHNOLOGY, 2024, 210 (05) : 850 - 867
  • [8] An automatic generation of software test data based on improved Markov model
    Chen, Jiali
    Chen, Xiaojie
    Zan, Tao
    Lian, Mengjia
    WEB INTELLIGENCE, 2022, 20 (04) : 307 - 315
  • [9] A Model-Based Test Script Generation Framework for Embedded Software
    Zafar, Muhammad Nouman
    Afzal, Wasif
    Enoiu, Eduard Paul
    Stratis, Athanasios
    Sellin, Ola
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2021), 2021, : 192 - 198
  • [10] An Analysis Tool for Flight Test of Airborne Display Software
    Lee, Yong-Rae
    Choi, Eu-Teum
    Jun, Yong-Kee
    JOURNAL OF THE KOREAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, 2018, 46 (11) : 961 - 968
12345