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

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

·定义与运算 ·方向余弦阵

• 1.1 计算机系统发展简史 • 1.2 电子计算机概论 • 1.3 运算基础 • 微处理器芯片

结构体的概述 结构体类型的定义 结构体类型的变量 结构体数组 结构体作为函数的参数 链表

一维数组 字符串 数组作为参数 排序和查找 二维数组 Vector类

一、定时处理方法 二、8253工作原理 三、8253应用