论文标题
黑盒测试的理论
A Theory of Black-Box Tests
论文作者
论文摘要
测试系统有关要求的目的是反驳系统满足要求的假设。我们基于满意度和精致的基本观念建立了测试和反驳的理论。我们使用该理论来表征可以通过黑盒测试来驳斥的要求，并双向通过此类测试进行验证。我们认为在有限的时间内进行驳斥，并将超安全时间要求的有限可变性视为一种特殊情况。在时间超专业的背景下，我们通过计算限制扩展了理论，并与执法分开反驳。总体而言，我们的理论提供了分析黑盒测试范围和覆盖范围的基础，并弥合了包括测试，验证和执法在内的不同领域的结果。
The purpose of testing a system with respect to a requirement is to refute the hypothesis that the system satisfies the requirement. We build a theory of tests and refutation based on the elementary notions of satisfaction and refinement. We use this theory to characterize the requirements that can be refuted through black-box testing and, dually, verified through such tests. We consider refutation in finite time and obtain the finite falsifiability of hyper-safety temporal requirements as a special case. We extend our theory with computational constraints and separate refutation from enforcement in the context of temporal hyper-properties. Overall, our theory provides a basis to analyze the scope and reach of black-box tests and to bridge results from diverse areas including testing, verification, and enforcement.
