课程内容
| # | Topic | Slide |
|---|---|---|
| 0 | 课程介绍 | |
| 1 | 软件测试概论 | |
| 2 | 黑盒测试 | |
| 3 | 随机测试和自适应随机测试 | |
| 4 | 组合测试 | |
| 5 | 基于模型的测试 (有限状态机测试) | |
| 6 | 白盒测试 | |
| 7 | 基于约束的测试 | |
| 8 | 基于搜索的测试 | |
| 9 | 模糊测试 | |
| 10 | 变异测试 | |
| 11 | 蜕变测试 | |
| 12 | 基于故障的测试 (故障注入测试) | |
| 13 | 智能软件测试 | |
| 14 | 单元测试和回归测试 | |
| 15 | 软件不同特性及方面的测试 | |
| 16 | 课程总结 |
Acknowledgements
Some materials of this course are borrowed from Mark Harman (UCL), Andreas Zeller (CISPA), Zhendong Su (ETH), and Shin Yoo (KAIST).