Model Based Analysis and Test Generation for Flight Software

Authors:
Corina S. Pasareanu;Johann Schumann;Peter Mehlitz;Mike Lowry;Gabor Karsai;Harmon Nine;Sandeep Neema
Affiliations:
-;-;-;-;-;-;-
Venue:
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
Year:
2009

Citing 0
Cited 4

CORAL: solving complex constraints for symbolic pathfinder

NFM'11 Proceedings of the Third international conference on NASA Formal methods
Symbolic execution with mixed concrete-symbolic solving

Proceedings of the 2011 International Symposium on Software Testing and Analysis
CLSE: closed-loop symbolic execution

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer

International Journal of Embedded and Real-Time Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 codegeneration 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.