支持智能中文分词的互联网搜索引擎的构建

中文分词技术对中文搜索引擎的查准率及查全率有重大影响。在剖析开源搜索引擎Nutch的源代码结构的基础上，基于JavaCC实现了一个可扩展的词法分析器并将其与Nutch集成，构建了一个支持智能中文分词的互联网搜索引擎NutchEnhanced。它可用作评测各类中文分词算法对搜索引擎的影响的实验平台。对NutchEnhanced的搜索质量与Nutch、Google、百度进行了对比评测。结果表明它远优于Nutch，其查全率达到了0．74，前30个搜索结果的查准率达到了0．86，总体上具有与Google，百度接近的中文搜索质量。     

消除C++分析器分析过程中的二义性

C++语言的文法十分复杂,采用LL(k)或者LR(k)分析方法都面临二义性问题。另外,内联函数分析,名字查找,模板分析,需要采用特殊的方法解决,本文主要阐述了这些问题,并结合实际的分析器JLParser提出了其解决方法。     

程序动态分析系统中插装方式的改进

动态分析是程序理解的重要方法,而插装技术是其中常用的关键技术之一.介绍了QESat/C 中动态分析子系统的插装策略,在其基础上提出并实现了新的插装器并改进了插装探针库的效率.实验表明,改进后的动态分析子系统具有插装速度快、动态结果文件小、动态信息合并效率高的优点.展望了现有系统如何支持新的动态分析技术,最后对全文进行了总结.     

实时嵌入式软件的测试技术

实时嵌入式软件作为应用软件的大流派,在很多领域有着极其广泛的应用,但其质量却令人担忧,本文首先概括地介绍了实时嵌入式软件的应用现状,在详细分析了实时嵌入式软件的特征－实时性、嵌入性特性反应性－的基础上,综述了在该领域的国内外测试现状,包括各种测试方法,测试工具,测试策略和存在的问题,最后,对实时嵌入式软件的测试进行了小结。     

适应性软件体系结构研究

随着计算机技术的发展,信息系统渐渐深入到社会的各个领域,Internet正逐渐发展成第四媒体,成为社会生活中不可分割的一部分。电子商务的兴起使互联网应用从最初单纯的科研领域扩展到社会经济领域,也促进了Internet乃至整个IT产业更加迅猛的发展。Web的商业价值越来越重要,到2003年全世界电子商务的总支出估计将达1.3亿美元。根据CNNIC2001年1月的中国互联网络发展状况统计报告,目前我国己有上网计算机892万台,WWW站点265405个,其中商业站点221988个,占83.64％。Web的发展使Internet环境下软件的需求越来越大。     

基于聚类思想的软件可靠性模型选择

软件可靠性模型应用的不一致性一直是困扰软件可靠性研究人员的主要问题。模型选择和组合策略作为主要解决方法已成为模型应用的研究重点。该文主要探讨运用聚类思想进行软件可靠性模型选择的方法。根据针对实际失效数据的可靠性模型评价准则值编码,该文采用高斯混合模型进行聚类分析,使用EM算法估计高斯混合模型的参数,贝叶斯准则进行模型选择。为验证此方法的有效性和可行性使用了多个实际项目中的失效数据进行试验。结果表明,此模型选择方法简单有效,有利于软件可靠性模型应用不一致性问题的解决。     

多维状态驱动的需求工程过程方法研究

采用适用的过程模型有助于保证需求过程的需求开发效果。然而构造新过程模型仍然是一项富有挑战性的任务,即便对已有通用过程模型进行定制也需要大量的工作。多维需求过程模型的构造方法能够有效支持过程定义和定制。总结了已有多维需求过程模型。多维需求过程模型的构造方法能够有效支持过程定义和定制。总结了已有多维需求过程模型的构造方法现状;针对其存在的不足,进一步提出了一种多维状态驱动的需求工程过程方法(multi-dimension State-Driven Requirement Engineerlng Pricess Method)SDREPM,并给出了SDREPM方法的形式化定义和基于SDREPM的过程模型构造算法。最后给出了SDREPM方法在实际项目中的一个应用实例。     

一个高效的语法分析器生成工具

VPGE(Visual Parser Generation Environment)是一个可视化语法分析器集成开发环境,除了具有良好的界面和强大的调试功能,其LALR(1)分析器的生成速度达到并超过公认的分析器生成速度最快的LALR(1)分析器自动生成器Bison,所能处理的文法规模也优于Bison.本文在DeRemer和Pennello的LALR(1)分析器自动生成基本原理的基础上,在设计数据结构和算法实现中采用了大量优化技术.     

从UML设计模型到测试模型的研究*

为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程.通过实例说明如何从UML设计模型转换为UTP测试模型的过程.此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持.     

大型交互式领域应用软件白盒测试的组织和实施*

针对具有大型、交互式、领域特点的软件系统,对于实际的白盒测试项目进行了认真总结,系统地阐述了该类软件测试的技术、方法、策略、过程以及管理.通过描述测试项目的组织和实施过程,提出了进行大型交互式软件测试的基本思路,即从过程、管理、培训以及测试方法等方面提取共性特征.最后对测试发现的软件问题进行统计和分析,验证测试的有效性和意义.