轻量级静态分析器构造方法综述*

由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。     

Web应用测试模型研究

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．     

多媒体软件开发平台的设计

课件的开发是计算机辅助教学发展和普及的一个瓶颈问题。研究开发课件写作系统是提高课件生产效率和改善课件质量的有效途径之一。多媒体课件写作系统将多媒体技术与计算机辅助教学应用相结合,为广大课件作者提供了一个简捷高效的课件写作环境。本文首先讨论了多媒体软件在我国的应用状况及开发CAI软件的可能性,然后简单介绍了我们设计开发的。北航多媒体课件写作系统BUAA-MCAS的结构和总体框架,最后介绍了本系统的特点并对其今后的工作做了展望。     

基于PVM的并行调试环境

并行软件开发环境的研究已日益成为并行计算和并行处理的重点。本文简介了可移植的消息传递环境ＰＶＭ，讨论了以此为目标的图形监视环境ＸＰＶＭ，阐明ＸＰＶＭ环境与实际需要的ＰＶＭ并行调试环境之间的差距，并在此基础上探讨了并行调试环境开发中的技术难点及其设计要求。     

异构计算——求解超级问题的新途径

异构计算是近年来并行处理领域中新的研究热点。它的思想是充分利用一组汪同结构的高性能计算机求解含有不同并行性的超级问题。文中分析了异构计算的背景及特点，讨论了当前存在的问题。     

CASE环境工具支持接口

本文首先简要讨论了ＣＡＳＥ环境工具技术接口的发展情况，然后具体讨论了工具支持接口的需求：分布式数据库、分布式体系结构和高级用户接口，由于分布式数据库是ＣＡＳＥ环境工具技术接口的核心，因而着重对它进行了讨论。     

UCSD PASCAL-P系统的分析和移植

Pascal语言已经作为一种高度结构化的系统程序设计语言而被广泛地接受和运用。目前不仅在大、中型机器上,而且在小型机、微型机上都陆续配置了Pascal语言。各种机型上配置的Pascal系统中,有相当大的一部分是移植实现的。软件移植降低了开发成本,正确性容易得到保证,是多快好省的办法。Pascal-P系统就是最早实现的这样一个可移植Pascal语言     

模型驱动的EJB构件测试建模研究

基于对Web系统的特点研究，提出了一个全面测试Web系统的框架．并基于模型驱动的软件测试思想（MDT），重点研究了此框架中的中间业务逻辑层的测试建模方法：定义了一个平台相关的测试模型（硎）——EJB构件测试模型；并给出了对它的模型复原算法和模型一致性检测方法．该测试建模方法，从软件构件的层次，实现了EJB静态结构和动态行为的建模，并通过模型一致性检测实现EJB代码的潜在缺陷检查．这一测试模型将为测试用例和测试数据的生成提供有力的支持．     

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

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

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

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