NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Model Based Analysis and Test Generation for Flight SoftwareWe 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 Math- Works 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.
Document ID
20090036803
Document Type
Conference Paper
Authors
Pasareanu, Corina S. (NASA Ames Research Center Moffett Field, CA, United States)
Schumann, Johann M. (NASA Ames Research Center Moffett Field, CA, United States)
Mehlitz, Peter C. (NASA Ames Research Center Moffett Field, CA, United States)
Lowry, Mike R. (NASA Ames Research Center Moffett Field, CA, United States)
Karsai, Gabor (Vanderbilt Univ. Nashville, TN, United States)
Nine, Harmon (Vanderbilt Univ. Nashville, TN, United States)
Neema, Sandeep (Vanderbilt Univ. Nashville, TN, United States)
Date Acquired
August 24, 2013
Publication Date
July 19, 2009
Subject Category
Computer Programming and Software
Report/Patent Number
ARC-E-DAA-TN555
Meeting Information
Space Mission Challenges for Information Technology (SMC-IT) Conference(Pasadena, CA)
Funding Number(s)
CONTRACT_GRANT: NNA08CG83C
Distribution Limits
Public
Copyright
Public Use Permitted.

Available Downloads

NameType 20090036803.pdf STI