JM233333's Blog
  • Programming Languages

    • C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • System

    • System Performance
  • Programming

    • ...
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 3D Game Programming

    • 3D Mathematics

JM233333

弱小可怜又无助的学术废物
  • Programming Languages

    • C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • System

    • System Performance
  • Programming

    • ...
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 3D Game Programming

    • 3D Mathematics
  • Operating Systems
  • Software Testing and Analysis
    • 前言
Software Testing and Analysis
软件测试和分析的学习笔记和知识总结
目录
# 1. software-testing
# 2. software-analysis
2-1. Software Analysis 00 - Introduction2-2. Software Analysis 00 - Theoretical Fundations2-3. Software 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
Creative Commons

# 前言

Software Testing and Analysis 栏目下的文章内容包括

关于文章的阅读顺序:

在每个知识板块内,每篇文档会有一个标号,这个标号表示了该文档大致的在当前知识板块内的相对级别,建议按标号从小到大阅读,标号相同的则无所谓。

有些文档会具有相同的标号,这是按层划分的,可能会让您感到有些困惑,您可以参阅每个知识板块头部的阅读指引图来获得确切的阅读顺序。

一些文档的开头会给出前置知识声明,如果你没有掌握这些知识,建议进行递归学习。这些前置声明和阅读指引图提供的顺序是相同的。

← Operating Systems

最近更新
01
Linux Kernel 00 - Introduction
08-01
02
Linux Kernel 01 - Build and Run a Tiny Linux Kernel on QEMU
08-01
03
Linux Kernel 01 - Debug the Linux Kernel
08-01
更多文章>
Theme by Vdoing | Copyright © 2019-2022 JM233333 | CC BY-NC-SA 4.0
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式