This sample only USES a portion of them: URL, snippet, title, cached size, related information present, host name, and the query keyword itself for test purpose.
出于测试的目的，本示例只使用其中的一部分列：url、片段、标题、缓存大小、相关信息、主机名和查询关键字本身。
Temporal Logic with Constrained Events(TLCE) has been proposed to represent test purpose for testing of concurrent systems.
阐述了一种基于模型的并发系统测试框架，采用TLCE描述测试目的以引导测试用例生成。
Temporal Logic with Constrained Events(TLCE) has been proposed to represent test purpose for testing of concurrent systems.
阐述了一种基于模型的并发系统测试框架，采用TLCE描述测试目的以引导测试用例生成。
应用推荐