• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Symposium on Software Reliability Engineering >Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus
【24h】

Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus

机译：经验报告：并发飞行软件总线的基于模型的测试自动化

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Many systems make use of concurrent tasks, however it is often difficult to test concurrent design. Therefore, many test cases are simplified and do not fully test all concurrency aspects of the system. We encountered this problem when analyzing test cases for concurrent flight software at NASA. To address this problem, we developed and evaluated a model based testing (MBT) technique for testing of concurrent systems. Using MBT, the tester creates a model, which is based on the requirements of the system under test (SUT), and lets the computer generate innumerable test cases automatically from the model. We evaluate the effectiveness of the technique using Microsoft's Spec Explorer MBT tool. We apply the technique on NASA's Core Flight Software (cFS) software bus module API, which is based on a concurrent publisher-subscriber architecture style and is a safety-critical system. We describe how we created a test automation architecture for testing concurrent inter-task communication as carried out by the software bus. We also investigate the type of issues the technique for testing of concurrent systems can find as well as what degree of code coverage it can achieve.
机译：许多系统使用并发任务，但是通常很难测试并发设计。因此，简化了许多测试用例，并没有完全测试系统的所有并发方面。在NASA分析并发飞行软件的测试用例时，我们遇到了这个问题。为了解决这个问题，我们开发并评估了用于测试并发系统的基于模型的测试（MBT）技术。测试人员使用MBT创建一个基于被测系统（SUT）要求的模型，并让计算机根据该模型自动生成无数的测试用例。我们使用Microsoft的Spec Explorer MBT工具评估该技术的有效性。我们在NASA的核心飞行软件（cFS）软件总线模块API上应用了该技术，该API基于并发的发布者-订阅者体系结构样式，并且是安全性至关重要的系统。我们描述了如何创建测试自动化体系结构，以测试软件总线执行的并发任务间通信。我们还研究了用于测试并发系统的技术可以发现的问题类型，以及可以实现的代码覆盖程度。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号