面向对象簇级测试方法IPI的改进

本文首先介绍基于规格说明的一种面向对象簇级测试的动态方法IPI，然后对其作了改进，并且设计了一种原型系统以实现改进后的算法。     

基于UML顺序图的面向对象软件簇级测试用例生成

本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从＊．MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML文档的格式存储,以便于管理,并通过实例对该测试用例生成方法进行了验证。     

基于UML顺序图的面向对象软件簇级测试

提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从＊．MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过实例对该方法的正确性和有效性进行了验证。     

面向对象软件的形式规格说明技术

本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。     

面向对象的PROLOG程序测试工具的研究与实现

本首先对Ｐｒｏｌｏｇ程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法，接着介绍了一个面向对象的Ｐｒｏｌｏｇ程序测试工具的设计与实现。     

一种面向对象的软件复用框架

本文利用面向对象技术,提出了一种面向对象的软件复用框架,该框架采用面向对象的类来实现构件,为了提高构件库的组织管理效率,采用为构件库建立多个索引链等策略,构件检索采用模糊查询和详细查询的两个阶段来实现,构件集成采用基于星型拓扑结构的构件集成方法。     

一种面向对象的形式化设计方法──从COOZ需求规格说明到设计

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。     

青鸟面向对象软件建模工具的研究与实现

讨论了青鸟面向对象软件建模工具JBOO（Jade Bird object-oriented)的设计和实现方法，对JBOO所支持的青鸟面向对象规范作了简介，对JBOO的系统结构和功能进行了详细地描述，并提出了一种面向对象的软件建模工具的实现方法，最后，将JBOO与典型的 类工具作了比较。     

面向对象的电力系统智能软件人机接口的设计与实现

本文将面向对象方法用于电力系统专家系统的人机交互子系统的设计与开发，在微机４８６上基于Ｗｉｎｄｏｗｓ环境采用Ｂｏｒｌａｎｄ Ｃ＾＋＋语言实现了一个实际专家系统，说明了面向对象方法的有效性和灵活性。     

面向对象软件测试及测试用例设计

面向对象软件测试是面向对象软件开发的重要阶段．面向对象软件测试的用例设计是面向对象软件测试技术的重要组成部分。本文对面向对象软件测试技术的特点和层次的划分进行了研究，然后讨论了面向对象软件的测试用例设计的方法。     

一个实用面向对象软件度量工具的设计与实现

在分析了多种面向对象度量模型的基础上 ,设计并实现了一种实用的面向对象软件度量工具 .该工具从结构上保证了面向对象度量和面向结构度量的结合 ,与直接度量和间接度量的结合 .详细介绍了对象特征的分析 ,以及特征集和度量指标的存储设计 .最后举例验证该设计的实用性 ,并指出需进一步改进的方面 .     

一个面向对象软件测试工具实现及其实验研究

测试仍然是软件质量保证的最有效的手段。本文在开发了C＋＋语言面向对象的软件测试工具ErrSeed的基础上，通过对具体的C＋＋工程的测试，得出具体的测试结果数据，并对结果进行深入的分析。该工具还将测试结果存放在一个数据库中，以积累有效的数据，这对软件的质量评估以及有关评估模型的建立非常有意义。实验证明ErrSeed是有效的，对以C／C＋＋语言为开发工具的软件开发人员，测试人员及软件工程和软件逆向工程的科研人员有一定的帮助。     

面向对象软件度量工具的研究与实现

利用软件度量工具对程序源代码的各类质量属性度量已是提高程序质量的一个重要方法,文章提出了一个以中间件为核心适用于多种面向对象程序设计语言的软件度量工具的灵活的软件结构,同时介绍了自行设计实现的度量工具,最后指出了下一步的的研究方向。     

面向对象软件的测试方法研究

面向对象软件测试是保证面向对象软件开发项目质量的重要手段,而测试用例设计是实施面向对象软件测试的重要方面。从软件测试的技术出发,讨论了软件测试的技术特点,如何选择合适的测试方法,如何进行测试用例设计与工具选择,结合项目说明了测试实施和阶段划分。该领域的测试理论和技术还待完善,最终目的是克服软件测试的局限性,提高软件质量。     

面向对象簇级测试中类间测试序确定方法研究

通过对传统的对象关系图进行扩展，提出了EORD图和WORD图的概念．在确定类间测试序时，把需要生成的存根数目作为优化目标，还定义了联系强度、成环权重、边向因子等启发式规则，并将此作为剪去关联边破除环路的重要准则．分析目前已有算法的优缺点，提出了我们的确定类间测试序的AICTO算法．该算法首先着重处理环偶对中的关联边，较大地提高了算法效率，还具有创建存根时涉及到的类的数目少、能保留关联强度大的边和稳定性好等优点，并在原型系统CppTest中进行了实现．     

Class Tester:一个基于状态转换的类测试工具的设计与实现

面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C 语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器的自动生成的方法作了详细介绍.最后通过一个实例描述了该工具的工作流程.     

盟员集成测试工具的设计和实现

高层体系结构（Hjsh Level Architecture,HLA）能支持不同仿真类型之间的互操作,同时便于仿真建模和仿真部件的可重用。联盟开发必须根据联盟开发和执行过程模型进行,集成和测试联盟是联盟开发和执行过程模型的重要组成部分,在实际工作过程中它耗费了大量的人力和物力。为此,开发有效的盟员集成测试工具,具有十分重要的意义。文章首先分析了基于HLA的盟员一致性测试工具和集成测试工具应具备的功能,然后在此基础上提出了一个能集盟员一致性测试和集成测试功能为一体的盟员集成测试工具的体系结构,给出了该测试工具各功能部件的设计和实现方法,最后给出了对该工具的测试结果。     

一种多平台自动化测试工具的设计和实现

随着软件开发规模的增大,复杂程度的增加,软件测试变得越来越困难,自动化软件测试工具能够有效降低软件测试难度。该文提出了一种多平台软件自动测试工具,并对该工具设计和实现的过程进行了详细的说明。