教学
探索我们的教育资源和课程
课程信息
软件测试与分析
课程性质 专业课
主讲教师 严俊
面向计算机学院高年级本科生的专业课，每年秋季开课。
软件分析与测试
课程性质 专业课
主讲教师 严俊，蔡彦
研究生一年级专业课，与蔡彦研究员合作每年秋季学期开设。
高可信软件工程
课程性质 专业课
主讲教师 张健，吴鹏，朱雪阳
杭高院一年级课程，与和吴鹏、朱雪阳联合每年春季学期开设。
理论计算机科学基础
课程性质 必修课
主讲教师 晏荣杰
面向计算机学院二年级本科生的必修课，每年春季开课。
教材教辅
Automatic Generation of Combinatorial Test Data
作者： Jian Zhang, Zhiqiang Zhang, Feifei Ma
Logic in Computer Science
作者： Hantao Zhang, Jian Zhang
教案讲义
1
《软件测试与分析》北京市优秀教案
教学平台
智能化教学平台系统软件 v1.0
现代化教学支持平台