图 书 馆
程序分析Program Analysis |
|
| 课程网址: | http://ocw.mit.edu/courses/electrical-engineering-and-computer-sc... |
| 主讲教师: | Michael Ernst |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2005-01-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | 6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project. |
| 关 键 词: | 软件工程任务; 程序分析技术; 设计和编程工具 |
| 课程来源: | 麻省理工学院公开课 |
| 最后编审: | 2020-11-27：yumf |
| 阅读次数: | 102 |