论文部分内容阅读
分布式程序目前被大量使用.由于并发的存在,测试分布式程序需要采用事件约束来判定运行事件序列的正确性,事件约束之间需要判定一致性.初始的事件约束可以通过规约来定义,作者提出E-CSPE约束的描述规则来推导新约束,并提出约束之间的一致性判定机制.该算法具有多项式复杂度.
E-CSPE约束的一致性判定
【摘 要】
：
分布式程序目前被大量使用.由于并发的存在,测试分布式程序需要采用事件约束来判定运行事件序列的正确性,事件约束之间需要判定一致性.初始的事件约束可以通过规约来定义,作
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机学报
【发表日期】
：
2003年11期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
随着网络技术的发展,人们在享受开放性便利的同时也受到网络安全问题的威胁,身份认证是保证网络安全的重要措施之一,传统对称密码体制和非对称密码体制认证方式各有其优缺点.
Gabidulin提出了距离码主最大秩距离码的理论，给出了判断码的最小秩距离的方法，并通过引进线性化多项式的概念（类似于纠错码）构造了一些最大秩距离码，并这对些最大秩距离码进行了