We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree representing a system's architecture to a proof, we show how to use QCL to give a solution to the test resource allocation problem that takes the given architecture into account. We implemented a tool called Astrahl and compared our results to other testing resource allocation strategies.

翻译：我们引入了名为量化信任逻辑(QCL)的新逻辑,该逻辑量化了一个人对证据结论的信任度。 通过将代表一个系统架构的断层树转换为证据,我们展示了如何使用QCL来解决将特定架构考虑在内的测试资源分配问题。 我们实施了名为Astrahl的工具,并将我们的结果与其他测试资源分配战略进行了对比。