论文标题
公平必须测试I/O自动机
Fair Must Testing for I/O Automata
论文作者
论文摘要
必须使用选定的完整性标准或公平假设来自然地进行测试的概念。当使用I/O自动机中使用的弱公平性时，我表明它准确地表征了Lynch＆Tuttle定义的I/O自动机上的公平预订。
The concept of must testing is naturally parametrised with a chosen completeness criterion or fairness assumption. When taking weak fairness as used in I/O automata, I show that it characterises exactly the fair preorder on I/O automata as defined by Lynch & Tuttle.
