通过随机拒绝扩展拒绝测试以测试非确定性系统
软件工程
2012-11-13 v1
摘要
测试是一种用于检查系统相对于规范的正确性的验证活动。在此背景下，基于拒绝的测试已在理论上得到研究，并且有效地构建了相关工具。本文探讨了一种基于随机拒绝图 (SRG) 的形式化测试方法，旨在测试由基于最大性的标记随机转换系统 (MLSTS) 表示的随机系统。首先，我们提出了一个从 MLSTS 生成 SRG 的框架。其次，我们提出了一种新技术，能够从随机拒绝图和一致性关系 confSRG 自动生成规范测试器。最后，我们提出了实现方案，并通过一个示例展示了我们方法的应用。
引用
@article{arxiv.1211.2708,
title = {Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems},
author = {Kenza Bouaroudj and Ilham Kitouni and Hiba Hachichi and Djamel-Eddine Saidouni},
journal= {arXiv preprint arXiv:1211.2708},
year = {2012}
}