[发明专利]一种因果语义测试方法

摘要

本发明提出一种因果语义测试的方法，本发明测试框架包括客户端，Web服务器和数据存储三部分，其中，客户端运行真实的测试用例来模拟浏览器中的终端用户行为，它通过广域网向Web服务器发送请求以调用不同的基准测试服务，然后根据响应自动检测是否违背因果关系。Web服务器基于测试用例部署相应的RESTful基准测试服务，并通过局域网将用户请求传递给后端数据存储系统。通常数据存储系统是分布式数据库，在不失一般性的情况下，本发明假设每个数据项有三个副本，本发明评估和测试终端用户在不同分布式数据库下所感知的一致性水平。

主权项

1.一种因果语义测试方法，所述方法检测出现违反因果语义情况的数量来衡量数据存储系统的一致性级别，所述检测使用的会话语义包括四种语义检查：读所写RWY,读后写WFR，单调读MR,单调写MW；在所述RYW语义检查中，检查读操作结果是否与写入的值相同，如果读操作与尚未执行该写操作的节点通信，则它将不会获得写操作的值，则违反RYW语义；在所述WFR语义检查中，第一次读操作读到第一次写操作写入的值，在第一次读操作中之后执行第二次写操作，检查第二次读操作是否返回第二次写操作的值，如果第二次读操作读到第二次写操作而不是第一次写操作的值，则违反WFR语义；在所述MR语义检查中，用第一次写操作和第一次读操作初始化一个键的值，在第二次写操作之后，检查两个连续的读取操作第二次读操作r1和第三次读操作r2是否具有相同的值，如果第三次读操作r2将读到陈旧数据，则违反MR语义；在所述MW语义检查中，对于两个连续的写操作第一次写操作和第二次写操作，检查第三次读操作是否返回比第二次读操作更陈旧的数据，如果第三次读操作将读到第一次写操作的值，则违反了MW语义；所述写操作均为对所有节点同时发出写指令，所述第一次读操作的节点最近，第二次读操作的节点距离居中，第三次读操作的节点最远。