• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Innovations in Systems and Software Engineering >Model-based testing of NASA's GMSEC, a reusable framework for ground system software
【24h】

Model-based testing of NASA's GMSEC, a reusable framework for ground system software

机译：NASA GMSEC（基于地面系统软件的可重用框架）的基于模型的测试

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present an empirical study in which model-based testing (MBT) was applied to the software bus of NASA's Goddard Mission Service Evolution Center (GMSEC), a reusable software framework. The goal was to study the feasibility of using MBT on a real-world software system that was designed to be flexible. GMSEC has three levels of flexibility: 1) loose application coupling through a software bus based on the publish-subscribe architectural style, 2) language independence by providing APIs to the bus in several programming languages, 3) middleware independence by providing wrappers for several middlewares that are supported by the software bus. The novelty brought forward in this paper is that one model and one set of generated test cases were used as the basis to test the software bus for behavioral consistency across multiple programming languages and middleware wrappers. The comparison of costs and benefits from using finite state machines (FSM) vs. extended FSMs (EFSM) when used for MBT on a real-world system is also novel. The case study shows that it was feasible, even for a programmer who neither knew MBT nor the system under test, to successfully apply MBT to a flexible system such as GMSEC and that MBT could within reasonable effort detect non-trivial defects in a fielded system.
机译：我们提供了一项实证研究，其中将基于模型的测试（MBT）应用于可重复使用的软件框架NASA的戈达德任务服务演进中心（GMSEC）的软件总线。目的是研究在设计为灵活的现实世界软件系统上使用MBT的可行性。 GMSEC具有三个级别的灵活性：1）通过基于发布-订阅体系结构样式的软件总线进行松散的应用程序耦合; 2）通过以几种编程语言向总线提供API来实现语言独立性; 3）通过为多个中间件提供包装器来实现中间件独立性软件总线支持的功能。本文提出的新颖性在于，使用一个模型和一组生成的测试用例作为基础来测试软件总线在多种编程语言和中间件包装程序之间的行为一致性。在实际系统上用于MBT时，使用有限状态机（FSM）与扩展FSM（EFSM）进行成本和收益的比较也是新颖的。案例研究表明，即使对于既不知道MBT也不被测系统的程序员而言，将MBT成功地应用到诸如GMSEC之类的灵活系统也是可行的，并且MBT可以在合理的努力下检测到现场系统中的重要缺陷。 。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号