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

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

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

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

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

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

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

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

面向测试的多视图构件模型

构件模型不仅是构件使用者理解、使用构件的重要依据，也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件，对构件测试中的测试要素的描述并不充分。在分析已有构件模型和构件测试要素的基础上，提出了扩展UML2．0描述的面向测试的多视图构件模型，并给出了实例。     

软件构件的可信保证研究

近年来，可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程（CⅨ汇）提供坚实的基础，而方法就是通过扩展与完善可信重用的软件构件（可信构件）库。构件的可信来源于可信保障技术的应用，如：契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域，总结出构件可信性的3个角度，探讨了可信构件研究的不足之处，并分析其原因。作为总结，给出了可信构件领域研究需要解决的若干问题。     

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

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

一种可重用构件的设计方法

随着计算机硬件的迅猛发展,软件变得越来越复杂,如何迅速高效地开发出易扩展、易维护、对需求变化具有适应性的软件成为一个急需解决的问题,基于构件的开发是解决这一问题的良好思路,而可重用构件及其结构的设计与优化是其中的关键,首先对现有的构件设施地简要介绍和评价,对构件模型进行卫定义,并给出了玫般情况下构件设计的步骤,然后在此基础上,用定性与定量相结合的方式,给出了玫种标识和设计构件的方法,以及相应的算法     

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

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

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

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