恰性测试
计算机科学中的逻辑
2022-12-20 v1
摘要
必须测试（must testing）的概念自然地以所选完备性准则为参数，用以定义系统的完全运行。此处我采用恰性（justness）作为该完备性准则，而非传统的进展性（progress）选择。所得的必须测试预序与默认预序不可比较，且可刻画为 Vogler 的公平失败预序。它也是在假设恰性下保持线性时序性质的最粗预同余。我的系统模型在此采用带读弧的 Petri 网。通过其 Petri 网语义，本工作同样适用于进程代数。我为扩展了信号的标准进程代数提供了 Petri 网语义；读弧对于刻画这些信号是必要的。
引用
@article{arxiv.2212.08829,
title = {Just Testing},
author = {Rob van Glabbeek},
journal= {arXiv preprint arXiv:2212.08829},
year = {2022}
}