一、静态代码缺陷查找的角色 二、静态代码缺陷基本类别 三、静态代码缺陷查找的主要方法 四、静态代码缺陷查找的常见工具 五、理论基础：不动点

1. 了解什么是结构化程序设计，以及结构化程序设计的原则。 2. 了解程序设计风格 4 个方面的要求。 3. 了解提高程序效率的方法。 4. 了解程序设计语言的分类和特点。 5. 掌握度量程序复杂性的 McCabe 方法和 Halstead 方法

Interactive Complexity Complexity is a moving target The underlying factor is intellectual manageability 1. A simple\system has a small number of unknowns in its interactions within the system and with its environment 2. A system is intellectually unmanageable when the level of interactions reaches the point where they cannot be thoroughly

1.了解什么是结构化程序设计,以及结构化程序设计的原则。 2.了解程序设计风格4个方面的要求 3.了解提高程序效率的方法。 4.了解程序设计语言的分类和特点。 5.掌握度量程序复杂性的 McCabe方法和 Halstead方法

设计的任务是从信息需求中综合出数据结构的表示、程序结构、接口特征和过程细节。主要描述高层各部分的相关关系和底层所需要的逻辑操作

风险概念定义: (1)风险关注未来将要发生的事情; (2)风险涉及改变; (3)风险涉及选择本身所包含的不确定性。 当没有办法消除风险,甚至连试图降低该风险也存在疑问时,这些风险就是真正的风险了

1. 什么是状态图 状态图（statechart diagram）：主要用于描述一个对象在其生存期间的动态行为，表现一个对象所经历的状态序列（state sequence）、引起状态转移的事件（event）以及因状态转移而伴随的动作（action）

1. Web建模的基本概念 Web建模主要考虑两个方面的问题： （1）如何表示Web应用系统的体系结构（运行机制） （2）如何表示Web应用系统中一些特有的概念 （Web页中的元素）

The process by which a software engineer learns about the domain to better understand the problem: The domain is the general field of business or technology in which the clients will use the software A domain expert is a person who has a deep knowledge of the domain

6.1 结构程序设计 6.2 人机界面设计 6.3 过程设计的工具 6.4 面向数据结构的设计方法 6.5 程序复杂程度的定量度量