软件分析与测试
课程编码：180086083500M3001H
英文名称：Software Analysis and Testing
课时：40
学分：2.00
课程属性：专业课
主讲教师：严俊等
教学目的要求
本课程是为软件工程专业研究生生开设的专业普及课，其目的是使学生掌握软件测试与程序分析的基本原理和方法。通过课程教学，使学生掌握真实应用测试场景中常用的测试方法，了解基本的程序分析技术，并采用程序分析与测试技术自动化工具进行实践。
预修课程
无
大纲内容
第一章 测试基本概念 3学时 严俊
第1节 测试基本概念
第二章 黑盒测试方法 3学时 严俊
第1节 黑盒测试方法
第三章 白盒测试方法 3学时 严俊
第1节 白盒测试方法
第四章 其他测试方法 6学时 严俊
第1节 其他测试方法
第五章 程序插桩技术 3学时 蔡彦
第1节 程序插桩技术
第六章 变异与模糊测试 3学时 蔡彦
第1节 变异与模糊测试
第七章 并发程序测试与分析 4学时 蔡彦
第1节 并发程序测试与分析
第八章 自动化修复方法 2学时 蔡彦
第1节 自动化修复方法
第九章 静态分析基本概念与控制流分析 3学时 严俊
第1节 静态分析基本概念与控制流分析
第十章 符号执行以及测试数据生成 3学时 严俊
第1节 符号执行以及测试数据生成
第十一章 数据流分析基础与应用 4学时 严俊
第1节 数据流分析基础与应用
第十二章 过程间控制流和数据流分析 2学时 严俊
第1节 过程间控制流和数据流分析
参考书
1、
1. 软件测试基础教程（Foundations of Software Testing）
Aditya P. Mathur著，王峰等译
2011年
机械工业出版社
课程教师信息
严俊，蔡彦均为中国科学院软件研究所研究员，长期从事软件测试与分析方面的研究，在软件工程领域的国际顶级学术会议或者期刊（CCF A类）发表研究论文数十篇。