基于逻辑的架构引导测试资源分配
软件工程
2021-07-26 v1
摘要
我们引入了一种名为定量置信度逻辑（QCL）的新逻辑，用于量化人们对证明结论的置信度。通过将表示系统架构的故障树转化为证明，我们展示了如何使用 QCL 来给出一种考虑给定架构的测试资源分配问题的解决方案。我们实现了一个名为 Astrahl 的工具，并将我们的结果与其他测试资源分配策略进行了比较。
引用
@article{arxiv.2107.10948,
title = {Architecture-Guided Test Resource Allocation Via Logic},
author = {Clovis Eberhart and Akihisa Yamada and Stefan Klikovits and Shin-ya Katsumata and Tsutomu Kobayashi and Ichiro Hasuo and Fuyuki Ishikawa},
journal= {arXiv preprint arXiv:2107.10948},
year = {2021}
}
备注
17 pages, 6 figures, author version of the manuscript of the same name published in the proceedings of the 15th International Conference on Tests and Proofs (TAP 2021)