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

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

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

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

基于持续监控的动态内联优化

动态编译技术是非常有效的一项优化技术,但是,当前的信息采集与持续监控技术面临运行开销过大、信息精度不够以及代码过渡膨胀等问题.以Intel ORP(open runtime platform)作为基础平台,设计了基于在线反馈与持续监控的动态编译系统;根据当前信息采集技术存在的一些问题改进了代码插装机制;实现了对虚方法接收者对象的类型持续监控;编译系统根据在线采集和持续监控所获得的信息指导内联优化;针对持续监控过程中产生大量无用代码的问题,提出了已编译代码动态卸载方法.SpecJVM98和Java Grande Forum Benchmark等测试基准的运行结果表明,被测程序的平均性能得到了提高.同时,代码动态卸载算法也有效地减轻了系统的运行时负载.     

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

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

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

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

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

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

Web应用测试模型研究

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

软件体系结构描述研究与进展

软件体系结构是当前软件工程领域的一个研究热点,是大型软件开发中必须解决的核心技术。无数的软件工程实践也证明了:一个成功的软件系统往往都有一个好的软件体系结构。由于软件体系结构描述是体系结构构造、演化、验证、分析、维护和基于体系结构的软件开发的基础,因此体系结构     

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

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

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

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