- 首页Home
- 课堂教学Courses
-
系列讲座Lecture Series
- 明德讲堂-生态文明系列
- 图书馆讲座信息检索与利用系列培训
- 物理学科学前沿系列讲座
- 明德讲堂-“传承老科学家精神，弘扬新时代科学家精神”报告会
- 航空宇航学院讲座
- 网安学院系列讲座
- 明德讲堂-艺术系列讲座
- 明德讲堂-中科院与“两弹一星系科普系列
- 明德讲堂-生态文明系列
- 艺术与人文修养系列讲座
- 国科在线系列讲座
- 科学前沿进展名家系列讲座I、II
- 科学前沿进展名家系列讲座III、IV
- 艺术与人文修养系列讲座
- 知识分子与文化修养
- 就业指导系列讲座
- 明德讲堂-文艺系列讲座
- 首都百万师生同上一堂课
- 近物所：原子核物理进展与方法
- 雁栖湖名家大讲堂
- 物理学大师论坛
- 中国科学与人文论坛
- 创新案例系列讲座
- 爱因斯坦讲席教授
- 科学素养
- 科技创新与中国未来
- 图书馆讲座
- 空间引力波探测国际会议
- 明德讲堂-社会系列讲座
- 本科生毕业论文学术规范与论文检测讲座
- 明德讲堂-人生系列讲座
- 核学院系列讲座
- 2019届本科生毕业生学术规范讲座
- 高墙深院里的科学大腕报告会
- 明德讲堂-伦理系列
- 科学前沿进展名家讲座III
- 明德讲座—艺术人文与社会系列
- 2017年暑期讲座
- 两种文化的分离和对立及其根源
- 知心系列心理健康讲座
- 明德讲堂-历史系列讲座
- 明德讲堂-科研道德与学术诚信系列
- 图书馆资源与服务
- 中国科学院百人学者雁栖论坛
- 科学前沿讲座
- 明德讲堂-思想系列讲座
- 明德讲座-伦理道德系列
- 两学一做
- 明德讲堂-文化系列讲座
- 校园活动Campus Events
-
校外资源Other Resources
- 中国大学
- 安徽工业大学
- 中国民航大学
- 上海交通大学医学院
- 南京理工大学
- 河南大学
- 苏州大学
- 安徽大学
- 中山大学
- 中南大学
- 华北科技学院
- 华中农业大学
- 中国农业大学
- 北京师范大学
- 清华大学
- 长沙理工大学
- 武汉纺织大学
- 南开大学
- 浙江大学
- 武汉大学
- 重庆大学
- 西北大学
- 西安交通大学
- 华中科技大学
- 南昌大学
- 西安建筑科技大学
- 新疆大学公
- 南京信息工程大学
- 青岛理工大学
- 外交学院
- 北京航空航天大学
- 华东师范大学
- 湖南警察学院
- 上海外国语大学
- 哈尔滨医科大学
- 江南大学
- 空军工程大学
- 北京科技大学
- 广西师范大学
- 上海海事大学
- 国防科学技术大学
- 山西大学
- 东北农业大学
- 内蒙古大学
- 天津医科大学
- 中国戏曲学院
- 长江大学
- 西北工业大学
- 浙江理工大学
- 山东科技大学
- 电子科技大学
- 中国青年政治学院
- 辽宁大学
- 中国人民解放军南京政治学院
- 广西民族大学
- 河海大学
- 山东大学
- 合肥工业大学
- 杭州师范大学
- 厦门大学
- 中国政法大学
- 盐城工学院
- 湖北工业大学
- 北京林业大学
- 南京晓庄学院
- 西安邮电大学
- 浙江科技学院
- 华南农业大学
- 长安大学
- 北京化工大学
- 江苏大学
- 青岛大学
- 华南理工大学
- 安徽理工大学
- 北京联合大学
- 江苏师范大学
- 西南交通大学
- 青岛科技大学
- 河南中医学院
- 四川警察学院
- 大连海事大学
- 广州医科大学
- 山东师范大学
- 海口经济学院
- 中国人民公安大学
- 新疆大学
- 贵阳中医学院
- 云南大学
- 中国科学技术大学
- 南京农业大学
- 东北大学
- 中国劳动关系学院
- 暨南大学
- 安徽农业大学
- 长春师范大学
- 湖北中医药大学
- 江西农业大学
- 贵州民族大学
- 山东中医药大学
- 三峡大学
- 浙江中医药大学
- 沈阳理工大学
- 中国医科大学
- 浙江工商大学
- 江西中医药大学
- 中国美术学院
- 遵义医学院
- 北京舞蹈学院
- 广州中医药大学
- 宁波大学
- 信息工程大学
- 山西医科大学
- 华东理工大学
- 武汉轻工大学
- 四川师范大学
- 辽宁工程技术大学
- 新疆医科大学
- 福建师范大学
- 河北经贸大学
- 北京外国语大学
- 郑州大学
- 海南医学院
- 中国矿业大学
- 浙江师范大学
- 中国人民大学
- 济南大学
- 赣南师范学院公开课：中央苏区史专题讲座
- 广东技术师范学院
- 中国人民解放军第四军医大学
- 辽宁师范大学
- 北京建筑大学
- 国防科技大学
- 西华师范大学
- 重庆师范大学
- 北京理工大学
- 南京医科大学
- 上海财经大学
- 中国药科大学
- 北京体育大学
- 中国地质大学（北京）
- 哈尔滨工业大学
- 南京大学
- 中央音乐学院
- 第三军医大学
- 河北师范大学
- 中国海洋大学
- 黑龙江大学
- 兰州大学
- 中国石油大学（华东）
- 深圳大学
- 湘潭大学
- 石河子大学
- 沈阳建筑大学
- 湖南大学
- 大连理工大学
- 四川大学
- 对外经济贸易大学
- 天津科技大学
- 中国人民解放军国防科学技术大学
- 广东外语外贸大学
- 中央财经大学
- 安徽三联学院
- 河南科技大学
- 广州大学
- 武汉理工大学
- 太原科技大学
- 西安建筑大学
- 南方医科大学
- 南京航空航天大学
- 广西师范学院
- 成都理工大学
- 首都经济贸易大学
- 广州番禺职业技术学院
- 上海金融学院
- 华中师范大学
- 常州大学
- 湖南师范大学
- 云南农业大学
- 贵州大学
- 陕西师范大学
- 河北医科大学
- 中国人民武装警察部队学院
- 九江职业技术学院
- 武汉体育学院
- 景德镇陶瓷学院
- 太原理工大学
- 南京林业大学
- 东北石油大学
- 通化师范学院
- 上海大学
- 长春理工大学
- 大连大学
- 中国石油大学（北京）
- 对外经贸大学
- 河北科技大学
- 长沙学院
- 吉林华桥外国语学院
- 中南财经政法大学
- 哈尔滨工程大学
- 复旦大学
- 东华大学
- 哈尔滨理工大学
- 河北工业大学
- 武汉工程大学
- 桂林理工大学
- 中华女子学院
- 北京大学
- 中南民族大学
- 吉林师范大学
- 西南政法大学
- 内蒙古师范大学
- 华东政法大学
- 中国地质大学
- 重庆科技大学
- 广西财经学院
- 青海大学
- 西南民族大学
- 中国地质大学（武汉）
- 福州大学
- 河北工程大学
- 新疆师范大学
- 新疆警察学院
- 东南大学
- 浙江工业大学
- 大连东软信息学院
- 西安电子科技大学
- 上海体育学院
- 聊城大学
- 吉林大学
- 湖北医药学院
- 西北工业大学，华南理工大学
- 西南大学
- 北京语言大学
- 江西财经大学
- 北京交通大学
- 邵阳学院
- 福建中医药大学
- 北京中医药大学
- 中国石油大学
- 南昌师范高等专科学校
- 广西医科大学
- 华北电力大学
- 广西大学
- 人民大学
- 北京工业大学
- 首都师范大学
- 云南财经大学
- 天津理工大学
- 福建农林大学
- 第四军医大学
- 西北民族大学
- 新疆农业大学
- 海南师范大学
- 昆明理工大学
- 同济大学
- 中央民族大学
- 首都医科大学
- 湖南农业大学
- 西北农林科技大学
- 沈阳体育学院
- 渤海大学
- 安徽师范大学
- 上海交通大学
- 东北师范大学
- 哈尔滨商业大学
- 天津体育学院
- 中国传媒大学
- 天津工业大学
- 河南师范大学
- 吉林农业大学
- 华南师范大学
- 南京师范大学
- 中国科技大学
- 扬州大学
- 东北林业大学
- 上海中医药大学
- 重庆医科大学
- 西南财经大学
- 天津大学
- 上海工程技术大学
- 其他
- 国际名校
- 芝加哥大学
- 剑桥大学公开课
- 缅因州教育部
- 加利福尼亚大学
- 加州艺术学院
- 慕尼黑大学
- 加利福尼亚大学欧文分校
- 加州大学
- 麻省理工
- 拉筹伯大学
- 国家大学视频公开课
- 乔治华盛顿大学
- 麦克马斯特大学
- 阿肯色大学
- 纽约大学
- 马里兰大学
- 哈佛大学
- 利伯缇大学
- 西雅图太平洋大学
- 北卡罗来纳州立大学
- David J. Malan
- 宾汉姆顿大学
- 明尼苏达州教育中心
- 亚利桑那大学
- 宾夕法尼亚州立大学
- 密歇根州
- 伦敦大学玛丽女王学院
- 荷兰代尔夫特理工大学
- 美国南加州大学
- FILM RIOT 工作室
- 埃默里大学
- 加州大学洛杉矶分校
- 俄亥俄州立大学公开课
- 南加州大学
- 牛津
- 美国国会图书馆
- 美国公共大学
- 东田纳西州立大学
- 拜欧拉大学
- 宾夕法尼亚州社区学院
- 东京大学
- 巴黎高等商学院
- 剑桥大学
- 弗吉尼亚理工大学
- 伟谷州立大学
- 耶鲁大学公开课
- 圣母大学
- 萨福克大学
- 康奈尔大学
- 哥伦比亚大学
- 诺丁汉大学
- 奥蒂斯艺术设计学院
- 俄亥俄州立大学
- 斯运伯恩科技大学
- 哈里斯堡社区大学
- 西谷学院
- 北弗吉尼亚社区学院
- 新西兰国立南方理工学院
- 宾夕法尼亚大学
- 加利福尼亚大学电视台
- 密苏里州立大学
- 美国战略与国际问题研究中心
- 加州大学伯克利分校
- 仙后座计划
- 密西西比河谷州立大学
- 波士顿大学
- 西卡罗来纳州
- 斯坦福
- 瑞典达拉纳大学
- Blender基金会
- 美国环保署
- 杜克大学公开课：布鲁姆伯利
- 普林斯顿大学
- 杜克大学
- 旧金山亚洲艺术博物馆
- 亚琛工业大学
- 战略与国际研究中心
- 拉斯维加斯艺术学院
- 加州伯克利大学
- 利伯堤大学
- 麻省理工学院
- 美国西南大学 美国西南大学
- 牛津大学
- 斯坦福大学
- 耶鲁大学
- 英国公开大学
- 新泽西理工学院
- IIIM神学教育资源中心
- 大都会艺术博物馆
- 圣母大学公
- 弗里德-哈德曼大学
- 西南大学
第1讲 组合测试，约束求解与自动推理
讲师介绍
讲师 :
专业 ：
所在单位 ：
教师简介 ：
课程列表
- 第15章编程规则检查及代码挖掘
- 第1讲 编程规则检查及代码挖掘 (1) 2019-05-22
- 第14章静态分析
- 第1讲 静态分析 (1) 2019-05-22
- 第13章符号执行
- 第1讲 符号执行 (1) 2019-05-22
- 第12章符号执行
- 第1讲 符号执行 (1) 2019-05-22
- 第11章白盒测试回顾
- 第1讲 白盒测试回顾 (1) 2019-05-22
- 第10章软件测试案例介绍
- 第1讲 软件测试案例介绍 (1) 2019-05-22
- 第9章测试
- 第1讲 测试 (1) 2019-05-22
- 第8章测试
- 第1讲 测试 (1) 2019-05-22
- 第7章测试
- 第1讲 测试 (1) 2019-05-22
- 第6章黑盒测试，白盒测试，程序分析
- 第1讲 黑盒测试，白盒测试，程序分析 (1) 2019-05-22
- 第5章组合测试，约束求解与自动推理
- 第1讲 组合测试，约束求解与自动推理 (1) 2019-05-22
- 第4章组合测试
- 第1讲 组合测试 (1) 2019-05-22
- 第3章基于规约的测试
- 第1讲 基于规约的测试 (1) 2019-05-22
- 第2章程序验证、分析、测试以及形式规约等基本概念
- 第1讲 程序验证、分析、测试以及形式规约等基本概念 (1) 2019-05-22
- 第1章概述，软件质量问题，软件缺陷
- 第1讲 第一课_概述，软件质量问题，软件缺陷 (1) 2019-05-22