高级软件工程课程

第零讲： 课程介绍

第一讲： 软件与软件开发

第二讲： 软件典型架构

第三讲： 可信软件概述

第四讲： 可信性度量

第五讲： 需求与可信

第六讲： 设计可信性：模型检查

第七讲： 代码可信分析概述(1)

第八讲： 格与不动点 JPF 使用指南 

第九讲： 基于抽象解释的数据流分析

第十讲： 符号执行 定理证明：ESC/JAVA

第十一讲： 基于缺陷模式的分析 Findbugs

第十二讲： 系统软件可信性

第十三讲： 监测

 

http://sei.pku.edu.cn/~wqx/ase/2008/index.html