测试者 versus 缺陷：基于博弈的模型测试通用框架
计算机科学与博弈论
2018-09-11 v1 计算机科学中的逻辑
摘要
我们提出一种用于测试用例生成的通用基于博弈的方法。我们在测试者与被测系统（System Under Test）之间建立博弈，使得测试用例对应于博弈策略，且一致性关系ioco对应于交替精化（alternating refinement）。我们展示了文献中的不同测试假设可以通过轻微改变博弈中的走法及其结果而被轻易纳入。以此方式，我们的框架允许部署大量博弈论技术用于基于模型的测试。
引用
@article{arxiv.1809.03098,
title = {Tester versus Bug: A Generic Framework for Model-Based Testing via Games},
author = {Petra van den Bos and Marielle Stoelinga},
journal= {arXiv preprint arXiv:1809.03098},
year = {2018}
}
备注
In Proceedings GandALF 2018, arXiv:1809.02416