测试等价相关论文
在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用。Spi演算在PI演算的基础上扩充了密码操作原语......
为方便测试性试验过程的实施，针对测试性验证试验中故障样本不可注入或注入成本太高的问题，提出了一种故障样本等价的计算方法。在对......
