Testing Robots Using CSP
Testing Robots Using CSP
复制标题
使用 CSP 测试机器人
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
R. Lefticaru
中科院分区：
文献类型：
--
作者：
Ana Cavalcanti;James Baxter;R. Hierons;R. Lefticaru
本文提出了一种基于领域专用符号RoboChart的机器人系统自动生成测试的技术。这是一种类似uml的图解符号，它嵌入了适合机器人系统的组件模型，并支持使用具有时间属性的丰富状态机定义行为模型。利用过程代数CSP的离散时间变量stock -CSP给出了RoboChart的形式语义。在本文中，我们使用一个简单的无人机的例子来说明一种方法，从RoboChart模型生成测试使用一个突变工具称为Wodel。从突变模型中，使用CSP模型检查器FDR生成测试。CSP的测试理论证明了测试的合理性。
This paper presents a technique for automatic generation of tests for robotic systems based on a domain-specific notation called RoboChart. This is a UML-like diagrammatic notation that embeds a component model suitable for robotic systems, and supports the definition of behavioural models using enriched state machines that can feature time properties. The formal semantics of RoboChart is given using tock-CSP, a discrete-time variant of the process algebra CSP. In this paper, we use the example of a simple drone to illustrate an approach to generate tests from RoboChart models using a mutation tool called Wodel. From mutated models, tests are generated using the CSP model checker FDR. The testing theory of CSP justifies the soundness of the tests.
具有分布式接口的系统的实现关系和测试生成
影响因子：
1.3
作者：
Hierons R
通讯作者：
Hierons R