以下为句子列表：
英文: Focusing on the time constraint problem in protocol testing theories, a strict constraint over time parameters in protocol testing was presented from several conformance testing methods, and a test case generation algorithm was given under the strict time
中文: 摘要针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法。
更详细...
|
