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描述测试目的以引导测试用例生成。
应用推荐