摘要：在安全多方计算中,公平性指的是被腐败的参与者可以得到他们的输出当且仅当诚实参与者得到他们的输出.当恶意者超过参与者数量一半时,公平性很难达到.因此在设计两方计算协议时,公平性经常被忽略.在传统多方计算中,包括总是遵守协议的诚实参与者,虽然遵守协议但是希望通过保留中间结果得到对方私有信息的半诚实参与者和任意偏离协议的恶意参与者.理性参与者不同于上述参与者,他们的主要目标是最大化他们的收益.理性计算是指带有理性参与者的计算,它开辟了实现两方安全计算中公平性的新思路.考虑了理性安全计算允许理性参与者具有不对称的信息的情况,例如效用函数和参与者的私有类型,这是与之前理性计算的不同之处.针对这种不同,提出了一种较强的均衡概念——可计算序贯均衡.可计算序贯均衡包括2部分:可计算序贯理性和一致性.它强于纳什均衡,可以用来实现理性两方计算中的公平性.最后构造了一个模拟器,证明了协议的安全性.

摘要：在软件测试中对非公有类型方法进行测试一直倍受关注。使用派生、反射机制可以实现对非公有类型方法的测试。通过巧妙的设计,使用这些技术,通过代码演示可以测试非公有类型方法。

摘要：软件的开发总是离不开测试,在测试越来越受到重视的今天,对单元测试也提出了越来越高的要求,在软件测试中对非公有类型方法进行测试也一直倍受关注。使用派生,反射机制可以实现对非公有类型方法的测试。通过巧妙的设计,使用这些技术,可以通过代码演示如何测试非公有方法。