Model Based Analysis and Test Generation for Flight Software

Corina S. Pasareanu,Johann Schumann,Peter Mehlitz,Mike Lowry,Gabor Karsai,Harmon Nine,Sandeep Neema

SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology（2009）

引用 54|浏览0

暂无评分

摘要

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.

查看译文

关键词

model analysis,test case generation,heterogeneous model-based development paradigm,nasa flight mission,model checking,test generation,flight software,different modeling formalisms,associated codegeneration tool,model-based analysis,common intermediate representation,software model,space missions,model based development,code generation,computational modeling,context modeling,mathematical model,formalism,information analysis,intermediate representation,heterogeneity,unified modeling language,software testing,software engineering,java

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要