基于约束的启发式在线测试生成：从非确定性I/O EFSM出发
软件工程
2012-02-29 v1
摘要
我们正在研究从被测系统(SUT)的非确定性输出可观测输入/输出扩展有限状态机(I/O EFSM)模型进行在线模型测试生成。我们提出了一种新颖的基于约束的启发式方法(启发式反应式规划测试器(xRPT))，用于非确定性SUT的在线一致性测试。xRPT的一个显著特征是，它能够通过使用基于SUT模型和测试目标规范的离线有界静态可达性分析结果，在在线测试过程中做出合理决策以实现测试目标。我们详细介绍了xRPT，并在不同复杂度的示例上与其他现有搜索策略和方法进行了性能比较。
引用
@article{arxiv.1202.6126,
title = {Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs},
author = {Danel Ahman and Marko Kääramees},
journal= {arXiv preprint arXiv:1202.6126},
year = {2012}
}
备注
In Proceedings MBT 2012, arXiv:1202.5826