Logo
☆☆☆☆☆
0.0
Intermediate
17h 30m

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

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

12 Lessons
Included in Subscription Plan
Personalized Learning
Powered by AI
使用 PropEr 进行 Erlang 中的基于属性的测试
基于属性的测试依赖于对代码特性的描述,而不是像单元测试那样针对特定输入指定预期输出。在本课程中,你将学习入门所需的概念,直到能够自信地使用 Erlang 中 PropEr 的高级功能。 你将从基于属性测试的基本和核心原则入手,逐步了解一些常见的测试框架,学习如何以属性思维思考问题,如何编写自定义的...

WHAT YOU'LL LEARN

理解 PropEr 的概念。

Content

12 Lessons • 0 Quizzes • 0 Challenges

属性测试基础
  1. 1

    为什么使用基于属性的测试?

  2. 2

    属性

  3. 3

    项目中的基于属性的测试

  4. 4

    运行一个属性(concept)

  5. 5

    总结

编写属性
  1. 1

    属性编写入门

  2. 2

    文件结构

  3. 3

    属性结构

  4. 4

    执行模型

  5. 5

    默认生成器

  6. 6

    综合应用

  7. 7

    总结

  8. 8

    自我测验:编写属性

以属性思维思考
  1. 1

    属性思维导论

  2. 2

    建模

  3. 3

    泛化测试用例

  4. 4

    不变量

  5. 5

    对称性质

  6. 6

    综合应用

  7. 7

    总结

  8. 8

    自我测验:属性思维

自定义生成器
  1. 1

    自定义生成器简介

  2. 2

    收集统计信息:收集

  3. 3

    收集统计信息:聚合

  4. 4

    基本自定义生成器

  5. 5

    调整生成器大小

  6. 6

    转换生成器

  7. 7

    施加限制

  8. 8

    改变概率

  9. 9

    自定义生成器的高级用法

  10. 10

    递归生成器

  11. 11

    符号调用

  12. 12

    总结

  13. 13

    自测:自定义生成器

负责任的测试
  1. 1

    负责任测试简介

  2. 2

    程序结构

  3. 3

    CSV 解析:属性

  4. 4

    CSV解析:CSV解析器

  5. 5

    筛选记录

  6. 6

    员工模块

  7. 7

    模板化

  8. 8

    综合应用

  9. 9

    总结

属性驱动开发
  1. 1

    属性驱动开发简介

  2. 2

    编写第一个属性

  3. 3

    测试特殊功能

  4. 4

    生成特殊项

  5. 5

    实现特殊功能

  6. 6

    负向测试:通用特性

  7. 7

    负向测试:校准负向属性

  8. 8

    负测试:放宽约束

  9. 9

    总结

缩小
  1. 1

    收缩

  2. 2

    重新聚焦于 ?SHRINK

  3. 3

    ?LETSHRINK 与树形结构

  4. 4

    总结

  5. 5

    自我测验:收缩

目标属性
  1. 1

    目标属性简介

  2. 2

    目标属性

  3. 3

    编写邻接函数

  4. 4

    示例案例:快速排序

  5. 5

    目标属性的局限性

  6. 6

    总结

有状态属性
  1. 1

    状态属性简介

  2. 2

    有状态属性的运行方式

  3. 3

    编写有状态的属性

  4. 4

    测试一个基本的并发缓存:实现

  5. 5

    测试一个基本的并发缓存:编写测试

  6. 6

    测试并行执行

  7. 7

    总结

  8. 8

    自我测验:状态属性

案例研究:书店
  1. 1

    介绍应用程序

  2. 2

    应用:入门指南

  3. 3

    应用:数据库模块

  4. 4

    应用:运行代码

  5. 5

    编写生成器

  6. 6

    广泛的状态测试

  7. 7

    精确的状态建模

  8. 8

    优化测试

  9. 9

    调试有状态属性

  10. 10

    并行测试

  11. 11

    总结

状态机特性
  1. 1

    状态机特性简介

  2. 2

    定义状态机的属性

  3. 3

    状态机属性的运行方式

  4. 4

    编写有限状态机的属性

  5. 5

    测试熔断器

  6. 6

    建模断路器:Shim 模块

  7. 7

    建模断路器:属性

  8. 8

    建模断路器:测试模块

  9. 9

    调整模型:修复问题

  10. 10

    调整模型:更优的统计结果

  11. 11

    总结

结论
  1. 1

    结论

Certificate of Completion

Showcase your accomplishment by sharing your certificate of completion.

Course Author:Anonymous User

Reviews

Read reviews from students who have taken this course and share your own experience.

Reviews & Comments (0)