Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
复制标题
DOI：
10.1007/978-3-642-00867-2
复制
发表时间：
2009-03
期刊：
影响因子：
--
通讯作者：
M. Butler;Cliff B. Jones;A. Romanovsky;E. Troubitsyna
中科院分区：
文献类型：
--
作者：
M. Butler;Cliff B. Jones;A. Romanovsky;E. Troubitsyna
本文提出了一种基于用户提供的测试场景的基于模型的测试方法。在这种方法中，当一个软件模型被细化以添加或修改特性时，相应的测试场景被自动地细化以合并这些更改。要应用于被测系统的测试用例是从这些场景中生成的。我们对软件模型使用Event-B形式化，而用户场景则表示为通信顺序过程（CSP）表达式。所提供的案例研究演示了如何使用我们的方法来测试系统的不同功能，例如集成的容错机制。
In this paper, we present a model-based testing approach based on user provided testing scenarios. In this approach, when a software model is refined to add or modify features, the corresponding testing scenarios are automatically refined to incorporate these changes. The test cases, to be applied on the system under test, are generated from these scenarios. We use the Event-B formalism for software models, while user scenarios are represented as Communicating Sequential Process (CSP) expressions. The presented case study demonstrates how our approach can be used to test different features of a system such as incorporated fault-tolerance mechanisms.