论道：软件安全 —静态、动态程序分析技术
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
Numeric Field Injection
select * from item where account = ‘gary' and sku_id = 1234 No need to quote numbers
Fixing SQL Injection: Escaping
name ? gary sku_id ? 1234 or 1=1
After escaped, no change name ? gary sku_id ? 1234 or 1=1
select * from item where account = ‘$name' and sku_id = $sku_id
Numeric Field Injection
select * from item where account = ‘gary' and sku_id = 1234 or 1=1 No need to have apostrophe
XSS: 3 types of Escape functions
1. Inside HTML
2
<%= data %>
9<%= HTMLEscape(data) %>
Validate against what?
If this is a bug, fix it. Don’t rely on frontend to protect you!
Validation should be Age > 0 and Age < 120
Add2age.jsp Age 1: Age 2: In1
In1/In2 - Can’t be longer than 10 bytes - Can’t be negative
Addition
In2 Syntactic Check
Out
Calculate
Semantic Check Total:
WHAT WE SHOULD DO
12
Today - Validating the Problem
software development
business requirements planning design & coding test
Minimal Security Activities
production operations
Host & Perimeter Security
production audit / penetration test
Alarming Security Findings!
13
Security in the Development Lifecycle
Plan
Build
Test
Field
? Firewalls ? Intrusion Detection ? Penetration Testing
静态代码分析 一、什么是静态代码分析 静态代码分析是指无需运行被测代码，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性，找出代码隐藏的错误和缺陷，如参数不匹配，有歧义的嵌套语句，错误的递归，非法计算，可能出现的空指针引用等等。 在软件开发过程中，静态代码分析往往先于动态测试之前进行，同时也可以作为制定动态测试用例的参考。统计证明，在整个软件开发生命周期中，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/46293687.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
软件安全性浅析 前言 现今，软件安全性已成为一个越来越不容忽视的问题，提起它，人们往往会想起一连串专业性名词：“系统安全性参数”、“软件事故率”、“软件安全可靠度”、“软件安全性指标”等等，它们可能出现在强制的规范性文档中的频率比较多，但却不一定能在开发过程中吸引开发者的眼球。几乎每一个程序员都或多或少的在项目维护时遭遇过自己软件的安全性bug，这种经历使我们有幸在一个设计严谨而又性能良好的系统平台上工作时，我们都会对其大为感叹：“那真是一段很棒的代码！”这是因为，专业的软件设计开发人员会重视软件的安全性，不仅仅把它当做是书面字眼。在这里本文将通过对软件安全性概念的引入，以及对软件安全性各阶段的任务的介绍和如何通过软件测试来验证是否完成了软件安全性目标，较全面的阐述软件安全性对软件质量起的重要作用。首先，我们从加固对软件安全性的认识开始。 一、软件安全性分析的重要性 “安全性分析”（safety analysis）是一种系统性的分析，应在研发过程的早期开始进行，用于确定产品在每一个使用模式中执行其功能的方式，识别潜在的危险，预计这些危险对人员及（或）设备可能造成的损害，并确定消除危险的方法。其中一项重要内容是“软件安全性分析”，这是对软件程序进行的一种分析，以保证程序在其设计的运行环境中，不会引起（或可以容忍的小概率引起）或诱发对人员或设备的危害。例如多级火箭一级点火、二级点火指令如果错了，火箭就会失败。但只要对火箭指令及传递机构采取足够的防错设计，错发指令的概率就可以小到能容忍的程度。
在软件和信息系统的开发过程中，由于技术难度高，项目复杂，开发周期短而带来的一系列困难，潜伏安全性隐患的几率其实是很大的。现代化的软件本身变得越来越复杂，开发一个软件产品或一个大型系统所需要依靠的技术也越来越多样化，需要考虑的问题也越来越多，例如，我们需要在研发开始前就确定好软件系统能够承受的出事概率。很多软件开发的组织由于没有掌握和利用必要的控制软件安全性的技术，无法妥善解决相应的问题，把时间耗费在事后补救上，使得开发的效率大为降低，产品的质量大打折扣，甚至因为某个关键错误的发生，导致产品的信誉度降低，更严重的结果则会导致生命财产安全的损失。如果你发现有关安全性的要求已经出现在安全相关软件的合同书或任务书中，并提出软件安全性分析的范围和要求，那么说明你们已经开始了进行软件安全性分析的准备。 二、软件安全性分析的指导原则 我们将软件安全性分析作为一项目标明确的项目去做，从管理的角度分为五个阶段，每个阶段有不同的任务需要完成。如下图： 启动和范围确定：在安全相关软件的合同或任务书中应提出软件安全性分析的范围和要求。实施方明确责任，管理者检查必备的资源（包括人员、技术、基础设施和时间安排），确保软件安全性分析的开展； 策划：软件安全性分析管理者应制定安全性分析计划，该计划可作为所属软件过程或活动的计划的一部分。 执行和控制：管理者应监控由软件安全性分析计划规定的任务的执行。管理者应控制安全性分析进展并对发现的问题进行调查、分析和解决（解决方案有可能导致计划变更）。
《统计学概论》练习二 一、判断题 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、简述品质标志与数量标志的区别
如何做好软件安全测试 近来，在我负责的公司某软件产品的最后测试工作，常常被问到这样一个问题：在做测试过程中，我们的软件产品在安全性方面考虑了多少?应该如何测评一个软件到底有多安全? 这个软件因为涉及客户商业上重要的信息资料，因此用户关心的核心问题始终围绕“这个软件安全吗”。一个由于设计导致的安全漏洞和一个由于实现导致的安全漏洞，对用户的最终影响都是巨大的。我的任务就是确保这个软件在安全性方面能满足客户期望。 什么是软件安全性测试 (1)什么是软件安全 软件安全属于软件领域里一个重要的子领域。在以前的单机时代，安全问题主要是操作系统容易感染病毒，单机应用程序软件安全问题并不突出。但是自从互联网普及后，软件安全问题愈加显加突显，使得软件安全性测试的重要性上升到一个前所未有的高度。 软件安全一般分为两个层次，即应用程序级别的安全性和操作系统级别的安全性。应用程序级别的安全性，包括对数据或业务功能的访问，在预期的安全性情况下，操作者只能访问应用程序的特定功能、有限的数据等。操作系统级别的安全性是确保只有具备系统平台访问权限的用户才能访问，包括对系统的登录或远程访问。 本文所讲的软件安全主要是应用程序层的安全，包括两个层面：①是应用程序本身的安全性。一般来说，应用程序的安全问题主要是由软件漏洞导致的，这些漏洞可以是设计上的缺陷或是编程上的问题，甚至是开发人员预留的后门。②是应用程序的数据安全，包括数据存储安全和数据传输安全两个方面。 (2)软件安全性测试 一般来说，对安全性要求不高的软件，其安全性测试可以混在单元测试、集成测试、系统测试里一起做。但对安全性有较高需求的软件，则必须做专门的安全性测试，以便在破坏之前预防并识别软件的安全问题。 安全性测试(Security Testing)是指有关验证应用程序的安全等级和识别潜在安全性缺陷的过程。应用程序级安全测试的主要目的是查找软件自身程序设计中存在的安全隐患，并检查应用程序对非法侵入的防范能力, 根据安全指标不同测试策略也不同。注意：安全性测试并不最终证明应用程序是安全的，而是用于验证所设立策略的有效性，这些对策是基于威胁分析阶段所做的假设而选择的。例如，测试应用软件在防止非授权的内部或外部用户的访问或故意破坏等情况时的运作。 软件安全性测试过程 (1)安全性测试方法 有许多的测试手段可以进行安全性测试，目前主要安全测试方法有：
工程经济 一、投资回收期（静态、动态） 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 表示基准投资率。 例：某工程有四个实施方案可供选择，各方案的应用环境相同。四个
1概述 1.1安全评估目的 随着信息化的发展，政府部门、金融机构、企事业单位等对信息系统依赖程度的日益增强，信息安全问题受到普遍关注。对信息系统软件进行安全测评，综合分析系统测试过程中有关现场核查、技术测试以及安全管理体系评估的结果，对其软件系统安全要求符合性和安全保障能力作出综合评价，提出相关改进建议，并在系统整改后进行复测确认。以确保信息系统的安全保护措施符合相应安全等级的基本安全要求。 根据最新的统计结果，超过70%的安全漏洞出现在应用层而不是网络层。而且不只发生在操作系统或者web浏览器，而发生在各种应用程序中-特别是关键的业务系统中。因此，有必要针对xxx系统应用软件进行安全风险评估，根据评估结果，预先采取防范措施，预防或缓解各种可能出现的信息数据安全风险。 安全评估要求 XXXXXXXX 软件安全评估具体需求 安全评估指导原则 软件安全风险评估作为一项目标明确的项目，应分为以下五个阶段，每个阶段有不同的任务需要完成。 1、启动和范围确定：在安全相关软件的合同或任务书中应提出软件安全性分析的范围和要求。实施方明确责任，管理者检查必备的资源（包括人员、技术、基础设施和时间安排），确保软件安全性分析的开展； 2、策划：软件安全性分析管理者应制定安全性分析计划，该计划可作为所属软件过程或活动的计划的一部分。 3、执行和控制：管理者应监控由软件安全性分析计划规定的任务的执行。管理者应控制安全性分析进展并对发现的问题进行调查、分析和解决（解决方案有可能导致计划变更）。 4、评审和评价：管理者应对安全性分析及其输出的软件产品进行评价，以便使软件安全性分析达到目标，完成计划。 5、结束：管理者应根据合同或任务书中的准则，确定各项软件安全性分析任务是否完成，并核查软件安全性分析中产生的产品和记录是否完整。 安全评估主要任务 根据安全评估指导原则，为尽量发现系统的安全漏洞，提高系统的安全标准，在具体的软件安全评估过程中，应该包含但不限于以下七项任务： 软件需求安全性分析 需要对分配给软件的系统级安全性需求进行分析，规定软件的安全性需求，保证规定必要的软件安全功能和软件安全完整性。
简介 本文首先介绍了静态代码分析的基本概念及主要技术，随后分别介绍了现有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.动态分析与动态经济学 动态分析：在假定生产技术、要素禀赋、消费者偏她等因素随时间发生变化的情况下，考察经济活动的发展变化过程。应用动态分析方法的经济学称为动态经济学。 大致说来，在静态模型中，变量所属的时间被抽象掉了，全部变量没有时间先后的差别。因此，在静态分析和比较静态分析中，变量的调整时间被假设为零。例如，在前面的均衡价格决定模型中，所有的外生变量和内生变量都属于同一个时期，或者说，都适用于任何时期。而且，在分析由外生变量变化所引起的内生变量的变化过程中，也假定这种变量的调整时间为零。而在动态模型中，则需要区分变量在时间上的先后差别，研究不同时点上的变量之间的相互关系。根据这种动态模型作出的分析是动态分析。蛛网模型将提供一个动态模型的例子。 由于西方经济学的研究目的往往在于寻找均衡状态，所以，也可以从研究均衡状态的角度来区别和理解静态分析、比较静态分析和动态分析这三种分析方法。所谓静态分析，它是考察在既定的条件下某—经济事物在经济变量的相互作用下所实现的均衡状态。所谓比较静态分析，它是考察当原有的条件或外生变量发生变化时，原有的均衡状态会发生什么变化，并分析比较新旧均衡状态。所谓动态分析，是在引进时间变化序列的基础上，研究不同时点上的变量的相互作用在均衡状态的形成和变化过程中所起的作用，考察在时间变化过程中的均衡状态的实际变化过程。
论道：软件安全 —静态、动态程序分析技术
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
第四章 动态分析方法 习题答案 一、名词解释 用规范性的语言解释统计学中的名词。 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、静态测试 所谓静态测试（static testing）就是不实际运行被测软件，而只是静态地检查程序代码、界面或文档中可能存在的错误的过程。 从概念中我们可以知道，其包括对代码测试、界面测试和文档测试三个方面：对于代码测试，主要测试代码是否符合相应的标准和规范；对于界面测试，主要测试软件的实际界面与需求中的说明是否相符；对于文档测试，主要测试用户手册和需求说明是否符合用户的实际需求。静态测试包括对软件产品的设计规格说明书的审查，对程序代码的阅读、审查等。静态分析的查错和分析功能是其他方法所不能替代的，已被当作一种自动化的代码校验方法。 静态方法是指不运行被测程序本身，仅通过分析或检查源程序的文法、结构、过程、接口等来检查程序的正确性。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。 通常静态测试包括：（1）代码检查：代码会审、代码走查、桌面检查；（2）静态结构分析；（3）代码质量度量。 静态测试采用人工检测和计算机辅助静态分析手段进行检测，只进行特性分析。 ●人工检测：人工检测是指不依靠计算机而完全靠人工审查或评审软件。人工检测这种方法可以有效地发现逻辑设计和编码错误，发现计算机不易发现的问题。 ●计算机辅助静态分析：利用静态分析工具对被测程序进行特性分析，从程序中提取一些信息，以便检查程序逻辑的各种缺陷和可疑的程序构造。如用错的局部变量和全局变量，不匹配的参数，潜在的死循环等。静态分析中还可以用符号代替数值求得程序结果，以便对程序进行运算规律的检验。 2、动态测试 动态测试（dynamic testing），指的是实际运行被测程序，输入相应的测试数据，检查实际输出结果和预期结果是否相符的过程，所以判断一个测试属于动态测试还是静态的，唯一的标准就是看是否运行程序。 动态方法是指通过运行被测程序，检查运行结果与预期结果的差异，并分析运行效率和健壮性等性能，这种方法由三部分组成：构造测试实例、执行程序、分析程序的输出结果。 动态测试是通过观察代码运行时的动作，来提供执行跟踪、时间分析，以及测试覆盖度方面的信息。 通常动态测试包括：（1）黑盒测试：又称功能测试。这种方法把被测软件看成黑盒，在不考虑软件内部结构和特性的情况下测试软件的外部特性。（2）白盒测试：又称结构测试。
９期张健：精确的程序静态分析１５５３ ［３］ＢａｌｌＴ，ＲａｊａｍａｎｉＳＫ．ＴｈｅＳＬＡＭｐｒｏｊｅｃｔｌＤｅｂｕｇｇｉｎｇｓｙｓ—ｔｅｒｎｓｏｆｔｗａｒｅｖｉａｓｔａｔｉｃａｎａＩｙｓｉｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２９ｔｈ ＡＣＭＳｙｍｐｏｓｉｕｍｏｎＰｒｉｎｃｉｐｌｅｓｏｆＰｒｏｇｒａｍｍｉｎｇＬａｎｇｕａｇｅｓ （ＰＯＰＬ２００２）．Ｐｏｒｔｌａｎｄ，ＯＲ，ＵＳＡ，２００２：１－３ ［４］Ｌｅｖ－ＡｍｉＴｅｔａ１．Ｐｕｔｔｉｎｇｓｔａｔｉｃａｎａｌｙｓｉｓｔｏｗｏｒｋｆｏｒｖｅｒｉｆｉｃａ—ｔｉｏｎ：Ａｃａｓｅｓｔｕｄｙ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＩｎｔｅｒｎａｔｉｏｎａｌＳｙｍｐｏ— ｓｉｕｍｏｎＳｏｆｔｗａｒｅＴｅｓｔｉｎｇａｎｄＡｎａｌｙｓｉｓ（ＩＳＳＴＡ２０００）．Ｐｏｒｔ－ ｌａｎｄ。ＯＲ．ＵＳＡ。２０００：２６－３８ ［５３ＺｈａｎｇＪ，ＷａｎｇＸ．Ａｃｏｎｓｔｒａｉｎｔｓｏｌｖｅｒａｎｄｉｔｓａｐｐｌｉｃａｔｉｏｎｔｏｐａｔｈｆｅａｓｉｂｉｌｉｔｙａｎａｌｙｓｉｓ．ＩｎｔｅｒｎａｔｉｏｎａｌＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ ＥｎｇｉｎｅｅｒｉｎｇａｎｄＫｎｏｗｌｅｄｇｅＥｎｇｉｎｅｅｒｉｎｇ，２００１，１１（２）：１３９－ １５６ ［６］ＺｈａｎｇＪ．Ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｏｆｐｒｏｇｒａｍｐａｔｈｓｉｎｖｏｌｖｉｎｇｐｏｉｎｔｅｒａｎｄｓｔｒｕｃｔｕｒｅｖａｒｉａｂｌｅｓ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＱｓＩｃ． Ｂｒａｕｎｓｃｈｗｅｉｇ，Ｇｅｒｍａｎｙ，２００４：８７—９２ ［７］ＫｉｎｇＪＣ．Ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎａｎｄｔｅｓｔｉｎｇ．ＣｏｍｍｕｎｉｃａｔｉｏｎｓｏｆｔｈｅＡＣＭ，１９７６，１９（７）：３８５－３９４ ［８］ＹａｔｅｓＤＦ，ＭａｌｅｖｒｉｓＮ．Ｒｅｄｕｃｉｎｇｔｈｅｅｆｆｅｃｔｓｏｆｉｎｆｅａｓｉｂｌｅｐａｔｈｓｉｎｂｒａｎｃｈｔｅｓｔｉｎｇ．ＡＣＭＳＩＧＳＯＦＴＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒ－ ｉｎｇＮｏｔｅｓ，１９８９，１４（８）：４８—５４ ［９］ＮｇｏＭＮ，ＴａｎＨＢＫ．Ｈｅｕｒｉｓｔｉｃｓ－ｂａｓｅｄｉｎｆｅａｓｉｂｌｅｐａｔｈｄｅ—ｔｅｃｔｉｏｎｆｏｒｄｙｎａｍｉｃｔｅｓｔｄａｔａｇｅｎｅｒａｔｉｏｎ．Ｉｎｆｏｒｍａｔｉｏｎ８ＬＳｏｆｔ— ｗａｒｅＴｅｃｈｎｏｌｏｇｙ，２００８，５０（７－８）ｌ６４１—６５５ ［１０］ＺｈａｎｇＪｅｔａ１．Ｐａｔｈ－ｏｒｉｅｎｔｅｄｔｅｓｔｄａｔａｇｅｎｅｒａｔｉｏｎｕｓｉｎｇｓｙｍ—ｂｏｌｉｃｅｘｅｃｕｔｉｏｎａｎｄｃｏｎｓｔｒａｉｎｔｓｏｌｖｉｎｇｔｅｃｈｎｉｑｕｅｓ／／Ｐｒｏｃｅｅｄ— ｉｎｇｓｏｆｔｈｅ２ｎｄＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＳｏｆｔｗａｒｅＥｎｇｉ－ ｎｅｅｒｉｎｇａｎｄＦｏｒｍａｌＭｅｔｈｏｄｓ（ＳＥＦＭ２００４）．Ｂｅｉｊｉｎｇ。Ｃｈｉｎａ， ＺＨＡＮＧＪｉｕｎ，ｂｏｒｎｉｎ１９６９，ｐｒｏ— ｌｅｓｓｏｒ，Ｐｈ．Ｄ．ｓｕｐｅｒｖｉｓｏｒ．Ｈｉｓｒｅｓｅａｒｃｈ ｉｎｔｅｒｅｓｔｓｉｎｃｌｕｄｅａｕｔｏｍａｔｅｄｒｅａｓｏｎｉｎｇ， ｃｏｎｓｔｒａｉｎｔｓｏｌｖｉｎｇ，ｐｒｏｇｒａｍａｎａｌｙｓｉｓａｎｄ ｓｏｆｔｗａｒｅｔｅｓｔｉｎｇ． Ｂａｃｋｇｒｏｕｎｄ Ｐｒｏｇｒａｍｃｏｒｒｅｃｔｎｅｓｓｈａｓｂｅｅｎａｃｅｎｔｒａｌｉｓｓｕｅｉｎｃｏｍｐｕｔｅｒｓｃｉｅｎｃｅｆｏｒｍａｎｙｄｅｃａｄｅｓ。ａｎｄｉｔｈａｓａｌｓｏｂｅｃｏｍｅａｓｅｒｉｏｕｓｃｏｎｃｅｒｎｆｏｒｓｏｆｔｗａｒｅｅｎｇｉｎｅｅｒｓ．Ｔｏｅｎｓｕｒｅｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｐｒｏｇｒａｍｓ．ｍａｎｙｆｏｒｍａｌｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｓｈａｖｅｂｅｅｎｐｒｏ—ｐｏｓｅｄ，ｂｕｔｔｈｅｙａｒｅｏｆｔｅｎｄｉｆｆｉｃｕｌｔｔｏｕｓｅｉｎｐｒａｃｔｉｃｅ．Ｉｎｉｎ－ｄｕｓｔｒｙ，ｅｎｇｉｎｅｅｒｓｔｙｐｉｃａｌｌｙｒｅｌｙｏｎｔｅｓｔｉｎｇｔｏｆｉｎｄｂｕｇｓ．Ｉｎｃｏｎｔｒａｓｔｔｏｔｈｅａｂｏｖｅｔｗｏｍｅｔｈｏｄｓ，ｓｔａｔｉｃａｎａｌｙｓｉｓｔｅｃｈｎｉｑｕｅｓｔｒｙｔｏｆｉｎｄｓｐｅｃｉｆｉｃｔｙｐｅｓｏｆｂｕｇｓｉｎａｐｒｏｇｒａｍ，ａｕｔｏｍａｔｉｃａｌｌｙａｎｄｅｆｆｉｃｉｅｎｔｌｙ，ｗｉｔｈｏｕｔｒｕｎｎｉｎｇｔｈｅｐｒｏｇｒａｍ．Ｔｏｏｌｓｂａｓｅｄｏｉｌｓｕｃｈｔｅｃｈｎｉｑｕｅｓｈａｖｅｂｅｅｎｑｕｉｔｅｈｅｌｐｆｕｌｔｏｐｒｏｇｒａｍｍｅｒｓ．Ｈｏｗｅｖｅｒ，ｔｏｄｅａｌｗｉｔｈｂｉｇｐｒｏｇｒａｍｓ，ｍｏｓｔｏｆｔｈｅｔｅｃｈｎｉｑｕｅｓｔｒｙｔｏａｂｓｔｒａｃｔａｗａｙｓｏｍｅａｓｐｅｃｔｓｏｆｔｈｅｐｒｏｇｒａｍｗｈｉｃｈａｒｅ ２００４：２４２—２５０ ［１１］ＺｈａｎｇＪ．Ｃｏｎｓｔｒａｉｎｔｓｏｌｖｉｎｇａｎｄｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ／／Ｐｒｏ—ｃｅｅｄｉｎｇｓｏｆｔｈｅＶｓＴＴＥ．Ｚｕｒｉｃｈ，Ｓｗｉｔｚｅｒｌａｎｄ．２００５：５３９—５４４Ｅ１２］ＳｅｎＫ，ＭａｒｉｎｏｖＤ，ＡｇｈａＧ．ＣＵＴＥＩＡｃｏｎｃｏｌｉｃｕｎｉｔｔｅｓｔｉｎｇｅｎｇｉｎｅｆｏｒＣ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅｌＯｔｈＥｕｒｏｐｅａｎＳｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｃｏｎｆｅｒｅｎｃｅａｎｄｔｈｅ１３ｔｈＡＣＭＳＩＧＳｏＦＴＩｎｔｅｒ－ｎａｔｉｏｎａｌＳｙｍｐｏｓｉｕｍｏｎＦｏｕｎｄａｔｉｏｎｓｏｆＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇ （ＥＳＥＣ／ＦＳＥ）．Ｌｉｓｂｏｎ，Ｐｏｒｔｕｇａｌ，２００５Ｉ２６３－２７２ ［１３］ＸｕＺ，ＺｈａｎｇＪ．ＡｔｅｓｔｄａｔａｇｅｎｅｒａｔｉｏｎｔｏｏｌｆｏｒｕｎｉｔｔｅｓｔｉｎｇｏｆＣｐｒｏｇｒａｍｓ／／ＰｒｏｅｅｅｄｉｎｇｓｏｆｔｈｅＱＳＩＣ．Ｂｅｉｊｉｎｇ，Ｃｈｉｎａ， ２００６：１０７－１１６ ［１４］ＺｈａｎｇＪ．Ｑｕａｎｔｉｔａｔｉｖｅａｎａｌｙｓｉｓｏｆｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ（Ｅｘ－ｔｅｎｄｅｄＡｂｓｔｒａｃｔ）／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＣＯＭＰＳＡＣ（ＦａｓｔＡｂ－ ｓｔｒａｃｔｓ）．ＨｏｎｇＫｏｎｇ，Ｃｈｉｎａ，２００４：１８４—１８５ ［１５］ＢｅｈｌｅＭ，ＥｉｓｅｎｂｒａｎｄＦ．０／１ｖｅｒｔｅｘａｎｄｆａｃｅｔｅｎｕｍｅｒａｔｉｏｎｗｉｔｈＢＤＤｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ９ｔｈＷｏｒｋｓｈｏｐ０ｎＡｌｇｏｒｉｔｈｍ ＥｎｇｉｎｅｅｒｉｎｇａｎｄＥｘｐｅｒｉｍｅｎｔｓ（ＡＬＥＮＥＸ’０７）．ＮｅｗＯｒｌｅａｎｓ， ＬＡ，ＵＳＡ，２００７：１５８－１６５ ［１６］ＷａｎｇＬｉ，ＹａｎｇＸｕｅ—Ｊｕｎ，ＷａｎｇＪｉ，ＬｕｏＹｕ．Ａｕｔｏｍａｔｅｄｌｙｃｈｅｃｋｉｎｇｆｕｎｃｔｉｏｎｅｘｅｃｕｔｉｏｎｃｏｎｔｅｘｔｏｆｋｅｒｎｅｌｐｒｏｇｒａｍｓｉｎｏｐ－ ｅｒａｔｉｏｎｓｙｓｔｅｍｓ．ＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ，２００７，１８（４）ｌ１０５６－ １０６７（ｉｎＣｈｉｎｅｓｅ） （汪黎，杨学军，王戟，罗宇．操作系统内核程序函数执行上下 文的自动检验．软件学报，２００７，１８（４）：１０５６－１０６７） ［１７］Ｘｕｚ，ＺｈａｎｇＪｉａｎ．Ｐａｔｈａｎｄｃｏｎｔｅｘｔｓｅｎｓｉｔｉｖｅｉｎｔｅｒ－ｐｒｏｃｅｄｕｒ－ａｉｍｅｍｏｒｙｌｅａｋｄｅｔｅｃｔｉｏｎ／／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＱＳＩＣ２００８． Ｏｘｆｏｒｄ。ＵＫ．２００８：４１２．４２０． ｎｏｔＳＯｒｅｌｅｖａｎｔ．Ｔｈｉｓｍａｙｂｒｉｎｇｖａｒｉｏｕｓｋｉｎｄｓｏｆｆａｌｓｅｗａｒｎ－ｉｎｇｓ．Ｔｈｉｓｐａｐｅｒｃｏｍｐａｒｅｓｓｏｍｅｏｆｔｈｅｓｅｔｅｃｈｎｉｑｕｅｓ，ａｎｄａｒ－ｇｕｅｓｔｈａｔｗｅｓｈｏｕｌｄｐａｙｍｏｒｅａｔｔｅｎｔｉｏｎｔｏｍｏｒｅａｄｖａｎｃｅｄ，ｍｏｒｅａｃｃｕｒａｔｅａｎａｌｙｓｉｓｍｅｔｈｏｄｓ．Ａｓａｎｅｘａｍｐｌｅｏｆｓｕｃｈｍｅｔｈｏｄｓ．ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｉｓｄｅｓｃｒｉｂｅｄｉｎｄｅｔａｉｌ．Ｗｅｂｅ—ｌｉｅｖｅｔｈａｔｉｔｉｓａｐｒｏｍｉｓｉｎｇｗａｙｏｆａｎａｌｙｚｉｎｇｐｒｏｇｒａｍｓａｃｃｕ－ｒａｔｅｌｙ．Ｓｏｍｅｒｅｓｅａｒｃｈｉｓｓｕｅｓａｒｅａｌｓｏｄｉｓｃｕｓｓｅｄ． ＴｈｉｓｗｏｒｋｉｓｐａｒｔｉａｌｌｙｓｕｐｐｏｒｔｅｄｂｙｔｈｅＮａｔｉｏｎａｌＮａｔｕｒａｌＳｃｉｅｎｃｅＦｏｕｎｄａｔｉｏｎｏｆＣｈｉｎａ（ＮＳＦＣ）ｕｎｄｅｒｇｒａｎｔＮｏ．６０６７３０４４ａｎｄＮｏ．６０６３３０１０，ａｎｄｂｙｔｈｅＮａｔｉｏｎａｌＨｉｇｈ—ＴｅｃｈＰｒｏｇｒａｍ（８６３）ｕｎｄｅｒｇｒａｎｔ Ｎｏ．２００６ＡＡ０１２４０２．
经济模型、静态分析、比较静态分析和动态分析 1.经济模型 经济理论是在对现实的经济事物的主要特征和内在联系进行概括和抽象的基础上，对现实的经济事物进行的系统描述。其含义与经济模型大致相同。一个经济理论的建立和运用，可以看成是一个经济模型的建立和使用。 所谓经济模型是指用来描述所研究的经济事物的有关经济变量之间相互关系的理论结构。可以用文字语言或数学形式（包括几何图形和方程式等）来表示。 如需求函数和供给函数求解均衡价格或均衡数量。Qd=Qs. 2.内生变量、外生变量和参数 经济数学模型一般用由一组变量所构成的方程式或方程组来表示，变量是经济模型的基本要素。可以区分为内生变量、外生变量和参数。 内生变量指经济模型所要决定的变量。外生变量指由模型以外的因素所决定的已知变量，它是模型据以建立的外部条件。内生变量可以在模型内得到说明，外生变量决定内生变量，而外生变量本身不能在模型体系内得到说明。参数指数值通常不变的变量，也可以理解为可变的参数。参数通常是由模型以外的因素决定的，参数也往往被看成是外生变量。 3.静态分析、比较静态分析和动态分析 根据既定的外生变量值来求得内生变量值的分析方法，称为静态分析。 研究外生变量对内生变量的影响方式，以及分析比较不同数值的外生变量下的内生变量的不同数值，称为比较静态分析。 在静态分析和比较静态分析中，变量的调整时间被假设为零。 在动态模型中，需要区分变量在时间上的先后差别，研究不同时点上的变量之间的相互关系。根据这种动态模型作出的分析是动态分析。 从均衡角度来区别和理解这三种分析方法。分别是，静态分析，考察在既定的条件下某一经济事物在经济变量的相互作用下所实现的均衡状态。比较静态分析，考察当原有的条件或外生变量发生变化时，原有的均衡状态会发生什么变化，并分析比较新旧均衡状态。动态分析，是在引进时间变化序列的基础上，研究不同时点上的变量的相互作用在均衡形成和变化过程中所起的作用，考察在时间变化过程中的均衡状态的实际变化过程。
《现代软件测试基础》教案 第七章软件静态测试 课时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分钟] 软件静态测试：软件静态测试的概念、特点、对象以及软件静态测试的主要内容。 ●知识点讲解 导入：我们都知道软件测试有很多种，那么什么是软件静态测试呢？接着阐述软件静态测试的概念。为什么要引入软件静态测试？介绍引入静态测试的目的以及阐述静态测试的特点。软件静态测试主要包含哪些内容（简单介绍，后面会详细展开）？
Chapter 5 Static and Dynamic Stress Analysis 第五章静态和动态应力分析 5-1. Stress Analysis 5-1.应力分析 a. General. (1) A stress analysis of gravity dams is performed to determine the magnitude and distribution of stresses throughout the structure for static and dynamic load conditions and to investigate the structural adequacy of the substructance and foundation. Load conditions usually investigated are outlined in Chapter 4. (2) Gravity dam stresses are analyzed by either approximate simplified methods or the finite element method depending on the refinement required for the particular level of design and the type and configuration of the dam. For preliminary designs, simplified methods using cantilever beam models for two-dimensional analysis or the trial load twist method for three-dimensional analysis are appropriate as described in the US Bureau of Reclamation (USBR), “Design of Gravity Dams” (1976).The finite element method is ordinarily used for the feature and final design stages if a more exact stress investigation is required. a.普通方法 (1)重力坝的应力分析是用以确定在静态和动态荷载作用下结构的应力分布和大小情况以及验证下部和基础的结构强度，荷载条件通常在第四章作了概述。 (2)重力坝的应力分析通过基于满足坝体类型、构造和设计精度要求的近似的简化方法或有限单元法。初步设计时，根据美国垦务局（USBR）颁布的“重力坝设计规范（1976）”，可以使用二维的悬臂梁模型或者三维的模型试验的简化方法。有限单元法通常用于对应力精度要求更高的详细和最终设计阶段。 b. Finite element analysis. (1) Finite element models are used for linear elastic static and dynamic analyses and for nonlinear analyses that account for interaction of the dam and foundation.The finite element method provides the capability of modeling complex geometries and wide variations in material properties. The stresses at corners, around openings, and in tension zones can be approximated with a finite element model. It can model concrete thermal behavior and couple thermal stresses with other loads.An important advantage of this method is that complicated foundations involving various materials, weak joints on seams, and fracturing can be readily modeled. Special purpose computer programs designed specifically for analysis of concrete gravity dams are CG-DAMS (Anatech 1993), which performs static, dynamic, and nonlinear analysis and includes a smeared crack model, and MERLIN (Saouma 1994), which includes a discrete cracking fracture mechanics model. b.有限元分析 (1)有限元模型用于线性弹性的静态和动态分析以及坝体与基础相互影响的非线性分析。有限元方法具有模拟具有复杂几何形状和不同材料性能的能力。角落处，开口处和有张力处的应力可以用有限元模型来近似。它可以模拟混凝土的热行为和由其他荷载引起的温度应力。此方法的重要优点是对于涉及各种材料的复杂的基础，接缝薄弱处和断裂面能很容易模拟。专门设计用来对混泥土重力坝分析的专用计算机程序是CG-DAMS（Anatech1993年），它执行静态，动态和非线性分析，并包括一个弥散裂缝模型，梅兰（萨乌马1994年），其中包括离散裂缝断裂力学模型。