
- Software Testing and Analysis
- 软件测试和分析的学习笔记和知识总结
目录
- # 1. software-testing
- # 2. static-analysis
- 2-1. Static Analysis 00 - Introduction2-2. Static Analysis 01 - Basic Knowledge2-3. Static Analysis 00 - Theoretical Fundations2-4. Static Analysis 00 - Pointer Analysis
- # 3. program-verification
- 3-1. Program Verification 00 - Introduction3-2. Program Verification 01 - Basic Logic3-3. Program Verification 02 - Operational Semantics3-4. Program Verification 02 - Linear Temporal Logic (unfinished)3-5. Program Verification 03 - Hoare Logic3-6. Program Verification 04 - Separation Logic (unfinished)3-7. Program Verification 04 - Weakest Precondition3-8. Program Verification 05 - Guarded Command
# 前言
Software Testing and Analysis 栏目下的文章内容包括
关于文章的阅读顺序:
在每个知识板块内,每篇文档会有一个标号,这个标号表示了该文档大致的在当前知识板块内的相对级别,建议按标号从小到大阅读,标号相同的则无所谓。
有些文档会具有相同的标号,这是按层划分的,可能会让您感到有些困惑,您可以参阅每个知识板块头部的阅读指引图来获得确切的阅读顺序。
一些文档的开头会给出前置知识声明,如果你没有掌握这些知识,建议进行递归学习。这些前置声明和阅读指引图提供的顺序是相同的。
- 01
- Reading Papers - Kernel Concurrency06-01
- 02
- Linux Kernel - Source Code Overview05-01
- 03
- Linux Kernel - Per-CPU Storage05-01