一、静态分析技术
sum=0;
for(i=1;i<=100;i=i+2) ; /* 采用循环结构来实现*/ sum= sum+1.0/(2*i-1);
printf("The sum is %f\n",sum);
sum 累加器
sum=0
i=1 sum=sum+1.0/1=1.0/1
i=3 sum=sum+1.0/3=1.0/1+1.0/3
i=5 sum=sum+1.0/5=1.0/1+1.0/3+1.0/5
i=5 sum=sum+1.0/5=1.0+1.0/2+1.0/3+1.0/4+1.0/5
…
i=100 sum=sum+1.0/100=1.0+1.0/2+1.0/3+1.0/4+1.0/5+…+1.0/100 The sum is ***
二、动态分析技术
1.单步跟踪
预定义函数F10 Step Over 跳过
自定义函数F11 Step into 跳入
2.断点
Ctrl+F10
工程经济 一、投资回收期（静态、动态） 1、动态投资回收期=（累计净现金流量现值出现正值的年数-1）+上一年累计净现金流量现值的绝对值/出现正值年份净现金流量的现值 静态投资回收期：88.4250 22015t =+-=P
动态投资回收期： 84.51 .1415 .11816=+ -=t P 由于项目方案的投资回收期小于基准的投资回收期，则该项目可行。 二、投资效果系数法（静态） 投资效果系数：亦称投资收益率，是指项目在正常生产年份的年净收益和投资总额的比值。（通常项目可能各年的净收益额变化较大，则应该计算生产期内年均净收益额和投资总额的比率。） 公式： I Y E = ，（S E E ≥则可以接受，S E E <，则应当拒绝） E:投资收益率 Y ：正常生产年份净收益（年均净收益） I ：投资总额 例：有一临街商铺，面积约45平方米，售价约170万元，贷款85万，契税51000，每月还款9970元，每月物业管理费20每平方米，水电费每月400，目前在这个物业的周边，同等物业的月租金约是350元/平方米，如这个商铺要是买下并成功出租，那么，它的投资回报率将是多少呢？ 解：年投资计收益率=（每月租金*12个月）/商铺总价=(45*350)*12/170万=11.1% 三、年折算费用法（静态） 年折算费用：工程的固定资产投资及每年的运行管理维修费各换算为每年均等的费用后相加所得之和。公式是：Zj=Cj+Pj*Rc ，其中Zj 表示折算费，Cj 表示年运营费，Pj 表示投资额，Rc 表示基准投资率。 例：某工程有四个实施方案可供选择，各方案的应用环境相同。四个
工程经济 一、投资回收期（静态、动态） 1、动态投资回收期=（累计净现金流量现值出现正值的年数-1）+上一年累计净现金流量现值的绝对值/出现正值年份净现金流量的现值 评价准则： 1）P't ≤Pc（基准投资回收期）时，说明项目（或方案）能在要求的时间收回投资，是可行的； 2）P't >Pc时，则项目（或方案）不可行，应予拒绝。 2、静态投资回收期=（累计净现金流量出现正值的年数-1）+上一年累计净现金流量的绝对值/出现正值年份净现金流量 评价准则： l）若P t ≤Pc ，表明项目投资能在规定的时间收回，则方案可以考虑接受； 2）若P t >Pc，则方案是不可行的。 例：某项目方案有关资料如下表所示，基准折现率为10％，若基准回收期为8年，分别计算其静态投资回收期和动态投资回收期，并试
静态投资回收期：88.4250 22015t =+-=P 动态投资回收期： 84 .51 .1415 .11816=+ -=t P 由于项目方案的投资回收期小于基准的投资回收期，则该项目可行。 二、投资效果系数法（静态） 投资效果系数：亦称投资收益率，是指项目在正常生产年份的年净收益和投资总额的比值。（通常项目可能各年的净收益额变化较大，则应该计算生产期年均净收益额和投资总额的比率。） 公式： I Y E = ，（S E E ≥则可以接受，S E E <，则应当拒绝） E:投资收益率
Y：正常生产年份净收益（年均净收益） I：投资总额 例：有一临街商铺，面积约45平方米，售价约170万元，贷款85万，契税51000，每月还款9970元，每月物业管理费20每平方米，水电费每月400，目前在这个物业的周边，同等物业的月租金约是350元/平方米，如这个商铺要是买下并成功出租，那么，它的投资回报率将是多少呢？ 解：年投资计收益率=（每月租金*12个月）/商铺总价=(45*350)*12/170万=11.1% 三、年折算费用法（静态） 年折算费用：工程的固定资产投资及每年的运行管理维修费各换算为每年均等的费用后相加所得之和。公式是：Zj=Cj+Pj*Rc，其中Zj表示折算费，Cj表示年运营费，Pj表示投资额，Rc表示基准投资率。 例：某工程有四个实施方案可供选择，各方案的应用环境相同。四个方案的投资额依次是60万元、80万元、100万元、120万元；四个方案的年运行成本依次是16万元、13万元、10万元和6万元。若基准投资率为10%，则采用折算费用法的最优方案为？ 解： 甲的折算费用=(16+60×10%)万元=22万元；
静态代码分析 一、什么是静态代码分析 静态代码分析是指无需运行被测代码，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性，找出代码隐藏的错误和缺陷，如参数不匹配，有歧义的嵌套语句，错误的递归，非法计算，可能出现的空指针引用等等。 在软件开发过程中，静态代码分析往往先于动态测试之前进行，同时也可以作为制定动态测试用例的参考。统计证明，在整个软件开发生命周期中，30% 至70% 的代码逻辑设计和编码缺陷是可以通过静态代码分析来发现和修复的。但是，由于静态代码分析往往要求大量的时间消耗和相关知识的积累，因此对于软件开发团队来说，使用静态代码分析工具自动化执行代码检查和分析，能够极大地提高软件可靠性并节省软件开发和测试成本。 静态代码分析工具的优势 1. 帮助程序开发人员自动执行静态代码分析，快速定位代码隐藏错误和缺陷。 2. 帮助代码设计人员更专注于分析和解决代码设计缺陷。 3. 显著减少在代码逐行检查上花费的时间，提高软件可靠性并节省软件开发和测试成本。 二、主流Java静态分析工具 Findbugs、checkstyle和PMD都可以作为插件插入eclipse，当然也有单独的工具可以实现他们的功能，比如Findbugs Tool就可以不必插入eclipse就可以使用。 三者的功能如下表： 工具目的检查项 FindBugs 检查.class 基于Bug Patterns概念，查 找javabytecode（.class文件） 中的潜在bug 主要检查bytecode中的bug patterns，如NullPoint空指 针检查、没有合理关闭资源、字符串相同判断错（==， 而不是equals）等 PMD 检查源文件检查Java源文件中的潜在问 题 主要包括： 空try/catch/finally/switch语句块 未使用的局部变量、参数和private方法 空if/while语句 过于复杂的表达式，如不必要的if语句等 复杂类
静态代码分析、测试工具汇总 静态代码扫描，借用一段网上的原文解释一下 ( 这里叫静态检查 ) ：“静态测试包括代码检查、 静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势， 也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等， 主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代 码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊 的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型 审查、程序逻辑审查、程序语法检查和程序结构检查等内容。”。 我看了一系列的静态代码扫描或者叫静态代码分析工具后，总结对工具的看法：静态代码 扫描工具，和编译器的某些功能其实是很相似的，他们也需要词法分析，语法分析，语意 分析 ...但和编译器不一样的是他们可以自定义各种各样的复杂的规则去对代码进行分析。 以下将会列出的静态代码扫描工具，会由于实现方法，算法，分析的层次不同，功能上会 差异很大。有的可以做 SQL注入的检查，有的则不能 ( 当然，由于时间问题还没有对规则进行研究，但要检查复杂的代码安全漏洞，是需要更高深分析算法的，所以有的东西应该不 是设置规则库就可以检查到的，但在安全方面的检查，一定程度上也是可以通过设置规则 进行检查的 )。 主 工具名静态扫描语言开源 / 厂商介绍 页付费网 址 https://www.doczj.com/doc/9d15869905.html,、C、 ounec5.0 C++和 C#，付 Ounce Labs \ 还支持费 Java。 还有其他辅助工具： 1.Coverity Thread Coverity C/C++,C#,JAV Analyzer for Java 付费Coverity 2.Coverity Software Prevent A Readiness Manager for Java 3.Coverity
静态投资与动态投资（重点掌握两者的区别） 静态投资：建安工程费、设备和工器具购置费、工程建设其他费用、基本预备费、工程量误差引起的增减。 动态投资：除了包括静态投资所含内容之外，还包括建设期贷款利息、投资方向调节税、涨价预备费等。 静态投资和动态投资的内容虽然有所区别，但二者有密切联系。动态投资包含静态投资，静态投资是动态投资最主要的组成部分，也是动态投资的计算基础。 建设项目总投资与固定资产投资（注意区别项目总投资、总造价、固定资产投资的关系） 1.建设项目按用途可分为生产性建设项目和非生产性建设项目 生产性建设项目总投资包括固定资产投资和流动资产投资两部分 非生产性建设项目总投资只有固定资产投资，不包括流动资产投资 建设项目总造价是指项目总投资中的固定资产投资总额。 2.固定资产投资 固定资产投资是投资主体为达到预期收益的资金垫付行为。我国的固定资产投资包括基本建设投资、更新改造投资、房地产开发投资和其他固定资产投资四种。 建设项目的固定资产投资也就是建设项目的工程造价。 税款征收 纳税人应按照法律法规确定的期限缴纳税款。纳税人因有特殊困难，不能按期缴纳税款的。经省、自治区、直辖市国家税务局、地方税务局批准，可以延期缴纳税款，但是最长不得超过3个月。未按期缴纳税款的，税务机关除责令限期缴纳外，从滞纳税款之日起，按日加收滞纳税款万分之五的滞纳金。 1. 工程造价的特点：大额性、个别性、动态性、层次性、兼容性; 2. 工程造价的作用：项目决策的依据;制定投资计划和控制投资的依据;筹集建设资金的依据;评价投资效果的依据;利益合理分配和调节产业结构的手段; 3. 工程计价的特征：单件性;多次性;组合性;多样性;复杂性; 4. 静态投资包括：建筑安装工程费;设备和工器具购置费;工程建设其他费;基本预备费等; 5. 动态投资包含静态投资所含内容外，还包括建设期贷款利息、投资方向调节税、涨价预备费等; 6. 生产性建设项目总投资包括固定资产投资和流动资产投资两部分;而非生产性建设项目只有固定资产投资，不包含流动资产投资; 7. 我国固定资产投资包括基本建设投资、更新改造投资、房地产开发投资和其他固定资产投资; 8. 工程造价两层含义：建设工程投资费用管理;建设工程价格管理; 9. 建设工程的全面造价管理包括全寿命周期管理、全过程造价管理、全要素造价管理和全方位造价管理;
《统计学概论》练习二 一、判断题 1、定基发展速度等于相应各个环比发展速度的连乘积，所以定基增长速度也等于相应各个环比增长速度积。( ) 2、发展速度是以相对数形式表示的速度分析指标，增长量是以绝对数形式表示的速度分析指标。( ) 3、众数是总体中出现次数最多的那个数。（） 4、时点指标的数值大小与时点间的间隔长短没有直接联系。（） 5、如果把数量指标作为同度量因素，则时期一般固定在基期。（） 6、若逐期增长量每年相等,则其各年的环比发展速度是年年下降的。( ) 7、已知某市工业总产值2001年至2005年年增长速度分别为４％，５％，９％，１１％和６％，则这五年的平均增长速度为６.９７％。（） 8、计算相关系数的两个变量都是随机变量。（） 9、如果某商店商品零售价格增长5%，销售量增加5%，则零售额增长10%。（） 10、国民收入中积累额与消费额之比为1：3，这是一个比较相对指标。（） 二、单选题 1、统计指数划分为个体指数和总指数的依据是 ( ) A、反映的对象范围不同 B、指标性质不同 C、采用的基期不同 D、编制指数的方法不同 2、间隔相等的时点数列计算序时平均数应采用（） Ａ、几何平均法 B、加权算术平均法 C、简单算术平均法 D、首末折半法 3、1997年北京市下岗职工已安置了13.7万人，安置率达80.6%，安置率是（）。 A、总量指标 B、变异指标 C、平均指标 D、相对指标 4、组距、组限、组中值之间关系是（） A、组中值＝（上限＋下限）÷2 B、组距＝（上限－下限）÷2 C、组中值＝（上限＋下限）×2 D、组限＝组中值÷2 5、某厂计划规定单位产品物耗降低3％，实际降低了4.5％，则计划完成程度为（） A、98.45％ B、150.00％ C、66.66％ D、101.46％ 6、已知某企业总产值2001年比1998年增长187.5％，2000年比1998年增长150％，则2001 年比2000年增长（） A、37.5％ B、125％ C、115％ D、15％ 7、权数对算术平均数的影响作用，实质上取决于（） A、作为权数的各组单位数占总体单位数比重的大小 B、各组标志值占总体标志总量比重的大小 C、标志值本身的大小 D、标志值数量的多少 8、总量指标是用（）表示的 A、绝对数形式 B、相对数形式 C、平均数形式 D、百分比形式 9、若物价上涨,商品的需求量相应减少,则物价与商品需求量之间的关系为( ) A、不相关 B、负相关 C、正相关 D、复相关 10、标志变异指标是反映同质总体的（） A、集中程度 B、离中程度 C、一般水平 D、变动程度 11、相关关系是指( ) A、现象间客观存在的依存关系 B、现象间客观存在的数值固定依存关系 C、现象间客观存在的数值不固定依存关系 D、因果关系 12、直接反映总体规模大小的指标是（） A、平均指标 B、相对指标 C、总量指标 D、变异指标 13、在计算x与y的回归方程式时，如果y=a+bx当b为负数时，则直线是（） A、上升趋势 B、不升不降 C、下降趋势 D、上术三种情况都可能出现 14、将某企业职工人数中的管理人员与工人人数对比得到的相对指标是( ) A、结构相对数 B、比较相对数 C、比例相对数 D、强度相对数 15、若某一变量数列中，有变量值为零，则不适宜计算的平均指标有（）。 A、算术平均数 B、调和平均数 C、中位数 D、众数 三、简答题 1、简述品质标志与数量标志的区别
论道：软件安全 —静态、动态程序分析技术
What I expect you to know:
? Security Landscape
– Network, Host, Application
? Common vulnerability:
– SQL Injection, Cross-Site Scripting, Buffer Overflow
? Basic concepts on programming, software development, penetration test
2
Agenda
? Common Misconceptions ? Appsec Trends ? Automatic Tools
– Static Analysis – Dynamic Analysis
? Practical Consideration
3
Secure the ATM at the last stage
4
Consider CSV format
Save as CSV (Common Separated Format)
1. CSV: Why you want to filter out [,]? 2. SQL Injection: Why you want to filter out [‘]?
5
Consider CSV format
Save as CSV (Common Separated Format)
It’s not about attack, it is a program bug. No matter it is a internal program or a webapp, this is a bug.
6
ABAQUS 线性动态分析 如果你只对结构承受载荷后的长期响应感兴趣，静力分析（static analysis）是足够的。然而，如果加载时间很短（例如在地震中）或者如果载荷在性质上是动态的（例如来自旋转机械的荷载），你就必须采用动态分析（dynamic analysis）。本章将讨论应用ABAQUS/Standard进行线性动态分析；关于应用ABAQUS/Explicit进行非线性动态分析的讨论，请参阅第9章“非线性显式动态分析”。 7.1 引言 动态模拟是将惯性力包含在动力学平衡方程中： +P u M&& I - = 其中 M结构的质量。 u&&结构的加速度。 I在结构中的力。 P 所施加的外力。 在上面公式中的表述是牛顿第二运动定律（F = ma）。 在静态和动态分析之间最主要的区别是在平衡方程中包含了惯性力（M u&&）。在两类模拟之间的另一个区别在于力I的定义。在静态分析中，力仅由结构的变形引起；而在动态分析中，力包括源于运动（例如阻尼）和结构的变形的贡献。 7.1.1 固有频率和模态 最简单的动态问题是在弹簧上的质量自由振动，如图7-1所示。
图7–1 质量－弹簧系统 在弹簧中的力给出为ku ，所以它的动态运动方程为 mu ku P &&+-=0 这个质量－弹簧系统的固有频率（natral frequency ）（单位是弧度/秒（rad/s ））给出为 k m ω= 如果质量块被移动后再释放，它将以这个频率振动。若以此频率施加一个动态外力，位移的幅度将剧烈增加，这种现象即所谓的共振。 实际结构具有大量的固有频率。因此在设计结构时，非常重要的是避免使可能的载荷频率过分接近于固有频率。通过考虑非加载结构（在动平衡方程中令0P =）的动态响应可以确定固有频率。则运动方程变为 Mu I &&+=0 对于无阻尼系统，I Ku =，因此有 Mu Ku &&+=0 这个方程的解具有形式为 t i e u ωφ= 将此式代入运动方程，得到了特征值（eigenvalue ）问题 K M φλφ= 其中2λω=。 该系统具有n 个特征值，其中n 是在有限元模型中的自由度数目。记j λ是第j 个
简介 本文首先介绍了静态代码分析的基本概念及主要技术，随后分别介绍了现有4 种主流Java 静态代码分析工具(Checkstyle，FindBugs，PMD，Jtest)，最后从功能、特性等方面对它们进行分析和比较，希望能够帮助Java 软件开发人员了解静态代码分析工具，并选择合适的工具应用到软件开发中。 引言 在Java 软件开发过程中，开发团队往往要花费大量的时间和精力发现并修改代码缺陷。Java 静态代码分析（static code analysis）工具能够在代码构建过程中帮助开发人员快速、有效的定位代码缺陷并及时纠正这些问题，从而极大地提高软件可靠性并节省软件开发和测试成本。目前市场上的Java 静态代码分析工具种类繁多且各有千秋，因此本文将分别介绍现有4 种主流Java 静态代码分析工具(Checkstyle，FindBugs，PMD，Jtest)，并从功能、特性等方面对它们进行分析和比较，希望能够帮助Java 软件开发人员了解静态代码分析工具，并选择合适的工具应用到软件开发中。
静态代码分析工具简介 什么是静态代码分析 静态代码分析是指无需运行被测代码，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性，找出代码隐藏的错误和缺陷，如参数不匹配，有歧义的嵌套语句，错误的递归，非法计算，可能出现的空指针引用等等。 在软件开发过程中，静态代码分析往往先于动态测试之前进行，同时也可以作为制定动态测试用例的参考。统计证明，在整个软件开发生命周期中，30% 至70% 的代码逻辑设计和编码缺陷是可以通过静态代码分析来发现和修复的。 但是，由于静态代码分析往往要求大量的时间消耗和相关知识的积累，因此对于软件开发团队来说，使用静态代码分析工具自动化执行代码检查和分析，能够极大地提高软件可靠性并节省软件开发和测试成本。 静态代码分析工具的优势 1. 帮助程序开发人员自动执行静态代码分析，快速定位代码隐藏错误和缺陷。 2. 帮助代码设计人员更专注于分析和解决代码设计缺陷。 3. 显著减少在代码逐行检查上花费的时间，提高软件可靠性并节省软件开发和测试成本。
静态分析、比较静态分析和动态分析 经济模型可以被区分为静态模型和动态模型。从分析方法上讲，与静态模型相联系的有静态分析方法和比较静态分析方法，与动态模型相联系的是动态分析方法。 1.静态分析与静态经济学 静态分析法分析经济现象达到均衡时的状态和均衡条件，而不考虑经济现象达到均衡状态的过程。应用静态分析方法的经济学称为静态经济学。 2.比较静态分析 比较静态分析法考察经济现象在初始均衡状态下，因经济变量发生变化以后达到新的均衡状态时的状况。考察的重点是两种均衡状况的比较，而不是达到新均衡的过程。 3.动态分析与动态经济学 动态分析：在假定生产技术、要素禀赋、消费者偏她等因素随时间发生变化的情况下，考察经济活动的发展变化过程。应用动态分析方法的经济学称为动态经济学。 大致说来，在静态模型中，变量所属的时间被抽象掉了，全部变量没有时间先后的差别。因此，在静态分析和比较静态分析中，变量的调整时间被假设为零。例如，在前面的均衡价格决定模型中，所有的外生变量和内生变量都属于同一个时期，或者说，都适用于任何时期。而且，在分析由外生变量变化所引起的内生变量的变化过程中，也假定这种变量的调整时间为零。而在动态模型中，则需要区分变量在时间上的先后差别，研究不同时点上的变量之间的相互关系。根据这种动态模型作出的分析是动态分析。蛛网模型将提供一个动态模型的例子。 由于西方经济学的研究目的往往在于寻找均衡状态，所以，也可以从研究均衡状态的角度来区别和理解静态分析、比较静态分析和动态分析这三种分析方法。所谓静态分析，它是考察在既定的条件下某—经济事物在经济变量的相互作用下所实现的均衡状态。所谓比较静态分析，它是考察当原有的条件或外生变量发生变化时，原有的均衡状态会发生什么变化，并分析比较新旧均衡状态。所谓动态分析，是在引进时间变化序列的基础上，研究不同时点上的变量的相互作用在均衡状态的形成和变化过程中所起的作用，考察在时间变化过程中的均衡状态的实际变化过程。
动词的动态与静态意义及其语法特征 刘淑颖 （西北政法学院法律外语系西安710063） 【摘要】一种语法现象如果从不同角度分析会有全新的理解，从而扩大我们的视野。动态动词和静态动词是英语语法中的两个重要概念。本文从动词的动态意义与静态意义角度入手，以独特的视角全面分析动态动词和静态动词的意义、语法特征及其实际用法，旨在为英语动词的更深入研究提供一些借鉴。 【关键词】动态动词；静态动词；意义；语法 一、动词的动态与静态意义 英语动词根据其语义特征，可分为动态动词(dynamic verb)和静态动词(stativ e verb)。确切地说，实义动词的意义有动态与静态之分。一种语法现象如果从不同角度分析会有全新的理解，从而扩大我们的视野。因此，正确地理解动词的动态和静态意义，熟悉其语法特征，对学好用好英语动词，准确理解英文原意，是非常重要的。 动态动词表示事件的发生、心理活动和从一种状态向另一种状态转变时的动态意义，即表示一种运动状态。动态动词既可用于进行体，也可用于非进行体。动态动词大体分为三类： a）持续性动词（durative verb）：drink，eat，read，write，walk，run，pla y，talk，fly，watch 等。 b）瞬间动词（momentary verb）：leave，go，come，see，arise，break，o pen，meet，close，join，jump，admit，discover等。 c）状态转换动词（transition verb）：become，turn，grow，change，come，go等。 请看一组例子： 1. He is writing a letter to his friend． 2. He closed the windows． 3. The leaves on the tress are turning green． 4. He changed his mind． 通过例2和例3、例4的语义比较可以看出，瞬间动词与状态转换动词的区别是：前者一般没有结果意义，可以在短期内反复重复发生；后者有结果意义，一般不可以在短期内重复发生。此外，通过上述动态动词及其实例分析还可以得出结论，动态动词总体在表示一种运动状态，且绝大多数动词是动态动词。另一方面，动态动词既可用于进行体，也可用于非进行体。 静态动词表示人或事物的存在状态、相互关系、心理活动的结果状态、情感或情绪状态、感觉状态以及身体姿态。简言之，静态动词表示一种相对静止的动词，且常用于非进行体，即一般时态，同时可以将其细化归纳为以下数种类别：
我国利率期限结构的静态分析和动态特征摘要:利率期限结构反映的是利率和到期期限之间的关系。文章利用指数样条法估计出我国上交所国债的利率期限结构，对其进行静态的分析，得到上交所国债利率期限结构统计特征。同时，应用主成分分析方法研究国债利率期限结构的动态特征，发现水平因素、斜度因素和凸度因素对我国国债即期利率曲线变动的解释能力分别达到51．28％、26．63％和10．86％，累计贡献率达到88．77％，不同因素对各个到期期限即期利率的影响程度也有所不同。 关键词:利率期限结构指数样条法主成分分析 一、引言 利率期限结构是某个时点不同期限的利率所组成的一条曲线，它是资产定价、金融产品设计、保值和风险管理、套利以及投机等金融活动的基础。对利率期限结构的估计是资产定价领域一个基础性的研究问题。随着我国债券市场的发展、金融创新的不断深入以及利率市场化进程的逐步推进，利率期限结构问题研究的重要性日益凸现出来。在一个存在零息票债券的市场上，我们通过直接求出这些零息票债券的到期收益率就可以估计出某个时点的利率期限结构并进行分析。但是如果不存在零息票债券或者数量十分有限，那么这种方法就受到很大的限制，中国债券市场就是如此。在中国债券市场上，大部分债券都是息票债券，零息票债券的数量很少。上海证券交易所和银行同业间债券交易市场上交易的国债都是息票债券。因此，我们就不能通过求到期收益率的方法来估计利率期限结构，而只能采取其他的估计方
法。在本文我们使用Vasicek(1982)提出的指数样条估计方法，利用我国上交所2002～2005年国债现货市场的交易数据，估计出我国国债利率期限结构的一个时间序列数据。 有了即期利率这一基准利率曲线，我们就可以用其给国债、公司债以及其他利率金融产品进行定价，为投资者提供投资参考和依据。但是，我们知道，由于各种宏观经济因素及国债市场本身众多的因素处于不断的变动之中，即期利率曲线也在不断的发生着变化。利率的变化会导致利率金融产品尤其是固定收益证券价格的变化。为防止利率的大幅变动对投资者头寸价值的影响，必须对持有头寸进行利率风险管理，利率风险管理的前提是确定利率风险因素。一般把风险因素简单归结为即期利率的平行移动，即各个期限的零息债券到期收益率发生相同的变动时，如何来对债券进行套期保值，也就是通常人们所说的久期保值。一般的风险对冲和套期保值都是针对即期利率平行移动这单一风险因素的，但是利率期限结构曲线经常不是发生平行移动，一般认为，利率曲线的变动模式主要有三种：平行移动(Level shift)、斜向移动(Slope shift)和曲率移动(Curvature shift)。针对不同的曲线移动模式，投资者应当采用不同的投资组合以规避风险。各国的市场环境不一样，利率曲线变动的模式也不尽相同。 二、我国利率期限结构的静态分析 要研究国债的利率期限结构，首先得推导出利率期限结构，从国债的市场价格信息中构建出利率和期限的对应关系。鉴于拟合利率曲线的模型和方法很多，加上我国国债市场自身的特殊性，必须选择适当的
源代码安全要靠谁？ 段晨晖2010-03-04 三款静态源代码安全检测工具比较 1. 概述 随着网络的飞速发展，各种网络应用不断成熟，各种开发技术层出不穷，上网已经成为人们日常生活中的一个重要组成部分。在享受互联网带来的各种方便之处的同时，安全问题也变得越来越重要。黑客、病毒、木马等不断攻击着各种网站，如何保证网站的安全成为一个非常热门的话题。 根据IT研究与顾问咨询公司Gartner统计数据显示，75%的黑客攻击发生在应用层。而由NIST的统计显示92%的漏洞属于应用层而非网络层。因此，应用软件的自身的安全问题是我们信息安全领域最为关心的问题，也是我们面临的一个新的领域，需要我们所有的在应用软件开发和管理的各个层面的成员共同的努力来完成。越来越多的安全产品厂商也已经在考虑关注软件开发的整个流程，将安全检测与监测融入需求分析、概要设计、详细设计、编码、测试等各个阶段以全面的保证应用安全。 对于应用安全性的检测目前大多数是通过测试的方式来实现。测试大体上分为黑盒测试和白盒测试两种。黑盒测试一般使用的是渗透的方法，这种方法仍然带有明显的黑盒测试本身的不足，需要大量的测试用例来进行覆盖，且测试完成后仍无法保证软件是否仍然存在风险。现在白盒测试中源代码扫描越来越成为一种流行的技术，使用源代码扫描产品对软件进行代码扫描，一方面可以找出潜在的风险，从内对软件进行检测，提高代码的安全性，另一方面也可以进一步提高代码的质量。黑盒的渗透测试和白盒的源代码扫描内外结合，可以使得软件的安全性得到很大程度的提高。 源代码分析技术由来已久，Colorado 大学的 Lloyd D. Fosdick 和 Leon J. Osterweil 1976 年的 9 月曾在 ACM Computing Surveys 上发表了著名的 Data Flow Analysis in Software Reliability，其中就提到了数据流分析、状态机系统、边界检测、数据类型验证、控制流分析等技术。随着计算机语言的不断演进，源代码分析的技术也在日趋完善，在不同的细分领域，出现了很多不错的源代码分析产品，如 Klocwork Insight、Rational Software Analyzer 和 Coverity、Parasoft 等公司的产品。而在静态源代码安全分析方面，Fortify 公司和 Ounce Labs 公司的静态代码分析器都是非常不错的产品。对于源代码安全检测领域目前的供应商有很多，这里我们选择其中的三款具有代表性的进行对比，分别是Fortify公司的Fortify SCA，Security Innovation公司的Checkmarx Suite和Armorize 公司的CodeSecure。 2. 工具介绍
９期张健：精确的程序静态分析１５５３ ［３］ＢａｌｌＴ，ＲａｊａｍａｎｉＳＫ．ＴｈｅＳＬＡＭｐｒｏｊｅｃｔｌＤｅｂｕｇｇｉｎｇｓｙｓ—ｔｅｒｎｓｏｆｔｗａｒｅｖｉａｓｔａｔｉｃａｎａＩｙｓｉｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２９ｔｈ ＡＣＭＳｙｍｐｏｓｉｕｍｏｎＰｒｉｎｃｉｐｌｅｓｏｆＰｒｏｇｒａｍｍｉｎｇＬａｎｇｕａｇｅｓ （ＰＯＰＬ２００２）．Ｐｏｒｔｌａｎｄ，ＯＲ，ＵＳＡ，２００２：１－３ ［４］Ｌｅｖ－ＡｍｉＴｅｔａ１．Ｐｕｔｔｉｎｇｓｔａｔｉｃａｎａｌｙｓｉｓｔｏｗｏｒｋｆｏｒｖｅｒｉｆｉｃａ—ｔｉｏｎ：Ａｃａｓｅｓｔｕｄｙ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＩｎｔｅｒｎａｔｉｏｎａｌＳｙｍｐｏ— ｓｉｕｍｏｎＳｏｆｔｗａｒｅＴｅｓｔｉｎｇａｎｄＡｎａｌｙｓｉｓ（ＩＳＳＴＡ２０００）．Ｐｏｒｔ－ ｌａｎｄ。ＯＲ．ＵＳＡ。２０００：２６－３８ ［５３ＺｈａｎｇＪ，ＷａｎｇＸ．Ａｃｏｎｓｔｒａｉｎｔｓｏｌｖｅｒａｎｄｉｔｓａｐｐｌｉｃａｔｉｏｎｔｏｐａｔｈｆｅａｓｉｂｉｌｉｔｙａｎａｌｙｓｉｓ．ＩｎｔｅｒｎａｔｉｏｎａｌＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ ＥｎｇｉｎｅｅｒｉｎｇａｎｄＫｎｏｗｌｅｄｇｅＥｎｇｉｎｅｅｒｉｎｇ，２００１，１１（２）：１３９－ １５６ ［６］ＺｈａｎｇＪ．Ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｏｆｐｒｏｇｒａｍｐａｔｈｓｉｎｖｏｌｖｉｎｇｐｏｉｎｔｅｒａｎｄｓｔｒｕｃｔｕｒｅｖａｒｉａｂｌｅｓ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＱｓＩｃ． Ｂｒａｕｎｓｃｈｗｅｉｇ，Ｇｅｒｍａｎｙ，２００４：８７—９２ ［７］ＫｉｎｇＪＣ．Ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎａｎｄｔｅｓｔｉｎｇ．ＣｏｍｍｕｎｉｃａｔｉｏｎｓｏｆｔｈｅＡＣＭ，１９７６，１９（７）：３８５－３９４ ［８］ＹａｔｅｓＤＦ，ＭａｌｅｖｒｉｓＮ．Ｒｅｄｕｃｉｎｇｔｈｅｅｆｆｅｃｔｓｏｆｉｎｆｅａｓｉｂｌｅｐａｔｈｓｉｎｂｒａｎｃｈｔｅｓｔｉｎｇ．ＡＣＭＳＩＧＳＯＦＴＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒ－ ｉｎｇＮｏｔｅｓ，１９８９，１４（８）：４８—５４ ［９］ＮｇｏＭＮ，ＴａｎＨＢＫ．Ｈｅｕｒｉｓｔｉｃｓ－ｂａｓｅｄｉｎｆｅａｓｉｂｌｅｐａｔｈｄｅ—ｔｅｃｔｉｏｎｆｏｒｄｙｎａｍｉｃｔｅｓｔｄａｔａｇｅｎｅｒａｔｉｏｎ．Ｉｎｆｏｒｍａｔｉｏｎ８ＬＳｏｆｔ— ｗａｒｅＴｅｃｈｎｏｌｏｇｙ，２００８，５０（７－８）ｌ６４１—６５５ ［１０］ＺｈａｎｇＪｅｔａ１．Ｐａｔｈ－ｏｒｉｅｎｔｅｄｔｅｓｔｄａｔａｇｅｎｅｒａｔｉｏｎｕｓｉｎｇｓｙｍ—ｂｏｌｉｃｅｘｅｃｕｔｉｏｎａｎｄｃｏｎｓｔｒａｉｎｔｓｏｌｖｉｎｇｔｅｃｈｎｉｑｕｅｓ／／Ｐｒｏｃｅｅｄ— ｉｎｇｓｏｆｔｈｅ２ｎｄＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＳｏｆｔｗａｒｅＥｎｇｉ－ ｎｅｅｒｉｎｇａｎｄＦｏｒｍａｌＭｅｔｈｏｄｓ（ＳＥＦＭ２００４）．Ｂｅｉｊｉｎｇ。Ｃｈｉｎａ， ＺＨＡＮＧＪｉｕｎ，ｂｏｒｎｉｎ１９６９，ｐｒｏ— ｌｅｓｓｏｒ，Ｐｈ．Ｄ．ｓｕｐｅｒｖｉｓｏｒ．Ｈｉｓｒｅｓｅａｒｃｈ ｉｎｔｅｒｅｓｔｓｉｎｃｌｕｄｅａｕｔｏｍａｔｅｄｒｅａｓｏｎｉｎｇ， ｃｏｎｓｔｒａｉｎｔｓｏｌｖｉｎｇ，ｐｒｏｇｒａｍａｎａｌｙｓｉｓａｎｄ ｓｏｆｔｗａｒｅｔｅｓｔｉｎｇ． Ｂａｃｋｇｒｏｕｎｄ Ｐｒｏｇｒａｍｃｏｒｒｅｃｔｎｅｓｓｈａｓｂｅｅｎａｃｅｎｔｒａｌｉｓｓｕｅｉｎｃｏｍｐｕｔｅｒｓｃｉｅｎｃｅｆｏｒｍａｎｙｄｅｃａｄｅｓ。ａｎｄｉｔｈａｓａｌｓｏｂｅｃｏｍｅａｓｅｒｉｏｕｓｃｏｎｃｅｒｎｆｏｒｓｏｆｔｗａｒｅｅｎｇｉｎｅｅｒｓ．Ｔｏｅｎｓｕｒｅｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｐｒｏｇｒａｍｓ．ｍａｎｙｆｏｒｍａｌｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｓｈａｖｅｂｅｅｎｐｒｏ—ｐｏｓｅｄ，ｂｕｔｔｈｅｙａｒｅｏｆｔｅｎｄｉｆｆｉｃｕｌｔｔｏｕｓｅｉｎｐｒａｃｔｉｃｅ．Ｉｎｉｎ－ｄｕｓｔｒｙ，ｅｎｇｉｎｅｅｒｓｔｙｐｉｃａｌｌｙｒｅｌｙｏｎｔｅｓｔｉｎｇｔｏｆｉｎｄｂｕｇｓ．Ｉｎｃｏｎｔｒａｓｔｔｏｔｈｅａｂｏｖｅｔｗｏｍｅｔｈｏｄｓ，ｓｔａｔｉｃａｎａｌｙｓｉｓｔｅｃｈｎｉｑｕｅｓｔｒｙｔｏｆｉｎｄｓｐｅｃｉｆｉｃｔｙｐｅｓｏｆｂｕｇｓｉｎａｐｒｏｇｒａｍ，ａｕｔｏｍａｔｉｃａｌｌｙａｎｄｅｆｆｉｃｉｅｎｔｌｙ，ｗｉｔｈｏｕｔｒｕｎｎｉｎｇｔｈｅｐｒｏｇｒａｍ．Ｔｏｏｌｓｂａｓｅｄｏｉｌｓｕｃｈｔｅｃｈｎｉｑｕｅｓｈａｖｅｂｅｅｎｑｕｉｔｅｈｅｌｐｆｕｌｔｏｐｒｏｇｒａｍｍｅｒｓ．Ｈｏｗｅｖｅｒ，ｔｏｄｅａｌｗｉｔｈｂｉｇｐｒｏｇｒａｍｓ，ｍｏｓｔｏｆｔｈｅｔｅｃｈｎｉｑｕｅｓｔｒｙｔｏａｂｓｔｒａｃｔａｗａｙｓｏｍｅａｓｐｅｃｔｓｏｆｔｈｅｐｒｏｇｒａｍｗｈｉｃｈａｒｅ ２００４：２４２—２５０ ［１１］ＺｈａｎｇＪ．Ｃｏｎｓｔｒａｉｎｔｓｏｌｖｉｎｇａｎｄｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ／／Ｐｒｏ—ｃｅｅｄｉｎｇｓｏｆｔｈｅＶｓＴＴＥ．Ｚｕｒｉｃｈ，Ｓｗｉｔｚｅｒｌａｎｄ．２００５：５３９—５４４Ｅ１２］ＳｅｎＫ，ＭａｒｉｎｏｖＤ，ＡｇｈａＧ．ＣＵＴＥＩＡｃｏｎｃｏｌｉｃｕｎｉｔｔｅｓｔｉｎｇｅｎｇｉｎｅｆｏｒＣ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅｌＯｔｈＥｕｒｏｐｅａｎＳｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｃｏｎｆｅｒｅｎｃｅａｎｄｔｈｅ１３ｔｈＡＣＭＳＩＧＳｏＦＴＩｎｔｅｒ－ｎａｔｉｏｎａｌＳｙｍｐｏｓｉｕｍｏｎＦｏｕｎｄａｔｉｏｎｓｏｆＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇ （ＥＳＥＣ／ＦＳＥ）．Ｌｉｓｂｏｎ，Ｐｏｒｔｕｇａｌ，２００５Ｉ２６３－２７２ ［１３］ＸｕＺ，ＺｈａｎｇＪ．ＡｔｅｓｔｄａｔａｇｅｎｅｒａｔｉｏｎｔｏｏｌｆｏｒｕｎｉｔｔｅｓｔｉｎｇｏｆＣｐｒｏｇｒａｍｓ／／ＰｒｏｅｅｅｄｉｎｇｓｏｆｔｈｅＱＳＩＣ．Ｂｅｉｊｉｎｇ，Ｃｈｉｎａ， ２００６：１０７－１１６ ［１４］ＺｈａｎｇＪ．Ｑｕａｎｔｉｔａｔｉｖｅａｎａｌｙｓｉｓｏｆｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ（Ｅｘ－ｔｅｎｄｅｄＡｂｓｔｒａｃｔ）／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＣＯＭＰＳＡＣ（ＦａｓｔＡｂ－ ｓｔｒａｃｔｓ）．ＨｏｎｇＫｏｎｇ，Ｃｈｉｎａ，２００４：１８４—１８５ ［１５］ＢｅｈｌｅＭ，ＥｉｓｅｎｂｒａｎｄＦ．０／１ｖｅｒｔｅｘａｎｄｆａｃｅｔｅｎｕｍｅｒａｔｉｏｎｗｉｔｈＢＤＤｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ９ｔｈＷｏｒｋｓｈｏｐ０ｎＡｌｇｏｒｉｔｈｍ ＥｎｇｉｎｅｅｒｉｎｇａｎｄＥｘｐｅｒｉｍｅｎｔｓ（ＡＬＥＮＥＸ’０７）．ＮｅｗＯｒｌｅａｎｓ， ＬＡ，ＵＳＡ，２００７：１５８－１６５ ［１６］ＷａｎｇＬｉ，ＹａｎｇＸｕｅ—Ｊｕｎ，ＷａｎｇＪｉ，ＬｕｏＹｕ．Ａｕｔｏｍａｔｅｄｌｙｃｈｅｃｋｉｎｇｆｕｎｃｔｉｏｎｅｘｅｃｕｔｉｏｎｃｏｎｔｅｘｔｏｆｋｅｒｎｅｌｐｒｏｇｒａｍｓｉｎｏｐ－ ｅｒａｔｉｏｎｓｙｓｔｅｍｓ．ＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ，２００７，１８（４）ｌ１０５６－ １０６７（ｉｎＣｈｉｎｅｓｅ） （汪黎，杨学军，王戟，罗宇．操作系统内核程序函数执行上下 文的自动检验．软件学报，２００７，１８（４）：１０５６－１０６７） ［１７］Ｘｕｚ，ＺｈａｎｇＪｉａｎ．Ｐａｔｈａｎｄｃｏｎｔｅｘｔｓｅｎｓｉｔｉｖｅｉｎｔｅｒ－ｐｒｏｃｅｄｕｒ－ａｉｍｅｍｏｒｙｌｅａｋｄｅｔｅｃｔｉｏｎ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＱＳＩＣ２００８． Ｏｘｆｏｒｄ。ＵＫ．２００８：４１２．４２０． ｎｏｔＳＯｒｅｌｅｖａｎｔ．Ｔｈｉｓｍａｙｂｒｉｎｇｖａｒｉｏｕｓｋｉｎｄｓｏｆｆａｌｓｅｗａｒｎ－ｉｎｇｓ．Ｔｈｉｓｐａｐｅｒｃｏｍｐａｒｅｓｓｏｍｅｏｆｔｈｅｓｅｔｅｃｈｎｉｑｕｅｓ，ａｎｄａｒ－ｇｕｅｓｔｈａｔｗｅｓｈｏｕｌｄｐａｙｍｏｒｅａｔｔｅｎｔｉｏｎｔｏｍｏｒｅａｄｖａｎｃｅｄ，ｍｏｒｅａｃｃｕｒａｔｅａｎａｌｙｓｉｓｍｅｔｈｏｄｓ．Ａｓａｎｅｘａｍｐｌｅｏｆｓｕｃｈｍｅｔｈｏｄｓ．ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｉｓｄｅｓｃｒｉｂｅｄｉｎｄｅｔａｉｌ．Ｗｅｂｅ—ｌｉｅｖｅｔｈａｔｉｔｉｓａｐｒｏｍｉｓｉｎｇｗａｙｏｆａｎａｌｙｚｉｎｇｐｒｏｇｒａｍｓａｃｃｕ－ｒａｔｅｌｙ．Ｓｏｍｅｒｅｓｅａｒｃｈｉｓｓｕｅｓａｒｅａｌｓｏｄｉｓｃｕｓｓｅｄ． ＴｈｉｓｗｏｒｋｉｓｐａｒｔｉａｌｌｙｓｕｐｐｏｒｔｅｄｂｙｔｈｅＮａｔｉｏｎａｌＮａｔｕｒａｌＳｃｉｅｎｃｅＦｏｕｎｄａｔｉｏｎｏｆＣｈｉｎａ（ＮＳＦＣ）ｕｎｄｅｒｇｒａｎｔＮｏ．６０６７３０４４ａｎｄＮｏ．６０６３３０１０，ａｎｄｂｙｔｈｅＮａｔｉｏｎａｌＨｉｇｈ—ＴｅｃｈＰｒｏｇｒａｍ（８６３）ｕｎｄｅｒｇｒａｎｔ Ｎｏ．２００６ＡＡ０１２４０２．
第四章 动态分析方法 习题答案 一、名词解释 用规范性的语言解释统计学中的名词。 1. 动态数列：是将某种现象的指标数值按时间先后顺序排列而成的统计数列。 2. 平均发展水平：是将不同时期的发展水平加以平均而得到的平均数。 3. 增长量：是说明社会经济现象在一定时期内所增长的绝对数量。 4. 平均发展速度：是各个时期环比发展速度的序时平均数。 5. 长期趋势：是研究某种现象在一个相当长的时期内持续向上或向下发展变动的趋势。 6. 季节变动：是由自然季节变化和社会习俗等因素引起的有规律的周期性波动。 二、填空题 根据下面提示的内容，将适宜的名词、词组或短语填入相应的空格之中。 1. 时间、指标数值 2. 绝对数动态数列、相对数动态数列，平均数动态数列，绝对数动态数列，派生。 3. 时间数列，时间数列。 4. 最初水平，最末水平，中间各项水平；报告期水平，期间水平。 5. 逐期、累计。 6. 报告期水平；定基发展速度，环比发展速度。 7. 35.24%。 8. 某一固定时期水平，总的发展程度。 9. 增长量，基期发展水平；环比增长速度。 10. 几何平均法，方程法。 11. 1200459 5 12. （205%×306.8%）-1 13. 长期趋势，季节变动，循环变动，不规则变动。 14. 季节比率。 15. 按月（季）平均法 16. 若干年、转折点。 17. 随机因素和偶然因素。
18. 逐期增长量。 19. 数列的中间位置。 20. 各期的二级增长量。 三、单项选择 从各题给出的四个备选答案中，选择一个最佳答案，填入相应的括号中。 1. B 2. B 3. D 4. B 5. B 6. C 7. C 8. D 9. B 10. A 11. A 12. B 13. D 14. B 15. C 四、多项选择 从各题给出的四个备选答案中，选择一个或多个正确的答案，填入相应的括号中。 1. ABCD 2. AC 3. AC 4. AC 5. ABD 6. BD 7. AD 8. ACD 9. AB 10. ABCD 五、判断改错 对下列命题进行判断，在正确命题的括号内打“√”；在错误命题的括号内打“×”，并在错误的地方下划一横线，将改正后的内容写入题下空白处。 1. 时期指标与时点指标都是通过连续登记的方式取得统计资料的。（×） 时点指标是通过一次性登记方式取得资料 2. 增长量指标反映社会经济现象报告期比基期增长（或减少）的绝对量。（√） 3. 相邻两个时期的累计增长量之差，等于相应时期的逐期增长量。（√） 4. 累计增长量等于相应时期逐期增长量之和。（√） 5. 环比发展速度的连乘积等于定基发展速度，相邻两个时期的定基发展速度之和等于环比发展速度。（×） 之比 6. 增长1%的绝对值可以用增长量除以增长速度求得，也可以用基期水平除以100求得。（×） （增长量除以增长速度）/100
《现代软件测试基础》教案 第七章软件静态测试 课时1 (45分钟) (2) 1.回顾上一章: [5分钟] (2) 2.课程知识点讲解： (2) 2.1.具体知识点1：[5分钟] (2) 2.2.具体知识点2：[10分钟] (3) 2.3.具体知识点3：[20分钟] (3) 3.本节总结[5分钟] (3) 4.考核点 (4) 5.测试题 (4) 6.扩展部分 (4) 7.学员问题汇总 (4) 8.作业 (4) 课时2（45分钟） (4) 9.回顾上一节: [5分钟] (5) 10.课程知识点讲解： (5) 10.1.具体知识点1：[10分钟] (5) 10.2.具体知识点2：[15分钟] (5) 10.3.具体知识点3：[10分钟] (5) 11.本节总结[5分钟] (5) 12.考核点 (5) 13.测试题 (5) 14.扩展部分 (6) 15.学员问题汇总 (6) 16.作业 (6) 授课教师：XXX 讲授课时：1.5课时 上机课时：0课时 作业评讲: 0课时
课时1 (45分钟) 第七章软件静态测试 ●本章主要目的 ?介绍静态测试的相关知识和概念 ?讲解各阶段评审的要求和流程 ?讲解代码检查的要求和方法 ?讲解软件复杂性分析的方法 ?讲解软件质量度量模型及方法 ?讲解软件质量管理 ?介绍惠普静态分析工具HP FortifySCA ●本章重点 ?各阶段评审 ?代码检查 ?软件复杂性分析 ?软件质量度量 ?惠普静态分析工具HP FortifySCA ●本章难点 ?软件复杂性分析 ?软件质量模型 1.回顾上一章: [5分钟] 简单回顾软件测试过程及软件测试过程管理概念，然后引入软件静态测试。 2.课程知识点讲解： 2.1.具体知识点1：[5分钟] 软件静态测试：软件静态测试的概念、特点、对象以及软件静态测试的主要内容。 ●知识点讲解 导入：我们都知道软件测试有很多种，那么什么是软件静态测试呢？接着阐述软件静态测试的概念。为什么要引入软件静态测试？介绍引入静态测试的目的以及阐述静态测试的特点。软件静态测试主要包含哪些内容（简单介绍，后面会详细展开）？