...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>The Computer Journal >Extending HSI Test Generation Method for Software Product Lines
【24h】

Extending HSI Test Generation Method for Software Product Lines

机译：扩展软件产品线的HSI测试生成方法

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

摘要

Featured Finite State Machines (FFSMs) were proposed as a modeling formalism that represents the abstract behavior of an entire software product line (SPL). Several model-based testing techniques have been developed to support test case generation for SPL specifications, but none support the full fault coverage criterion for SPLs at the family-wide level. In this paper, we propose an extension of the Harmonized State Identifiers (HSI) method, an FSM-based testing method supporting full fault coverage. By extending the HSI method for FFSMs, we are able to generate a single configurable test suite for groups of SPL products that can be instantiated using feature constraints. We implement a graphical tool named ConFTGen to guide the design, validation, derivation and test case generation for state, transition and full fault coverage of FFSMs. Experimental results indicate a reduction of approximately 50% on the number of test cases required to test 20 random SPL products. Also, we investigate the applicability of our method by applying it to a case study from the automotive domain, namely the Body Comfort System.
机译：特色有限状态机（FFSMS）被提出为代表整个软件产品线（SPL）的抽象行为的建模形式。已经开发了几种基于模型的测试技术来支持SPL规范的测试用例，但无支持家庭范围内的SPLS的完整故障覆盖标准。在本文中，我们提出了统一状态标识符（HSI）方法的延伸，基于FSM的测试方法支持完全故障覆盖。通过扩展用于FFSMS的HSI方法，我们能够为可使用特征约束实例化的SPL产品组生成单个可配置的测试套件。我们实现了一个名为Conftgen的图形工具，以指导FFSMS的状态，转换和完全故障覆盖的设计，验证，推导和测试用例。实验结果表明，在试验20次随机拼接产品所需的测试案例的数量下减少约50％。此外，我们通过将其应用于汽车领域的案例研究，即身体舒适系统来调查我们的方法的适用性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号