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

说明书

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

技术领域

本发明涉及智能测试领域，尤其涉及一种因果语义测试的方法。

背景技术

当前云计算和大数据系统中广泛使用数据备份以提高可扩展性和可用性。根据CAP定理的一致性与延迟和一致性与可用性之间的权衡，软件设计者提出了许多弱一致性模型，如最终一致性和因果一致性。从理论上可以对复制协议进行建模，并使用不同的指标定量分析一致性级别。例如，PBS提出了t-visibility和k-staleness来衡量副本系统的读取陈旧性，RSM-d提出了一个概率模型来量化写冲突。现有技术绕过了副本协议，并通过独立的检查器监视数据副本的一致性。采用定量模型的研究方法通常取决于特定类型的副本协议，开发人员通常在实际分布式系统中提供许多可配置参数等不同设计选择，这使得构建一个真实副本协议的精确模型变得十分困难。现有技术通过直接访问副本数据的工程化方法来检测可能会返回不可靠的结果，导致无论检查器看到同一个数据项的副本值是否相同，都无法确保终端用户通过副本协议读取的值是一致的。

发明内容

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

附图说明

图1为本发明的整体流程图；

图2为本发明因果关系违反检测图；

图3为本发明的测试步骤流程图；

具体实施方式

为了使本发明的目的、技术方案及优点更加清楚明白，以下结合附图及实施例，对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅仅用以解释本发明，并不用于限定本发明。此外，下面所描述的本发明各个实施方式中所涉及到的技术特征只要彼此之间未构成冲突就可以相互组合。

在分布式系统中已经提出了许多一致性模型，例如最终一致性，因果一致性和顺序一致性，其中因果一致性描述了人类用户的感知期望并且可以分解为四种会话语义：读所写RWY(Read Your Writes),读后写WFR(Write Follow Reads)，单调读MR(MonotonicReads),单调写MW(Monotonic Writes)。

a)RYW：RYW解决一个用户更新数据项然后立即读取，但发现更新丢失的问题。它确保在该会话中的后续读操作可以观察到会话中执行的任何写操作的结果。

b)WFR：WFR意味着写操作的值取决于用户已读取的内容，它确保了一个写操作应跟随在全局顺序中的前序相关写操作之后。

c)MR：MR表示在一次会话中用户不会读取到陈旧值。

d)MW：MW保证一个写操作实际传播到所有副本的时间应当晚于在逻辑上先于它的那些写操作。