期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
基于基元关系模型的C++程序静态分析器 被引量:2
1
作者 汪浩 金茂忠 +1 位作者 陈起 高仲仪 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期391-395,共5页
分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++6.0源程序中构造ERM模型的算法 ,据此构造了一个基于... 分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++6.0源程序中构造ERM模型的算法 ,据此构造了一个基于基元关系模型的VC ++6.0程序静态分析器 .对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍 .实践证明 ,该分析器可以高效正确地提取出模型中描述的各种关系 。 展开更多
关键词 软件工程 软件工具 程序语言 面向对象 软件测试 软件开发 C++程序静态分析器
下载PDF
基于设计模式的可扩展Java静态分析器设计 被引量:1
2
作者 王越 刘冬懿 金茂忠 《计算机应用》 CSCD 北大核心 2006年第B06期301-304,共4页
鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统。结合实例详细论述单件、访问者、外观及工厂方法等模式在构建Java静态分析器中的应用。旨在促使静态分析器系统开发中应用设计模式,设计出灵活、可复用和易理解的... 鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统。结合实例详细论述单件、访问者、外观及工厂方法等模式在构建Java静态分析器中的应用。旨在促使静态分析器系统开发中应用设计模式,设计出灵活、可复用和易理解的软件,提高软件的质量和软件的复用性及可扩展性。 展开更多
关键词 静态分析器 设计模式 软件复用
下载PDF
静态分析器静态分析过程的研究及实现 被引量:1
3
作者 张少白 冯志全 成谢锋 《济南大学学报(自然科学版)》 CAS 2001年第3期204-206,共3页
:静态分析器是一种初步具备有关数据对象的语言知识 ,融编辑、语法分析和静态语义检查为一体的软件工具。文本以Ada语言中的子程序规格说明为基础 ,阐明了静态分析器在软件开发环境中的作用和意义 ,介绍了分析器数据结构的构成及语法树... :静态分析器是一种初步具备有关数据对象的语言知识 ,融编辑、语法分析和静态语义检查为一体的软件工具。文本以Ada语言中的子程序规格说明为基础 ,阐明了静态分析器在软件开发环境中的作用和意义 ,介绍了分析器数据结构的构成及语法树的构造方法 ,并用两个实例对静态分析的过程作了说明。 展开更多
关键词 语法树 编辑器 静态分析器 软件开发 软件工具 ADA语言 数据结构
下载PDF
一个静态分析器的设计与实现 被引量:1
4
作者 李亚红 郝克刚 葛玮 《微机发展》 2004年第12期117-119,共3页
从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现。描述了它的关于软件系统信息和模块信息提取功能,又从实现的角度介绍了该分析器程序的系统结构及数据... 从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现。描述了它的关于软件系统信息和模块信息提取功能,又从实现的角度介绍了该分析器程序的系统结构及数据结构。初步的实践证明上述静态分析器可以提高数据采集效率,能够对程序系统信息及模块信息进行有效提取。 展开更多
关键词 软件工程 静态分析 静态测试 静态分析器
下载PDF
PASCAL 静态分析器的设计与实现
5
作者 刘晓燕 《昆明理工大学学报(理工版)》 1997年第4期82-86,共5页
采用词法分析技术及递归下降子程序语法分析方法进行设计与实现对已通过编译的TurboPASCAL源程序给出有限的静态分析,为程序员提供程序结构图。
关键词 软件测试 静态分析器 软件工程 设计
下载PDF
轻量级静态分析器构造方法综述 被引量:3
6
作者 郭荣锋 金茂忠 刘超 《计算机应用研究》 CSCD 北大核心 2008年第8期2245-2249,共5页
由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已... 由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。 展开更多
关键词 静态分析 轻量级静态分析器 分等级正则表达式 模糊分析 孤立文法 超集文法
下载PDF
浅谈基于GCC的C++静态分析器的开发应用
7
作者 刘昌坪 李旭 《计算机光盘软件与应用》 2012年第7期187-187,183,共2页
目前,最主流的开发语言之一就是C++,越来越多的工具都使用C++语言来开发了。因为C++具有高效等特性,所以得到了很广泛的运用。但是不可避免的,在开发软件程序方面,它也存在着一些缺陷。因此,基于开源编译器GCC的C++静态分析器就被开发... 目前,最主流的开发语言之一就是C++,越来越多的工具都使用C++语言来开发了。因为C++具有高效等特性,所以得到了很广泛的运用。但是不可避免的,在开发软件程序方面,它也存在着一些缺陷。因此,基于开源编译器GCC的C++静态分析器就被开发出来了,可以审查代码,发现缺陷,保证代码的安全和可靠。本文通过对C++静态分析器的C++的语言的缺陷、检查规则以及编译器的内容进行阐述,综合讲解了其开发与应用。 展开更多
关键词 GCCC++静态分析器开发应用
下载PDF
基于反射机制的构件化软件静态分析器的设计与实现
8
作者 曹晋阳 张毅坤 +1 位作者 杨凯峰 徐涛 《西安理工大学学报》 CAS 2008年第1期108-113,共6页
设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互。实例... 设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互。实例结果表明,该分析器适用于对基于.NET的构件化软件进行分析处理。 展开更多
关键词 静态分析器 XML 测试元素 反射
下载PDF
静态分析器应用研究
9
作者 黄世葆 蔡之华 《微型机与应用》 2001年第6期12-13,31,共3页
以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造方法,并用2个实例对静态分析的过程作了说明。
关键词 软件开发 ADA语言 静态分析器 数据结构
下载PDF
静态分析器在软件开发环境中的应用
10
作者 张少白 曹豫莪 《陕西师大学报(自然科学版)》 CSCD 1994年第3期15-19,共5页
静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.本文以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成以及语... 静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.本文以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成以及语法树的构造方法,并用两个实例对静态分析的过程作了说明. 展开更多
关键词 语法树 静态分析器 软件开发
下载PDF
基于ALI的ADA语言静态分析器的研究与实现
11
作者 朱烨 朱宏明 《电脑知识与技术》 2008年第11X期1406-1410,共5页
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实... Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。 展开更多
关键词 Ali文件 ADA语言 LEX 静态分析器
下载PDF
大数据查询路径和类型决策问题的研究
12
作者 沈洁 王向辉 《经济技术协作信息》 2019年第33期10-10,共1页
用正则树表示的XML数据中对XPath的决策问题,是大数据查询中常见的方法之一,本文提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问... 用正则树表示的XML数据中对XPath的决策问题,是大数据查询中常见的方法之一,本文提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问题的实验对于算法进行了证实,实验证明该系统能够有效的被使用于对操作XPath表达式和XML类型注释的程序语言的静态分析器中。 展开更多
关键词 可满足性问题 程序语言 决策问题 大数据查询 XML数据 静态分析器 正则树 类型约束
下载PDF
Google Gumbo:C语言实现的HTML5解析库
13
《程序员》 2013年第10期12-12,共1页
Gumbo是一个使用c编写的HTML解析库,它符合}rrMI解析算法标准,通过了所有的html51ib-0.95测试,并已在Google索引的25亿个网页上进行过测试。Google发布Gumbo的目的是为开发者提供一个轻量级的HTML解析库,它没有外部依赖,而且大多... Gumbo是一个使用c编写的HTML解析库,它符合}rrMI解析算法标准,通过了所有的html51ib-0.95测试,并已在Google索引的25亿个网页上进行过测试。Google发布Gumbo的目的是为开发者提供一个轻量级的HTML解析库,它没有外部依赖,而且大多数语言都可调用。该库可以包含在Web页面验证器、静态分析器、模板语言和重构工具等应用中。 展开更多
关键词 GOOGLE C语言 解析 HTML WEB页面 静态分析器 算法标准 轻量级
下载PDF
PAC8000 SafetyNet增SIL2安全功能
14
《现代制造》 2009年第22期30-30,共1页
GE Fanuc智能平台于日前宣布PAC8000 SafetyNet已通过TOV认证,证明适用于需要在相同控制器内处理安全和非安全数据的应用。此外,PAC8000 SafetyNet可以使用24V电源,扩展了SafetyNet系统的应用范围。出于安全和过程控制目的而使用两... GE Fanuc智能平台于日前宣布PAC8000 SafetyNet已通过TOV认证,证明适用于需要在相同控制器内处理安全和非安全数据的应用。此外,PAC8000 SafetyNet可以使用24V电源,扩展了SafetyNet系统的应用范围。出于安全和过程控制目的而使用两个控制器增加了项目成本。PAC8000 SafetyNet提供静态分析器工具,识别安全控制器中所有使用非安全数据的情况,帮助安全工程师完成审查。 展开更多
关键词 安全功能 安全控制器 FANUC 静态分析器 安全工程师 智能平台 项目成本 过程控制
下载PDF
Static analysis of synchronism deployable antenna 被引量:8
15
作者 GUAN Fu-ling SHOU Jian-jun +1 位作者 HOU Guo-yong ZHANG Jing-jie 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2006年第8期1365-1371,共7页
A 3D synchronism deployable antenna was designed, analyzed, and manufactured by our research group. This an-tenna consists of tetrahedral elements from central element. Because there are springs at the ends of some of... A 3D synchronism deployable antenna was designed, analyzed, and manufactured by our research group. This an-tenna consists of tetrahedral elements from central element. Because there are springs at the ends of some of the rods, spider joints are applied. For analysis purpose, the structure is simplified and modelled by using 2D beam elements that have no bending stiffness. Displacement vectors are defined to include two translational displacements and one torsional displacement. The stiff-ness matrix derived by this method is relatively simple and well defined. The analysis results generated by using software de-veloped by our research group agreed very well with available test data. 展开更多
关键词 Space deployable structures Analysis design Reflector antenna
下载PDF
Kineto-static analysis of a novel high-speed parallel manipulator with rigid-flexible coupled links 被引量:2
16
作者 孙涛 宋轶民 阎凯 《Journal of Central South University》 SCIE EI CAS 2011年第3期593-599,共7页
A novel high-speed parallel kinematic machine (PKM) named Delta-S parallel manipulator is proposed, which consists of a fixed base connected to a moving platform through three limbs with identical topology. Each lim... A novel high-speed parallel kinematic machine (PKM) named Delta-S parallel manipulator is proposed, which consists of a fixed base connected to a moving platform through three limbs with identical topology. Each limb is composed of one driving ann and one follower arm, herein, the latter includes two strings and one middle rod, all located in a same plane. Compared with similar manipulators with uniform parameters, the novel and unique topology as well as the addition of two strings of Delta-S manipulator can remove the clearance of the spherical joints, reduce the inertial load of components further, improve the positioning accuracy and dynamic performance, and so on. In order to formulate the kineto-static model of Delta-S manipulator, the kineto-static analyses and models of the driving arm, the generalized follower and the moving platform can be carried out by the D'ALEMBERT principle. For the sake of obtaining the force analytic results of strings, the deformation compatibility condition of strings and the middle rod are determined. Furthermore, in virtue of the assumption of small deformation and the linear superposition principle, the minimal pre-tightening force of the strings is calculated. The main results include that the loads of the strings and the middle rod must be larger than "zero" and the pre-tightening force over the workspace must be larger than the minimal pre-tightening force at any time within the workspace, which lay the foundation for the dynamic analysis and the prototype manufacture of the Delta-S manipulator. 展开更多
关键词 parallel kinematic machines (PKMs) Delta-S manipulator kineto-static analysis deformation compatibility condition pre-tightening force
下载PDF
Modeling for integrated micromanipulator
17
作者 荣伟彬 曲东升 +2 位作者 孙立宁 楼朝飞 蔡鹤皋 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2003年第4期371-375,共5页
According to the principle of a piezoelectric scanner, a three degree-of-freedom (D.O.F) micromanipulator driven by piezoelectric tubes was developed to realize the integration of mechanism and actuator.Through the st... According to the principle of a piezoelectric scanner, a three degree-of-freedom (D.O.F) micromanipulator driven by piezoelectric tubes was developed to realize the integration of mechanism and actuator.Through the static analysis of the deflection of piezoelectric tube into four quadrants, a formula has been establish for the relationship between micro-displacement and driving voltage and accordingly, the angular error is analyzed. Experiments show that the micro-displacement calculated using the formula is in good agreement with the measurements. The relative error is less than 5%. Some performances of the micromanipulator show that it can be applied to some micromanipulations. 展开更多
关键词 MICROMANIPULATOR piezoelectric scanner piezoelectric tube MODELING
下载PDF
The obstacle crossing ability analysis and improvement of the cable inspection robot
18
作者 徐丰羽 Wang Xingsong 《High Technology Letters》 EI CAS 2010年第2期157-163,共7页
In this paper, the climbing obstacle capability of the previous special cable inspection robot ( Model Number: XS1T-1) is analyzed. Static equations are established to analyze the relationships between the external... In this paper, the climbing obstacle capability of the previous special cable inspection robot ( Model Number: XS1T-1) is analyzed. Static equations are established to analyze the relationships between the external forces and the maximum height of an obstacle. Parameters affecting the obstacle crossing ability are obtained. According to the analysis results, an innovated small volume, simple structure and light weight climbing mechanism is proposed (Model Number: XS1T-2). A simplified kinematics model of the mechanism is established. With two powered wheels, the obstacle crossing ability of the XSIT-2 is improved apparently. For the robot moving without deflection, the relationships of two powered input torques are deduced. The comparison of the simulation results clearly shows that the climbing ability of XS1T-2 is obviously improved, and it can meet the demands of inspection. 展开更多
关键词 inspection robot obstacle crossing ability CABLE cable-stayed bridge
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部