摘要：
概述 (from w3cschool，会不定期添加新理解) Zookeeper作为Hadoop和Hbase的重要组件，可以为分布式应用程序协调服务，同时还能使用Java和C的接口。 ZooKeeper是一种分布式协调服务，用于管理大型主机。在分布式环境中协调和管理服务是一个复杂的过程。ZooKeep 阅读全文
摘要：
Abstract 目的: 使用Alloy tool set对DBMS做黑盒测试 步骤: 输入: a database schema & an SQL query formulate Alloy models for both inputs Q: 这里的both是什么意思？难道不是只有一个input 阅读全文
摘要：
Abstract 针对Logic bugs，本文提出： Query Partitioning 思路：从给定的原始query开始，构造更多复杂的queries，这些queries合起来的结果集与原来的结果集一致 作者认为由于逻辑复杂了，更有可能找到逻辑bug 提出TLP: Ternary Logic 阅读全文