Program Static Analysis

A general method for the program static analysis

程序静态分析的通用方法

Program static analysis is very import in software testing .

程序静态分析是白盒测试的主要手段，主要用于度量程序复杂度，分析程序是否满足一定的规则或标准，分析模块的结构并发现结构性错误。

Research on Program Static Analysis

程序静态分析研究

Strategy of Twin Models in Program Static Analysis

程序静态分析中的双重模型策略

Data-flow analysis is the most important part in the compiling system . It is also one aspect of the program static analysis .

数据流分析是编译系统中的一个重要的内容，也是程序静态分析的一个方面。

Recurring to the Program static analysis tools , errors in the program can be more straightway discovered and traced .

借助于程序静态分析工具，能更直接地暴露和定位程序中的错误。

This paper presents a finite element program for static analysis of a shell and beam combination structure with the finite element method .

本文介绍用有限单元法对壳体与梁的组合结构进行静力分析的有限元程序。

Application of ANSYS program in static load analysis of lidar servo rotate equipment

ANSYS在激光雷达伺服转台静力分析中的应用

This paper build up a production function which including institution factor . By using dynamic program and compared static analysis method , we investigate how institution affect the relationship between infrastructure and economic growth .

本文建立包含制度因素的生产函数，通过动态规划和比较静态分析，讨论了制度、人均基础设施与经济增长的关系。

FEM by Ansys software are used for the base frame , associated with three designs by different materials and different structures , on the static deformation of bonding-head under external loads and stress . And the best program is selected with static analysis results .

采用Ansys软件分析了基架，分别采用不同结构与不同材料的三种设计，在静力外载荷作用下的变形与应力，并结合分析结果选取较好的方案。