静态结构的分析方法

Ⅰ 什么是比较静态分析

静态分析、比较静态分析和动态分析 静态分析、比较静态分析和动态分析与均衡分析是密切相关的，西方经济学所采用的分析方法，从一个角度来看是均衡分析，从另一角度来看，就是静态分析、比较静态分析和动态分析。 静态分析（static analysis），就是分析经济现象的均衡状态以及有关的经济变量达到均衡状态所具备的条件，它完全抽象掉了时间因素和具体的变化过程，是一种静止地、孤立地考察某种经济事物的方法。如研究均衡价格时，舍掉时间、地点等因素，并假定影响均衡价格的其他因素，如消费者偏好、收入及相关商品的价格等静止不变，单纯分析该商品的供求达于均衡状态的产量和价格的决定。 比较静态分析（Compartive static analysis）就是分析在已知条件发生变化以后经济现象的均衡状态的相应变化，以及有关的经济变量在达到均衡状态时的相应变化，即对经济现象有关变量一次变动（而不是连续变动）的前后进行比较。比较静态分析不考虑经济变化过程中所包含的时间阻滞。例如，已知某商品的供求状况，可以考察其供求达到均衡时的价格和产量。现在，由于消费者的收入增加而导致对该商品的需求增加，从而产生新的均衡，使价格和产量都较以前提高。这里，只把新的均衡所达到的价格和产量与原均衡的价格和产量进行比较，这便是比较静态分析。 动态分析（dynamic analysis）是对经济变动的实际过程所进行的分析，其中包括分析有关变量在一定时间过程中的变动，这些经济变量在变动过程中的相互影响和彼此制约的关系，以及它们在每一个时点上变动的速率等等。动态分析法的一个重要特点是考虑时间因素的影响，并把经济现象的变化当作一个连续的过程来看待。 动态分析因为考虑各种经济变量随时间延伸而变化对整个经济体系的影响，因而难度较大，在微观经济学中，迄今占有重要地位的仍是静态分析和比较静态分析方法。

Ⅱ 放大电路的静态分析方法

1、直流通路和交流通路
放大电路中的电抗性元件对直流信号和交流信号呈现的阻抗是不同的。例如，电容对直流信号的阻抗是无穷大，故不允许直流信号通过；但以交流信号而言，电容容抗的大小为，当电容值足够大，交流信号在电容上的压降可以忽略时，可视为短路。电感对直流信号的阻抗为零，相当于短路；而对交流信号而言，感抗的大小为ωL。此外，对于理想电压源，如VCC等，由于其电压恒定不变，即电压的变化量等于零，故在交流通路中相当于短路。而理想电流源，由于其电流恒定不变，即电流的变化量等于零，故在交流通路中相当于开路，等等。
在直流通路中，隔直电容C1、C2相当于开路。在交流通路中，C1、C2相当于短路，此外，集电极直流电源VCC也被短路。于是可得单管共射放大电路的直流通路和交流通路分别如下图（a）和（b）所示。

根据放大电路的直流通路和交流通路，即可分别进行静态分析和动态分析。分析时，除了图解法和微变等效电路法以外，有时也采用一些简单实用的近似估算法。例如，常常根据直流通路，对放大电路的静态工作情况进行近似估算。 
2、静态工作点的近似估算
当外加输入信号为零，在直流电源VCC的作用下，三极管的基极回路和集电极回路均存在直流电流和直流电压，这些直流电流和电压在三极管的输入、输出特性上各自对应一个点，称为静态工作点。静态工作点处的基极电流、基极与发射极之间的电压分别用符号IBQ、UBEQ表示，集电极电流、集电极与发射极之间的电压则用ICQ、UCEQ表示。
可求得单管共射放大电路的静态基极电流为

(1)
由三极管的输入特性可知，UBEQ的变化范围很小，可近似认为
硅管UBEQ=（0.6～0.8）V
锗管UBEQ=（0.1～0.3）V
根据以上近似值，若给定VCC和Rb，即可由式（1）估算IBQ。
已知三极管的集电极电流与基极电流之间存在关系IC≈βIB,且β≈，故可得静态集电极电流为

 (3)
然后由图1(a)的直流通路可得
CEQ=VCC-ICQRC (4)
至此，静态工作点的有关电流、电压均已估算得到

Ⅲ 程序静态分析的分析技术及实践

程序静态分析（Program Static Analysis）可以帮助软件开发人员、质量保证人员查找代码中存在的结构性错误、安全漏洞等问题，从而保证软件的整体质量。还可以用于帮助软件开发人员快速理解文档残缺的大规模软件系统以及系统业务逻辑抽取等系统文档化等领域。 如开发20年以上的金融核心COBOL系统，动辄上千万行代码的系统规模。对于理解这样规模的系统，基于程序静态分析的辅助理解工具就能发挥积极作用。
本文首先对程序静态分析的特点、常用静态分析技术、静态分析实现方式进行描述，然后通过一个实例讲解了程序静态分析的执行过程。 程序静态分析是与程序动态分析相对应的代码分析技术，它通过对代码的自动扫描发现隐含的程序问题，主要具有以下特点：
（1）不实际执行程序。动态分析是通过在真实或模拟环境中执行程序进行分析的方法，多用于性能测试、功能测试、内存泄漏测试等方面。与之相反，静态分析不运行代码只是通过对代码的静态扫描对程序进行分析。
（2）执行速度快、效率高。目前成熟的代码静态分析工具每秒可扫描上万行代码，相对于动态分析，具有检测速度快、效率高的特点。
（3）误报率较高。代码静态分析是通过对程序扫描找到匹配某种规则模式的代码从而发现代码中存在的问题，例如可以定位strcpy（）这样可能存在漏洞的函数，这样有时会造成将一些正确代码定位为缺陷的问题，因此静态分析有时存在误报率较高的缺陷，可结合动态分析方法进行修正。 （1）词法分析：从左至右一个字符一个字符的读入源程序，对构成源程序的字符流进行扫描，通过使用正则表达式匹配方法将源代码转换为等价的符号（Token） 流，生成相关符号列表，Lex为常用词法分析工具。
（2）语法分析：判断源程序结构上是否正确，通过使用上下文无关语法将相关符号整理为语法树， Yacc为常用工具。
（3）抽象语法树分析：将程序组织成树形结构，树中相关节点代表了程序中的相关代码，目前已有javacc/ Antlra等抽象语法树生成工具。
（4）语义分析：对结构上正确的源程序进行上下文有关性质的审查。
（5）控制流分析：生成有向控制流图，用节点表示基本代码块，节点间的有向边代表控制流路径，反向边表示可能存在的循环；还可生成函数调用关系图，表示函数间的嵌套关系。
（6）数据流分析：对控制流图进行遍历，记录变量的初始化点和引用点，保存切片相关数据信息。
（7）污点分析：基于数据流图判断源代码中哪些变量可能受到攻击，是验证程序输入、识别代码表达缺陷的关键。
（8）无效代码分析，根据控制流图可分析孤立的节点部分为无效代码。
程序静态分析是在不执行程序的情况下对其进行分析的技术，简称为静态分析。而程序动态分析则是另外一种程序分析策略，需要实际执行程序。大多数情况下，静态分析的输入都是源程序代码，只有极少数情况会使用目标代码。静态分析这一术语一般用来形容自动化工具的分析，而人工分析则往往叫做程序理解。
静态分析越来越多地被应用到程序优化、软件错误检测和系统理解领域。Coverity Inc.的软件质量检测产品就是利用静态分析技术进行错误检测的成功代表。国内某软件公司的闪蝶（BlueMropho）代码分析平台，是利用程序静态分析技术专注于大型机遗留系统的代码理解领域，尤其擅长分析千万行代码规模级的COBOL系统。

Ⅳ 软件静态测试方法

静态测试方法很多，主要有代码审查、正式技术评审、同级评审、走查等形式和方法。基本都是通过会议的形式阅读代码和文档，检查其中存在的问题或错误。

路径法：通过画程序流程图和程序节点图的方法检查程序中存在的孤立语句（节点）。

节点图（程序图）法：判断程序是否是标准结构化，非结构化表示程序存在问题。

(4)静态结构的分析方法扩展阅读：

静态结构分析主要是以图形的方式表现程序的内部结构，例如函数调用关系图、函数内部控制流图。其中，函数调用关系图以直观的图形方式描述一个应用程序中各个函数的调用和被调用关系；控制流图显示一个函数的逻辑结构，它由许多节点组成，一个节点代表一条语句或数条语句，连接结点的叫边，边表示节点间的控制流向。

Ⅳ 什么是静态分析

静态分析法是根据既定的外生变量值求得内生变量的分析方法，是对已发生的经济活动成果，进行综合性的对比分析的一种分析方法。 静态分析法主要应用于静态计算机科学、经济学、工程、力学、机械等方面。如研究均衡价格时，舍掉时间、地点等因素，并假定影响均衡价格的其他因素，如消费者偏好、收入及相关商品的价格等静止不变，单纯分析该商品的供求达于均衡状态的产量和价格的决定。
工程分析的问题可以依其解答是否随时间而变而区分成两大类别：其反应与时间无关的静态分析（static analysis，或称为稳态分析，steady-state analysis）及其反应随时间而变的动态分析（dynamic analysis）。对于结构分析而言，动态分析又可分成及暂态分析（transientanalysis）、模态分析（modal analysis）、和谐响应分析（harmonic response analysis）三种（事实上还有其它类别的动态分析，但较少用到）。

较完整的力平衡方程式可以表述为：等号的右边代表作用在结构上的外力，这个外力 {F} 和等号的左边的三个力形成平衡的关系：惯性力（inertia force）、阻尼力（damping force）、及弹性力（elastic force）。惯性力是质量乘上加速度 。阻尼力是结构物因为所有外部的摩擦（譬如结构与空气间）或内部的摩擦（结构材料内部本身）所引起的阻力。阻尼力通常被简化成与速度成正比，而正比系数 [C] 称为阻尼系数。弹性力等于弹性系数乘以位移。

通常在变形速度和加速度均很小时，可以忽略惯性力和阻尼力项，公式简化成为静力平衡方程式。工程上所说的静态分析就是在静力平衡方程式指导下进行的理论计算或者借助工程仿真软件进行的仿真计算。对于实际工程系统和机械结构，往往模型复杂，靠理论计算很难解决问题，现有应用最广的方法是借助有限元理论和有限元软件进行建模和计算。

Ⅵ 软件工程 静态测试的主要方法有哪些

（1）人工检测：是指不依靠计算机而是靠人工审查程序或评审软件，包括代码检查、静态结构分析和代码质量度量等；

（2）计算机辅助静态分析：利用静态分析工具对被测试程序进行特性分析，从程序中提取一些信息，以便检查程序逻辑的各种缺陷和可疑的程序构造。

静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。

(6)静态结构的分析方法扩展阅读：

代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。

在实际使用中，代码检查比动态测试更有效率，能快速找到缺陷，发现30%～70%的逻辑设计和编码缺陷；代码检查看到的是问题本身而非征兆。但是代码检查非常耗费时间，而且代码检查需要知识和经验的积累。

代码检查应在编译和动态测试之前进行，在检查前，应准备好需求描述文档、程序设计文档、程序的源代码清单、代码编码标准和代码缺陷检查表等。静态测试具有的发现缺陷早、降低返工成本、覆盖重点和发现缺陷的概率高的优点以及耗时长、不能测试依赖和技术能力要求高的缺点。