Using operational distributions to judge testing progress | Synapse