黑盒测试理论
软件工程
2020-06-19 v1 计算机科学中的逻辑
摘要
针对需求对系统进行测试的目的是反驳系统满足该需求的假设。我们基于满足与细化的基本概念构建了测试与反驳理论。我们使用该理论来表征可以通过黑盒测试反驳的需求，以及对偶地，通过此类测试验证的需求。我们考虑有限时间内的反驳，并将超安全时序需求的有限可证伪性作为一种特殊情况。我们用计算约束扩展了该理论，并在时序超属性的背景下将反驳与执行分离开来。总体而言，我们的理论为分析黑盒测试的范围与触达能力提供了基础，并桥接了来自测试、验证与执行等不同领域的研究成果。
引用
@article{arxiv.2006.10387,
title = {A Theory of Black-Box Tests},
author = {Mohammad Torabi Dashti and David Basin},
journal= {arXiv preprint arXiv:2006.10387},
year = {2020}
}