二维限定Voronoi网格剖分细化算法

给出了限定点、限定线在Voronoi网格中存在的充要条件,提出了二维限定Voronoi网格细化算法,通过设置初始检测带,然后细分检测带来实现限定Voronoi网格的剖分;同时证明了该算法对于任意平面线段图输入限定条件的收敛性.对于生成的限定Voronoi网格,给出了尺寸控制和质量控制算法,并对其时间复杂度进行了分析.最后通过实例验证了文中算法的有效性.     

Java构件的测试脚本生成技术

QESat/Java中的构件测试工具辅助用户生成测试脚本，通过测试脚本的执行获得功能测试结果以及程序覆盖信息。测试脚本生成技术是Java构件测试工具中的核心和难点部分，该文根据JUnit、Mock object、In Container等技术规范提出模板关键域替换方法生成测试脚本。     

影响企业应用演化的因素及其作用

对影响企业应用演化的因素进行了分析，给出了一个分类框架，提出了软件生存环境系统及其分析方法，以期对软件演化有所裨益。     

软件过程度量自动化的研究与实现

度量自动化的程度如何是衡量度量项目能否成功的一个关键因素。该文讨论了度量自动化的范围，并进一步提出了一个好的度量工具应满足的7条需求。同时，设计、实现了一个软件过程度量工具SPMT，并分别描述了其体系结构、角色、职责和各个子系统。     

程序设计语言的GLR优化分析

阐述了在程序设计语言语法分析器的构造中采用通用LR(generalized LR,简称GLR)分析算法的动机.提出了一个多层次的优化策略,加快了GLR分析器的分析速度.为基本的GLR算法增加了必要的运行时控制机制,以实现语法分析时调用文法规则附带的语义动作,化解输入串的二义性,同时避免GLR分析器可能存在的语义动作延迟问题.优化后的算法已在一个可视化语法分析器自动生成环境VPGE中实现.实验结果表明,在分析确定性的编程语言时,自动生成的GLR分析器的分析速度与自由软件基金会的Bison生成的LALR(1)分析器的分析速度有可比性.     

利用元数据建模构建可扩展的灵活系统

软件需求的复杂化对现代软件的构建技术提出了很高的要求。构件技术在一定程度上解决了这个问题,但它很难处理不断扩充的功能与原有系统的适配与连接。本文提出了元数据建模的方法,通过使用基于XML描述的元数据并且利用莱些面向对象语言本身的自省机制(如Java的反射机制)来连接构件和基本框架的技术,以达到构建灵活系统的目的。本文同时给出了北航软件工程研究所使用元数据成功构建可扩展的QESAT(软件分析与测试工具)的示例。     

基于约束分析与模型检测的代码安全漏洞检测方法研究

与传统的程序分析相比,模型检测具有较高的检测精度,但无法将其直接应用于缓冲区溢出、代码注入等安全漏洞的检测.为解决此问题,提出了基于约束分析与模型检测相结合的安全漏洞自动检测方法.首先,通过约束分析跟踪代码中缓冲区的信息,在涉及缓冲区操作的危险点生成相应的属性传递和属性约束语句,并将安全漏洞检测问题转化为模型检测方法可接受的可达性检测问题.然后,采用模型检测方法对安全漏洞的可达性进行判断.同时采用程序切片技术,以减少状态空间.对6个开源软件的检测结果表明,基于该方法实现的CodeAuditor原型系统发现了18个新漏洞,误报率为23％.对minicom的切片实验显示,检测性能有较大提高.     

开发VisualC++多语言界面的方法

一种开发和维护VisualC++多语言界面应用程序的有效方法.文章详细讨论了资源复用、各种类型的资源模板在不同语言界面下的移植和集成方法,提出了基于增量式开发方式的资源复用解决方案.     

一种有效的软件过程改善模型

有效地改善软件过程是解决我国软件企业存在的生产率和管理水平低、产品质量难以保证等问题的根本所在。考虑到我国企业特点,文章提出了一个软件过程改善模型,其目的是帮助企业持续地进行软件过程改善。该模型包括五个活动,文章对这些活动进行了详细介绍,同时给出了在进行这些活动时应注意的问题。     

面向软件测试过程的知识管理方法的研究与实现

在软件测试组织中,对测试过程中的知识进行有效的管理,是提升组织整体测试水平的关键.一个重要的研究问题是怎样将知识管理过程与软件测试过程有效集成,从而促进知识资产在软件测试组织中的传播与重用.给出了软件测试领域知识管理子系统的体系结构、主要功能以及使用流程,对一些关键技术进行了探讨.最后,给出了知识地图模块的设计与实现,验证了本文所实现的软件测试领域知识管理系统的合理性和有效性.