软件工程
描述软件需求的方法：
功能层次模型：一般来讲就是系统的功能图，模块分布图等描述整个系统的功能的分布和功能的层次结构；
数据流模型：就是以数据流为着眼点的分析方法得到的模型，主要通过数据在整个系统的流动情况来确定系统的主要功能主线和流程；
控制流模型：通过了解和界定系统中控制线，通过控制流的走向和控制的对象来确定系统的功能分布和控制与被控制的关系；
结构化分析（SA) 方法是一种面向数据流的需求分析方法，它适用于分析大型数据处理系统。结构化分析方法的基本思想是自顶向下逐层分解，这样做可以把一个大问题分解成若干个小问题，经过多次逐层分解，每个最底层的问题都是足够简单、容易解决的，这个过程就是分解的过程。
结构化方法的分析结果由数据流图DFD、数据词典和加工逻辑说明几个部分组成。其中，DFD的基本成分有数据流（data flow）、加工（process）、文件（file）和源/宿（source/sink）。
结构化设计（SD) 方法是一种面向数据流的设计方法，它可以与SA方法衔接。
结构化设计采用结构图（SC） 来描述程序的结构。其基本成分有模块、调用和输入/输出数据。
结构图：
  |
|
 |
条件调用 循环调用
在需求分析阶段用SA方法产生了数据流图（DFD） 。面向数据流的设计可以方便的将DFD转换成程序结构图。DFD从系统的输入数据流到系统的输出数据流的一连串连续变换形成一条信息流。DFD的信息流大体可分为两种类型：变换流和事务流。与之对应的也存在两种分析，变换分析和事务分析。变换分析是从变换流型的DFD导出程序结构图，而事务分析则是从事务流行型的DFD导出程序结构图。
SD方法的具体设计步骤为：
Ø 复查并精化数据流图
Ø 确定DFD的信息流类型
Ø 根据信息流类型分别将变换流或事务流转换成程序结构图
Ø 根据软件设计的原则对程序结构图作改进
- 测试
白盒测试是根据程序的内部逻辑来设计测试用例，常用的技术是逻辑覆盖，即考察用例测试数据运行被测程序时对程序逻辑的覆盖程度。主要的覆盖标准有6种：
黑盒测试
黑盒测试时根据规格说明所规定的功能来设计测试用例，它不考虑程序的内部结构和处理过程。常用的黑盒测试技术有：
Ø 等价类划分
Ø 边值划分
Ø 错误猜测