分布式程序测试相关论文
由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序执行时的内部状态.这些内部状态通过端口显示......
由于并发的存在和不确定性，在以规约为基础来测试分布式程序的正确性时，必须考虑程序执行时的内部状态。这些内部状态通过端口显示为......
