面向对象的软件测试

软件的测试时软件开发的重要部分,是保证软件质量提高软件性能的关键。面向对象的软件测试具有它自己的特点,需要与传统的软件测试相区别,因此面向对象的软件测试则被分成不同的阶段,本文将面向对象软件测试层次划分为六个个层次,主要介绍了面向对象软件测试的以下三个层次:类测试、集成测试和系统测试。     

面向对象软件测试的研究

面向对象软件测试是面向对象软件开发的不可缺少的一环,是保证软件质量,提高软件可靠性的关键。文中分析了面向对象程序设计语言的特点及其对软件测试的影响,总结了面向对象软件测试的内容、测试层次及测试用例的设计方法,同时讨论了面向对象软件测试技术的现状与发展。     

面向对象软件测试的研究

面向对象软件测试是面向对象软件开发的不可缺少的一环,是保证软件质量,提高软件可靠性的关键.文中分析了面向对象程序设计语言的特点及其对软件测试的影响,总结了面向对象软件测试的内容、测试层次及测试用例的设计方法,同时讨论了面向对象软件测试技术的现状与发展.     

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

以软件工程中面向对象软件开发模式为参考,具体阐述了面向对象分析、面向对象设计、面向对象编程的测试注意点和测试过程,并依照传统的单元测试、集成测试、系统测试三个测试步骤,借鉴传统测试方法以及面向对象软件测试层次结构,详细探讨了面向对象单元测试、面向对象集成测试和面向对象系统测试的测试策略,并对相关问题进行了探讨。     

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

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量、提高软件可靠性的关键。本文在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术，提出了将对类层的测试作为基本的单元测试的思想和方法。     

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

面向对象软件测试是面向对象软件开发的不可缺少的一环,是保证软件质量、提高软件可靠性的关键。本文在分析面向对象程序设计语言对软件测试影响的基础上,讨论了面向对象软件测试的测试策略及测试技术,提出了将对类层的测试作为基本的单元测试的思想和方法。     

面向对象软件测试的方法分析

本文讨论了面向对象软件测试的策略及技术．提出了将对类层测试作为基本单元的测试思想和方法。     

面向对象的软件测试模型及策略研究

以软件工程中面向对象软件开发模式为参考,具体阐述了面向对象分析、面向对象设计、面向对象编程的测试注意点和测试过程,并依照传统的单元测试、集成测试、系统测试三个测试步骤,借鏊传统测试方法以及面向对象软件测试层次结构,提出了面向对象软件测试的策略和一个实用面向对象的软件测试模型,并对相关问题进行了探讨。     

概述面向对象的软件测试方法

目前人们对软件越来越依赖,因此对软件质量也提出了更高的要求。软件测试是检测软件质量的一种有效的手段和方法。本文从面向对象的特点出发,概述了面向对象的软件测试模型,总结了面向对象的软件测试方法。     

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

主要讨论了程序编写完后方法和类的测试,并结合实践给出了测试策略;结合实际基于面向对象的测试方法,设计了相应的测试用例,提出了一种新的基于类集的测试方法,该方法针对软件测试过程中类测试速度要求及类涵盖要求而设计,提高了类测试效率。     

面向对象单元测试的案例教学法

该文介绍了在软件测试课程的教学过程中,结合学生所学的Java的相关知识,用案例教学法来讲解面向对象单元测试这一教学内容,让学生既能理解理论知识又能掌握实践技能,提高学生的学习兴趣,培养学生的动手能力。     

面向对象软件多态交互的测试

在面向对象软件测试领域,合理选择测试用例集合,覆盖复杂的多态交互情形,一直是软件测试研究的热点。该文基于pair-wise测试理论,提出一种选择测试用例的贪心算法,该算法可以有效地筛选测试用例,提高测试效率,降低测试成本。并介绍了在多态交互的单元测试框架中使用装饰型设计模式,有效地提高了测试代码的效率。     

一种面向对象的专家系统设计方法

近年来,已经有不少面向对象技术运用于专家系统的研究。该文提出一种新的面向对象专家系统的设计方法。首先介绍系统总体结构,给出知识表示模型和推理机制,并且引入RMG的概念,进一步提出运用RMG完成推理过程的算法。最后把提出的方法应用于中西医结合糖尿病诊疗专家系统的开发。实践证明此方法是有效的。     

面向对象的无损检测工艺设计专家系统

无损检测工艺确定在压力容器制造中占有重要地位,基于面向对象技术建立X射线、超声波、磁粉、渗透等检测技术的综合无损检测工艺专家系统,系统由主控模块、规范设计模块、监测管理模块以及知识库等组成。开发结果表明,采用面向对象技术不仅保证了系统运行的有效性,同时也显著提高了系统开发效率和系统可维护性和扩充性。     

浅谈面向对象软件类的测试

面向对象软件测试与传统的软件测试区别不大,只有类和类簇的测试才体现了面向对象软件测试的特点,而两者之间又以类的测试最为关键。本文通过对状态机模型生成类的测试序列的方法和代码实现以及基于状态测试法的测试数据生成的问题的探讨,认为基于状态的测试方法和基于代数规约的测试方法(ASTOOT方法)将是类测试的主要的发展方向,其余方法大多只能以辅助的面貌出现。     

Dual programming approach to software testing

The testing phase of the software development process consumes about one-half of the development time and resources. This paper addresses the automation of the analysis stage of testing. Dual programming is introduced as one approach to implement this automation. It uses a higher level language to duplicate the functionality of the software under test. We contend that a higher level language (HLL) uses fewer lines of code than a lower level language (LLL) to achieve the same functionality, so testing the HLL program will require less effort than testing the LLL equivalent. The HLL program becomes the oracle for the LLL version. This paper describes experiments carried out using different categories of applications, and it identifies those most likely to profit from this approach. A metric is used to quantify savings realized. The results of the research are: (a) that dual programming can be used to automate the analysis stage of software testing; (b) that substantial savings of the cost of this testing phase can be realized when the appropriate pairing of primal and dual languages is made, and (c) that it is now possible to build a totally automated testing system. Recommendations are made regarding the applicability of the method to specific classes of applications.     

面向对象程序设计在工业控制中的应用

提出了一种全新的研究方案,以一个饲料生产工艺系统为例,着力阐述了面向对象程序设计的思想,建立了饲料生产工艺流程控制的面向对象的模型。研究了面向对象的封装性、继承性和多态性及可视化软件的分层技术。结果表明,利用面向时象的方法分析和设计的饲料生产工艺流程控制系统其运行正常、稳定,仓下料从未出现超差,控制精度达到+0.2kg。     

InRob: An approach for testing interoperability and robustness of real-time embedded software

Advances in digital technologies have contributed for significant reduction in accidents caused by hardware failures. However, the growing complexity of functions performed by embedded software has increased the number of accidents caused by software faults in critical systems. Moreover, due to the highly competitive market, software intensive subsystems are usually developed by different suppliers. Often these subsystems are required to interact with each other in order to provide a collaborative service. Testing approaches for subsystems integration support verification of the quality of service, focusing on the subsystems interfaces. The increasing complexity and tight coupling of real-time subsystems make integration testing unmanageable. The ad-hoc approach for testing is becoming less effective and more expensive. This article presents an integration testing approach denominated InRob, designed to verify the interoperability and robustness related to timing constraints of real-time embedded software. InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems. The proposed formalism supports automatic test cases generation by verifying the relevant properties in the service behavioral model. As timing constraints are critical properties of aerospace systems, the feasibility of InRob is showed in the integration testing process of a telescope onboard in a satellite. The process is instantiated with existing testing tools and the case study is the software embedded in the telescope.     

A Model-Based Approach to Object-Oriented Software Metrics

The need to improve software productivity and software quality has put forward the research on software metrics technology and the development of software metrics tool to support related activities.To support object-oriented software metrics practice efectively,a model-absed approach to object-oriented software metrics is proposed in this paper.This approach guides the metrics users to adopt the quality metrics model to measure the object-oriented software products .The development of the model can be achieved by using a top-down approach.This approach explicitly proposes the conception of absolute normalization computation and relative normalization computation for a metrics model.Moreover,a generic software metrics tool-Jade Bird Object-Oriented Metrics Tool(JBOOMT)is designed to implement this approach.The parser-based approach adopted by the tool makes the information of the source program accurate and complete for measurement.It supports various customizable hierarchical metrics models and provides a flexible user interface for users to manipulate the models.It also supports absolute and relative normalization mechanisms in different situations.     

面向对象软件体系结构的形式化模型

软件体系结构设计中的形式化方法，一直是软件工程领域中的研究热点。而在面向对象环境中如何对体系结构进行形式化，以精确描述其静态结构与动态交互行为，则一直未有好的解决办法。本文使用符号逻辑方法描述面向对象系统中的基本组成单元，并使用有限自动机建立面向对象体系结构的形式化模型。