【摘要】 提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。更多还原

【Abstract】 A Temporal Logic with Constrained Events(TLCE) has been proposed to represent test purpose for testing of concurrent systems.This logic is capable of consistently expressing the temporal relations among input and output events,and the constraints of data dependencies between event parameters.A framework of model-based testing is presented using TLCE to describe test purposes and then to guide the generation of test cases.The advantage of this approach is demonstrated with case studies of a cache coherence protocol and a conference protocol.更多还原