论文标题
只是测试
Just Testing
论文作者
论文摘要
必须使用选定的完整性标准自然而然地对必须进行测试的概念，从而定义了系统的完整运行。在这里，我将公正性作为完整的标准，而不是传统的进步选择。所得的必须测试的预订与默认的预订是无与伦比的，并且可以被描述为Vogler的公平故障预订。它也是假设公正性时保留线性时间属性的最粗糙的预遵循。 作为我的系统模型，我在这里使用带有阅读弧的培养皿。通过他们的培养皿净语义，这项工作同样适用于处理代数。我为带有信号扩展的标准过程代数提供了培养皿净语义；读取弧是捕获这些信号所必需的。
The concept of must testing is naturally parametrised with a chosen completeness criterion, defining the complete runs of a system. Here I employ justness as this completeness criterion, instead of the traditional choice of progress. The resulting must-testing preorder is incomparable with the default one, and can be characterised as the fair failure preorder of Vogler. It also is the coarsest precongruence preserving linear time properties when assuming justness. As my system model I here employ Petri nets with read arcs. Through their Petri net semantics, this work applies equally well to process algebras. I provide a Petri net semantics for a standard process algebra extended with signals; the read arcs are necessary to capture those signals.
