tikv-server tidb-server是怎么做的数据正确性测试

就是想问这方方面面是怎么做的，想了解下这么系统的工程是怎么搞的。

一个数据库产品，肯定需要自己构造各种事务冲突、事务隔离、事务回滚等各种场景。模拟这些场景后，再校验数据库里面存的数据是否符合预期。