使用 PropEr 进行 Erlang 中的基于属性的测试

基于属性的测试依赖于对代码特性的描述，而不是像单元测试那样针对特定输入指定预期输出。在本课程中，你将学习入门所需的概念，直到能够自信地使用 Erlang 中 PropEr 的高级功能。 你将从基于属性测试的基本和核心原则入手，逐步了解一些常见的测试框架，学习如何以属性思维思考问题，如何编写自定义的数据生成器等。你还将看到如何在实际项目中应用基于属性的测试。 完成本课程后，你将能够熟练运用属性测试来验证真实世界的应用程序。