课程内容
本门课程的内容主要包括软件测试概论（Sections 1～4）和现代软件测试方法专题（Sections 5～13）两个部分。
| Section | Topic | Slide |
|---|---|---|
| 0 | 课程介绍 | info |
| 1 | 软件测试概论 | introduction |
| 2 | 白盒测试和黑盒测试 | white and black |
| 3 | 软件开发过程中的测试方法 | testing levels |
| 4 | 软件特性及方面的测试方法 | quality aspects |
| 5 | 随机测试、自适应随机测试、组合测试 | rt, art, and ct |
| 6 | 基于约束的测试 | dse |
| 7 | 基于搜索的测试 | sbst |
| 8 | 有限状态机测试 | fsm |
| 9 | 变异测试 | mutation |
| 10 | 蜕变测试 | metamorphic |
| 11 | 模糊测试 | fuzzing |
| 12 | 故障注入测试 | fit |
| 13 | 智能软件测试 | ai |
Acknowledgements
Some materials of this course are borrowed from Mark Harman (UCL), Andreas Zeller (CISPA), Zhendong Su (ETH), and Shin Yoo (KAIST).