使用时间弧 Petri 网的顺序图测试用例规约与虚拟集成分析
软件工程
2013-02-22 v1
摘要
本文形式化地定义了测试用例顺序图（Test Case Sequence Diagrams, TCSD），作为一种易于使用的手段来规约包含时间约束的组件测试用例。这些测试用例使用 UML2 语法进行建模，并可通过标准 UML 建模工具进行规约。在基于组件的设计中，通过在实际系统构建之前对组件进行虚拟集成，可以实现错误的早期识别。我们定义了这样一个流程，它根据给定架构的互连关系集成各个组件的独立测试用例，并检查所有指定的通信序列是否一致。因此，我们形式化地定义了 TCSD 到时间弧 Petri 网（timed-arc Petri nets）的转换以及这些网的组合过程。我们的方法的适用性在来自 ARP4761 标准的航空电子用例上得到了验证。
引用
@article{arxiv.1302.5170,
title = {Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets},
author = {Sven Sieverding and Christian Ellen and Peter Battram},
journal= {arXiv preprint arXiv:1302.5170},
year = {2013}
}
备注
In Proceedings FESCA 2013, arXiv:1302.4780