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

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

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

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

Web应用测试模型研究

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

一种基于运行时交互约束的COTS构件集成测试用例生成方法

COTS(Commercial Off-The-Shelf)构件的源代码不可得,而且规约通常缺少交互语义信息,使得集成了COTS的构件软件系统无法采用基于源代码和基于规约的集成测试用例生成方法.提出基于运行时交互约束的COTS构件集成测试用例生成方法.方法在构件软件系统的初始功能测试用例执行过程中,获取COTS构件在系统上下文环境中的运行时接口交互约束信息,建立COTS构件与系统中其它构件的交互约束模型,根据建立的构件交互约束模型生成集成测试用例.当替换、更新集成的COTS构件时,采用生成的集成测试用例验证重新集成的COTS构件与系统其它构件交互的正确性.实现方法的自动化工具原型,并采用真实的系统实例对生成的测试用例的有效性进行了初步评估.     

基于DataPool的Web测试数据生成与维护方法

针对Web应用测试数据所具有的特点,本文提出了一种基于DataPool的Web应用测试数据生成与维护方法。在形式化定义DataPool和明确其语义描述的基础上,根据浏览器端不同的输入域类型在DataPool的编辑视图中提供了相对应的测试数据生成方式,并提供了各种维护功能。在DataPool浏览视图中,支持以单个和批量的方式选择测试数据。     

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

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

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

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

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

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

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

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

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

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