基于UML状态图的类状态测试

在介绍UML状态图的基础上,以面向对象软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,并在Eclipse平台上结合Java工具用手工选择测试数据进行了实例测试.     

面向对象软件的回归测试策略研究

面向对象软件测试已成为软件工程领域的一个重要研究课题.目前已提出的回归测试策略大都是针对结构化程序的,对面向对象软件的回归测试策略研究得很少.文章在分析面向对象程序设计语言对软件测试影响的基础上,讨论了面向对象软件测试的测试策略,重点研究了基于类的回归测试策略.     

面向对象软件的测试方法

面向对象软件测试技术的研究是面向对象开发方法不可缺少的一环.它是一种不断发展、完善的技术.主要介绍了目前具有代表性的面向对象测试方法,例如:基于方法序列规范的测试、基于类流图的测试、ASTOOT方法等.     

基于ODDWG的面向对象软件集成测试序列生成

为了更好地完成面向对象软件测试中的集成测试,提出了一种基于UML类图的面向对象软件集成测试方法。首先从UML类图的文件中利用RationalRose提供的接口将类图中的类内信息、类间信息提取出来,并计算每个类的内聚度以及类间耦合度,同时把每个类看作有向图的结点,类的内聚度、类间耦合度的加权作为节点的权值,类间关系的出度作为关系的权值。根据动态绑定的特点,在图中添加类间可能存在的动态绑定线索;然后,遍历该动态对象赋权图生成集成测试的测试序列;最后对生成的序列进行筛选,得出最有效的测试序列。实验证明该方法是有效的。     

基于UML模型和OCL约束的类间交互测试用例生成方法研究

 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.     

基于UIO序列的类重要性度量

程序理解是测试和维护大规模面向对象程序的关键,选择程序的关键类优先开展分析是理解程序结构的一个有效的方法.为支持自动识别软件系统中的关键类,本文提出了一种基于UIO序列的类重要性度量方法.首先将软件系统抽象为一个以类为转换的有限自动机模型,随后求解该自动机的UIO序列,将该序列集合转化为状态转换树.通过递归计算状态转换树的节点复杂度求得类重要度.并在考虑异常传播的基础上改进了算法.最后通过实验验证了算法的有效性.     

基于深度强化学习的类集成测试序列生成方法

类集成测试序列的生成是面向对象软件测试中的关键步骤，当类的测试序列不同时，相应的测试代价也不相同.在集成测试中生成一个合理的类集成测试序列可以有效降低软件测试的代价.本文将深度强化学习中的Advantage Actor-Critic算法应用于解决类集成测试序列生成问题.首先，利用类间各种依赖关系构建与智能体交互的环境模型；然后，记录智能体从初始状态到终止状态的路径，即每次选择的动作对应每次选择集成到序列的类编号；最后，得出最终的类集成测试序列.实验结果表明，本文方法所得到的类集成测试序列花费的总体测试桩复杂度，在选取的7个项目中有5个表现最佳，在剩余2个项目中表现中等.     

基于测试路径集运算的类回归测试策略研究

从基于状态的类测试策略出发,提出了一种基于测试路径集运算的类回归测试策略。该策略将回归测试作为一个连续的过程以测试路径为运算对象。对已修改的类重新生成测试集,通过与原测试集进行简单的集合运算从中选取可用于回归测试的测试用例。研究表明,该策略能充分利用历史测试数据,降低运算复杂度,提高回归测试的效率。     

面向对象软件测试技术与方法的管理

面向对象软件开发方法是解决软件危机的有效手段，但面向对象技术开发的软件代码重用率高，需要严格测试，以避免错误的繁衍。文章介绍了如何采用软件工程的原理和方法对面向对象软件进行评审和测试以及如何基于不同需求进行测试用例的设计。     

测量技术与设备

Y2001-62856-1019 0119306测试与设计(含5篇文章)=WP-2.14:Testing and de-sign[会,英]//2000 IEEE International Conference onSystems,Man and Cybemetics.—1019～1046(NiK)本部分收录5篇论文,内容涉及分类图在面向对象类级测试方法有敛性分析中的应用,面向对象聚类级测试的动态方法,改进多技术系统高层设计的过程,电梯系统的修正设计计算等。     

软件集成测试技术研究

首先分析了集成测试的原理和特点，并指出了集成测试的重要性。然后结合传统软件与面向对象软件开发的方法和技术，详细介绍了传统软件的集成测试方法和策略，并深入分析了面向对象软件集成测试的原理和方法。     

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

软件测试是软件质量保证的重要前提,在软件开发中要十分重视软件测试在软件开发中的作用.针对面向对象软件测试方法的特点,从软件测试技术的过程、测试测评的方法等方面对软件测试技术进行探讨.     

Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework

Traditional approaches to software reliability modeling are black box-based; that is, the software system is considered as a whole, and only its interactions with the outside world are modeled without looking into its internal structure. The black box approach is adequate to characterize the reliability of monolithic, custom, built-to-specification software applications. However, with the widespread use of object oriented systems design & development, the use of component-based software development is on the rise. Software systems are developed in a heterogeneous (multiple teams in different environments) fashion, and hence it may be inappropriate to model the overall failure process of such systems using one of the several software reliability growth models (black box approach). Predicting the reliability of a software system based on its architecture, and the failure behavior of its components, is thus essential. Most of the research efforts in predicting the reliability of a software system based on its architecture have been focused on developing analytical or state-based models. However, the development of state-based models has been mostly ad hoc with little or no effort devoted towards establishing a unifying framework which compares & contrasts these models. Also, to the best of our knowledge, no attempt has been made to offer an insight into how these models might be applied to real software applications. This paper proposes a unifying framework for state-based models for architecture-based software reliability prediction. The state-based models we consider are the ones in which application architecture is represented either as a discrete time Markov chain (DTMC), or a continuous time Markov chain (CTMC). We illustrate the DTMC-based, and CTMC-based models using examples. A detailed discussion of how the parameters of each model may be estimated, and the life cycle phases when the model may be applied is also provided     

面向对象软件系统的项目管理和测试

本文主要就面向对象技术中的若干与传统软件开发方法不同的问题进行探讨，这些问题包括项目管理和软件测试。     

汽车安全测控系统中车辆报检的设计方法研究

为更好地提高汽车安全测控系统的性能,基于面向对象管理技术,讨论了车辆信息与报检信息的分析、设计方法,并依据现行检测标准与数学模型做出了说明。通过对管理规律的深刻认识,高度抽象出了车辆模板和报检模板,并提出了信息的动态继承模板技术。同时,检测项目的树状结构设计和组件化架构突破了测控系统任务处理受硬件工艺布局的限制。     

Efficient object-oriented integration and regression testing

This paper presents a model, a strategy and a methodology for planning integration and regression testing from an object-oriented model. It shows how to produce a model of structural system test dependencies which evolves with the refinement process of the object-oriented design. The model (test dependency graph) serves as a basis for ordering classes and methods to be tested for regression and integration purposes (minimization of test stubs). The mapping from unified modeling language to the defined model is detailed as well as the test methodology. While the complexity of optimal stub minimization is exponential with the size of the model, an algorithm is given that: computes a strategy for integration testing with a quadratic complexity in the worst case; and provides an efficient testing order for minimizing the number of stubs. Various integration strategies are compared with the optimized algorithm (a real-world case study illustrates this comparison). The results of the experiment seem to give nearly optimal stubs with a low cost despite the exponential complexity of getting optimal stubs. As being a part of a design-for-testability approach, the presented methodology also leads to the early repartition of testing resources during system integration for reducing integration duration     

基于GPIB的测试程序的研究与实现

本文介绍了通用接口总线（GPIB）,研究了如何用C＋＋来实现基于GPIB的测试程序,并给出了一个面向对象的示例模型。