JDPT defines events based on the runtime environments, records execution processes of the distributed program as event sequences, and defines event sequencing constraints to check the v.
JDPT基于运行环境定义事件，通过事件序列记录分布式程序的运行过程，并定义事件约束检测可行事件序列集的有效性。
youdao
应用推荐
模块上移
模块下移
不移动