第零讲： 课程介绍
第一讲： 软件与软件开发
第二讲： 软件典型架构
第三讲： 可信软件概述
第四讲： 可信性度量
第五讲： 需求与可信
第六讲： 设计可信性：模型检查
第八讲： 格与不动点 JPF 使用指南
第九讲： 基于抽象解释的数据流分析
第十讲： 符号执行 定理证明：ESC/JAVA
第十一讲： 基于缺陷模式的分析 Findbugs
第十二讲： 系统软件可信性
第十三讲： 监测
http://sei.pku.edu.cn/~wqx/ase/2008/index.html
高级软件工程课程
最新推荐文章于 2023-07-03 15:41:44 发布
本教程包含13讲，从课程介绍到系统软件可信性的全面讲解。主要内容覆盖软件开发、典型架构、可信性度量及需求分析等方面，并深入探讨了模型检查、数据流分析、符号执行等关键技术。
扫一扫
1898
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
