Time Constraint and Test Case Generation in Conformance Testing

• 一致性测试中的时间约束及测试用例生成算法