基于模型的飞行软件分析与测试生成

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI:10.1109/SMC-IT.2009.18

C. Pasareanu, J. Schumann, P. Mehlitz, M. Lowry, G. Karsai, Harmon Nine, S. Neema

{"title":"基于模型的飞行软件分析与测试生成","authors":"C. Pasareanu, J. Schumann, P. Mehlitz, M. Lowry, G. Karsai, Harmon Nine, S. Neema","doi":"10.1109/SMC-IT.2009.18","DOIUrl":null,"url":null,"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 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.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"39","resultStr":"{\"title\":\"Model Based Analysis and Test Generation for Flight Software\",\"authors\":\"C. Pasareanu, J. Schumann, P. Mehlitz, M. Lowry, G. Karsai, Harmon Nine, S. Neema\",\"doi\":\"10.1109/SMC-IT.2009.18\",\"DOIUrl\":null,\"url\":null,\"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 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.\",\"PeriodicalId\":422009,\"journal\":{\"name\":\"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-07-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"39\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SMC-IT.2009.18\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SMC-IT.2009.18","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 39

摘要

我们描述了一个基于模型的分析和测试用例生成的框架，在一个异构的基于模型的开发范例中，使用并结合了MathWorks和UML 2.0模型以及相关的代码生成工具。这个范例对分析和测试用例的生成提出了新的挑战，据我们所知，这些挑战以前还没有被处理过。该框架基于不同建模形式化的通用中间表示，并利用和扩展模型检查和符号执行工具，分别用于模型分析和测试用例生成。我们讨论了我们的框架在NASA飞行任务软件模型中的应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Model Based Analysis and Test Generation for Flight Software

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology

自引率

0.00%

发文量