变量定义未使用故障的一种静态测试方法

变量定义未使用故障是C/C 程序中的可见故障,该类故障可导致计算结果错误或系统崩溃.针对C/C 语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C 语言中变量定义未使用的故障模型,结合静态测试特点,给出了一种静态查找此类故障的方法.该方法已用于面向故障的软件测试系统中.     

未初始化变量的一种静态测试方法

软件测试系统的研制是软件测试领域的一个研究热点.未初始化变量是C/C 程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.针对C/C6 语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C 语言中未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.该方法已实现,并已应用于面向故障的软件测试系统中.     

基于UML的面向对象软件静态测试方法的研究

测试用例的数量和质量决定软件测试的成本和有效性。文中提出了一种基于UML面向对象软件静态测试的方法，论述了软件测试方法的分类、静态分析方法的基本测试框架及具体实现流程。针对面向对象软件的特点，静态测试主要是通过分析源程序得到类关系图，使测试人员能快速而清晰地了解程序结构，有效地设计测试用例。探讨了在对源程序进行充分的词法分析与语法分析的基础上，提取程序中类的有关信息，利用了数据库技术和UML图形模型，从而保证了分析结果的准确有效和标准化。     

Java语言中数组越界故障的静态测试研究

面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。     

代码自动检测方法研究

讨论了传统软件测试方法的缺点和局限性,进而提出了代码自动检测的方法,给出了此类方法可检测到的故障类型.对程序静态分析技术和方法进行了研究,依据该方法设计与开发了软件测试系统.最后给出了实验结果和对比分析.     

基于CPA的抽象解释分析方法研究

安全关键领域中,如何保证软件安全性已经成为了一个广受关注的重要课题。确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一。可配置程序分析（configurable program analysis,CPA）是一种适合多种静态分析方法的通用分析框架。本文使用CPA对抽象解释分析方法进行建模,给出了使用基于CPA的抽象解释方法验证程序中的运行时错误的验证流程,并用实例说明该验证方法的有效性。为程序中运行时错误的自动化分析和验证提供了一种可行方案。     

软件错误生命周期的研究及其应用

阐述了在软件测试中错误生命周期的思想，并以一个软件测试管理系统为例，介绍了该思想在具体系统中的应用，对于软件错误管理中的关键文档，给出了模板以供参考。     

基于UML的面向对象软件静态测试方法的研究

测试用例的数量和质量决定软件测试的成本和有效性。文中提出了一种基于UML面向对象软件静态测试的方法,论述了软件测试方法的分类、静态分析方法的基本测试框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效地设计测试用例。探讨了在对源程序进行充分的词法分析与语法分析的基础上,提取程序中类的有关信息,利用了数据库技术和UML图形模型,从而保证了分析结果的准确有效和标准化。     

一种基于故障模型的代码静态测试方法研究

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。     

GAG系统在软件测试中的应用

数据流分析技术能用于软件测试中的错误和异常诊断,而GAG系统是构造数据流分析技术的有用工具。本文介绍使用GAG系统实现静态分析的一个设计方案。     

基于信息中心策略的P2P资源管理与调度模型

采用P2P方法构建资源管理和任务调度模型是目前网格研究的前沿和热点领域,但目前的P2P研究多集中在静态文件的搜索和调度领域。文章分析了当前主流P2P资源发现算法的优缺点,针对系统开销的根源,从全新的角度提出了P2P系统信息交互的分类方法,并在此基础上提出了一种基于广义资源和任务概念的区域自治的P2P模型,其信息中心的选择算法具有更好的合理性。最后通过理论分析证明该模型能较大地提高系统的运行能力,并能够兼顾效率与容错性。     

能量敏感实时系统能量管理分析*

便携系统越来越广泛的应用使得电池使用问题日益突出。对能量敏感实时系统的能量管理进行了分析和探讨,通过对任务执行过程中的电压进行调整以减少实时任务的能量消耗,给出了能量敏感实时系统的静态能量管理和动态能量管理的分析方法,并提出了具有截止时间限制的实时任务减少能量消耗的调度机制。     

一个静态分析器的设计与实现

从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现。描述了它的关于软件系统信息和模块信息提取功能,又从实现的角度介绍了该分析器程序的系统结构及数据结构。初步的实践证明上述静态分析器可以提高数据采集效率,能够对程序系统信息及模块信息进行有效提取。     

消磁电源误差信号采集与处理方法

为了解决传统仪器在消磁设备误差检测中存在着测试周期长,精度偏低,自动化程度不高等问题,结合消磁电源模块误差的来源和消磁电源模块的特性,研究了消磁电源模块静态特性、动态特性、瞬态特性的测试方法.同时对系统的自校正技术原理和算法进行了研究,提出了基于最小二乘法和实用滤波法的三段式的数据校准方法来消除系统误差,设计了差分放大电路来抑制零漂现象;基于虚拟仪器技术和Labview平台,根据所提出的测试方法和分析方法,成功实现了消磁电源模块误差测试系统.     

程序段识别算法研究

静态反汇编中会遇到间接跳转和间接调用类指令,对这类指令引用的目标是否为程序比较难以判断。该文提出一种建立程序流程全图的程序段识别算法,给出算法数据结构设计和详细的流程描述,说明程序流程全图中异常节点的剔除方法,测试结果证明了算法的有效性。     

基于静态分析的安全漏洞检测技术研究

消除软件中的安全漏洞是建立安全信息系统的前提。静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其它程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。在本文中,我们首先描述了静态分析的理论基础,然后说明了类型推断、数据流分析和约束分析等主要静态分析方法及其在安全漏洞检测中的应用,并比较这些方法的优缺点。最后给出了几种支持安全漏洞静态检测的编程语言。     

路由循环的产生及解决研究

路由循环对网络具有严重的危害。文章就静态路由、动态路由、边界网关协议及路由再分配论述了路由循环产生的几种情况,并针对每种情况提出了解决办法。最后总结了为避免路由循环在进行网络配置时的几项原则。     

Internet上的信息安全性探讨

本文主要介绍Ｉｎｔｅｒｎｅｔ上信息的安全性问题，提出借助于防火墙技术提高信息的存储安全性，利用数据加密技术提高信息的传递安全性，同时给出了各种实现方法，并指出各种方法的优缺点。     

缓冲区技术在GIS图形显示优化中的应用

首先对缓冲区技术进行了分析,在此基础上,将静态缓冲区技术引入到地理信息系统(GIS)中,然后对该技术在GIS图形显示优化中的作用进行了阐述,并以GIS常用软件ArcMap中的漫游操作为例,对其实现思路进行了模拟验证.     

软件静态度量和预测模型研究

软件测试中,静态度量和测试的预测,可以有效提高测试的效率,降低测试成本。文章在对软件测试技术研究的基础上,提出了一个基于谓词的静态度量分析法和曲线重心预测法,经实验和数据分析表明效果良好。