CHAM在面向对象类测试中的应用

UML已经成为当前面向对象软件测试研究的重要方向.面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试.CHAM具有良好的动态特性可以很好地描述类状态的动态变换.LTS作为多种形式化语言的语义模型可以表达出类的动态特征.通过CHAM来描述UML状态图,并由CHAM生成LTS,最终通过对LTS的遍历生成测...     

基于XML的构件化软件集成测试方法研究

分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一种基于XML的规约驱动的构件化软件集成测试方法。     

基于CHAM的软件连接件形式化模型

软件连接件是软件体系结构中的一个重要概念,是构件间相互作用的媒体。用形式化方法对其模型加以描述是软件体系结构研究中的一个重点。化学抽象机形式化语言(CHAM：Chemical Abstract Machine)是一种通用的、简单直观的计算模型描述语言。本文在分析了连接件语义模型的基础上,提出了一种基于CHAM的软件连接件描述模型,从软件连接件静态组成及动态行为两个方面对连接件进行形式化、规范化地描述和分析,以期进一步实现简化软件连接件的设计、增强其通用性的目的。     

基于有穷自动机的路径覆盖测试方法①

软件测试是当前软件生成重要的研究课题。从源程序流程图开始,提出了基于自动机的路径覆盖算法,该算法将源程序通过转换规则构造成与之等价的有穷自动机,应用自动机的特性处理有穷自动机中回边,并通过有限自动机的覆盖路径算法实现路径覆盖测试路径的选择。此方法实现路径覆盖的目标,与其它路径覆盖算法相比,覆盖路径生成数少。     

支持集成与扩展的构件接口模型研究

接口是构件与外界交互的唯一场所,接口的设计直接涉及到构件集成与扩展的难易程度.提出了一个面向软件体系结构的具有性能约束的构件接口模型,该接口模型遵守构件的封装性,允许客户了解构件的拓扑结构等信息,支持构件在接口处的集成与扩展;同时还增加了性能描述和性能保障机制,以实现对构件的性能控制.该模型在某国防基础科研项目的研究中得到了应用,达到了比较好的效果.     

基于模型的实时系统测试方法

本文分析了基于模型的实时系统测试的主要特征,分类介绍了现有的测试方法,并对这些方法作了归纳、比较和评价,指出了这类测试面临的困难和今后的发展趋势。     

基于软件体系结构的集成适配器集成模式研究

集成适配器是构建分布应用集成的重要组件之一,能够完成应用程序间的连接、介入及转换等功能,屏蔽了应用集成复杂性.尽管集成适配器在分布应用集成中起到关键性的作用,但是目前缺少对集成适配器系统性的研究.本文通过调查分析已有的适配器,给出集成适配器的基本特征并从多个视角归纳总结了集成适配器的类型,进一步分析了集成适配器的集成模式.通过对集成适配器集成模式的研究,可以为不同集成场景提供解决方案并决定其适用范围,支持适配器的快速实现.最后,以资源适配器为例说明集成模式的应用.     

基于UCM的Web应用集成测试方法

UCM（Use Case Map）是一种基于场景的软件工程技术,能够以场景的形式模拟系统的功能。用于以可视化的方式描述一个或多个用例中行为之间的因果关系。文章提出一种基于UCM的web应用集成测试方法。该方法首先利用UCM描述Web系统的行为,得到测试场景,然后对测试场景参数化,最后通过对参数进行实例化生成具体的测试例。     

一种基于事件处理函数的GUI测试方法

事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI 测试的重点.针对现有的基于模型GUI 测试用例自动生成过程中面临的测试用例规模庞大以及生成的测试用例无效问题,从分析事件处理函数的角度出发,提出了一种GUI 测试模型EHG.针对此模型,结合事件处理函数及其代码结构,提出了两个测试覆盖准则：完整最短路径覆盖准则和完整最短路径定义-引用对覆盖准则;利用基于反馈的测试用例生成技术生成测试用例.实验结果表明,针对较为复杂的应用,该方法不仅能够有效控制测试用例规模,消除无效测试用例,而且生成的测试用例能有效提高事件处理函数的代码结构覆盖率.     

用于测试的SA动态模型生成方法

SA（软件体系结构）的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统（LTS）来模拟软件体系结构动态性的，利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。     

在语句覆盖和判定覆盖测试标准之间的差别分析

语句覆盖和判定覆盖测试标准是两个著名的测试标准，这两个标准广泛的应用于软件测试。本文就语句覆盖和判定覆盖测试标准之间手差别进行了分析证明和比较，旨在对不同的测试标准之间的差别分析后拟提出一个定量的度量算法。     

软件体系结构测试覆盖准则研究

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。     

基于覆盖的软件测试技术在实时嵌入式软件中的应用研究

基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。     

化学抽象机的分析与应用研究

1 引言化学抽象机形式化语言(CHAM:the Chemical Abstract Machine)最早是由法国科学家Gerard Berry和Gerard Boudol提出来的,它主要用于异步并行计算模型的建模,通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化。它把一个系统的状态看成化学溶液,溶液由分子组成,分子根据一定的反应规则相互反应又引起新的系统状态变化。溶液中不同的分子可以按照反应规则平行地进行反应,只要各自反应的分子集不重叠。由于CHAM在描述系统动态     

用于测试的SA动态模型生成方法

SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。     

Web服务软件测试技术进展

Web服务软件由于其强大的功能和良好的特性得到了越来越广泛的应用,但针对Web服务测试方法和技术的研究还处于初级阶段.通过对Web服务软件的特点的分析,归纳了近年来一些典型的Web服务测试方法和技术,并对当前较为有代表性的研究工作进行了总结,探讨了若干研究方向.     

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Def-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach.     

探析软件测试之集成测试

集成测试在软件测试中占有非常重要的地位,本文对集成测试的概念、集成测试的策略及集成测试的主要类型(阶段)进行了简单阐述,同时对几种重要的集成测试进行了分析。