提升基于属性的测试：以人为本的设计

本篇博士论文研究如何提升基于属性的测试（PBT）的易用性，从而惠及更广泛的开发者群体。研究者通过深入的用户调研，发现了PBT用户在随机数据生成和测试有效性评估方面面临的挑战。为此，论文提出了改进随机数据生成器的新算法，并开发了名为Tyche的开源工具，帮助开发者更好地理解和利用PBT进行软件测试，最终提升软件质量和可靠性。