上海交通大学：《软件测试与质量控制》课程教学资源（课件讲稿）chapter 1 Introduction of software testing

2.1 Goals of testing 2.2 Facts About Testing 2.3 Glossary(术语) 2.4 Fundamental theory 2.5 Basic methods of software test

4.1 Non-execution based Verification 4.2 Execution based Verification 4.3 Formal verification 4.4 Other methods

四川大学：测试技术与控制工程系课程教学资源《计算机网络概论》教学大纲 Introduction to computer network

1. Java 2. Eclipse 3. JUNIT 4. EMMA 5. 实例

上海交通大学：《软件测试与质量控制》课程教学资源（课件讲稿）第2章 Prerequisites Mathematics knowledge of software test

1.1 Importance of software testing 1.2 Concepts and Glossary

一、串行扩展特点 二、串行扩展方式分类 三、虚拟串行扩展慨念 四、移位寄存器串行扩展方式

一、中断的基本概念 二、80C51中断源 三、中断控制寄存器 四、中断处理过程 五、中断优先控制和中断嵌套 六、中断系统的应用

一、内核的典型功能 二、何时进行进程切换 三、进程切换的过程 四、OS的三种执行方式，各自的特点