基于程序插装的动态测试技术实现

动态测试是检测程序的动态行为的一种有效手段，本文介绍了Safepro白盒软件测试工具系列中基于程序插装的动脉测试技术实现，具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术，插装库设计与插装策略等内容。  

数据流中异常模式的提取与趋势监测

研究的重点是数据流环境中异常模式的提取与趋势监测．主要贡献包括：①提出了一个进行异常模式发现的度量框架——强度比率，为异常模式挖掘提供了度量标准；②在基于异常模式求取的基础上，提出了利用回归分析方法——最小二乘法进行异常模式趋势监测．实验结果表明，提出的异常模式度量和求取算法是合理的，提出的趋势监测方法是有效的、可行的．  

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

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

一种路径敏感的静态缺陷检测方法

提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性状态的状态条件,从而避免完整路径上下文分析的组合爆炸问题.该算法已应用于缺陷检测系统DTS(defect testing system).实际测试结果表明,该方法能够减少误报.  

一种基于异常传播分析的数据流分析方法

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息.  

数据流分析方法

数据流分析是一项编译时使用的技术，它能从程序代码中收集程序的语义信息，并通过代数的方法在编译时确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述；并简要地介绍了所提出的需求过程间数据流分析的方法。  

高校学生宿舍管理系统的设计

本文讨论了在新形势下宿舍管理的任务和要求。分析了宿舍管理中信息的流动。设计了基于客户／服务器模式的体系结构。给出了宿舍管理系统的数据库设计和功能设计。  

基于数据流分析的软件容错策略

该文就软件容错中备查点与卷回机制展开深入讨论,提出一种基于数据流分析技术的软件容错新方法.首先对软件容错进行简介,指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性.然后将数据流分析技术应用于软件容错,通过求解程序变量的到达-定值数据流方程来静态地确定任何数据在任何引用点出错时的最小充分卷回,通过求解活跃变量的数据流方程来静态地确定程序在执行各个基本块时需动态保存的变量集合,得出最小充分卷回定理与备查点数据范围定理,从而解决了时间冗余容错途径中必须回答的两个基本问题.此外,还给出了恢复块定义有效的充分条件.最后,以电信系统为应用实例,介绍了该方法的一种具体实施.该方法在简单地扩展后可被广泛应用于各种容错软件的设计中.  

异常结构对Java程序分析的影响

在软件工程任务中，通常使用控制流，数据流，控制依赖等程序分析技术和理解程序，并把得到的信息用于任务中，当前许多流行的程序设计语言提供了完善的异常处理机制，文中以Java语言为例，讨论了程序中的异常结构对上述分析技术的影响。  

一种基于数据流分析的程序定义域自动确定方法

程序定义域的确定有利于指导测试用例的选取，虽然程序规范规定了输入变量的定义域，但程序实现本身也定义了其定义域，如果二者不能完全重合，那么某些软件故障就可诊断出来，文中提出玫种基于数据流分析的程序定义域自动确定方法，通过对原程序进行数据流分析和相关性分析，求取输入变量的定义域，采用程序抽取的程序定义域自动确定方法，通过对源程序进行数据流分析和相关性分析，求取输入变量的定义域，采用程序抽取技术，将与输入变量无关的语句和函数剔除，简化了源程序，提高了分析效率，采用动态模拟技术，实现了特殊情形下输入变量定义域的确定，实验证明，该方法是行之有效的。