一种软件体系结构测试序列生成方法

软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测试序列的过程.

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.

基于π演算的软件体系结构测试技术

针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性。

开放性测试软件体系结构研究

开放性测试软件体系结构是实现测试系统可扩展性、可移植性的关键,减少测试系统开发和维护费用的关键。TestStand提供了许多实现开放性测试软件体系结构的特征。以TestStand为核心,提出了一个开放性测试软件体系结构的基本方案,并介绍了组成测试软件体系结构的各个组件并对其进行了详细分析。

VSTS 2010测试体系结构

软件产品同任何事物一样，要经历孕育、诞生、成长、成熟、衰亡几个阶段。一般我们把软件从产生到报废的过程称为SDLC（Software Development Life Cycle），即软件开发生命周期。周期内包含问题定义、可行性分析、总体描述、系统设计、编码、调试和测试、验收与运行、维护升级到废弃等阶段，按时间分程是软件工程中的一种重要的思想原则。

英语测试体系发展的三个阶段

本文着重阐述英语测试体系发展的三个过程,即科学前测试体系,结构主义测试体系,交际式测试体系,并分析影响它们产生的语言观和语言学习观,说明三代测试体系的不同特点。同时结合当前我国的一些大规模考试(如高考、公共英语等级考试和大学英语四、六测试),说明英语测试体系的发展在我国的体现。

法国通用自动测试平台ATE发展综述

论述了法宇航AerospatialeMatra从“协和”飞机着手开展自动测试技术研究以来的发展状况 ,介绍了军民通用的ATEC 6系列和军用的SESAR 30 0 0系列自动测试平台的体系结构及应用。在当前发展测试技术大好环境下 ,对如何借鉴国外成功经验 ,提高我国通用测试技术水平和能力提出几点建议。

未来军用测试系统的发展前景

文章简述了现有自动测试系统的结构特点和不足之处,结合国内外测试系统领域的发展状况、出现的新技术,详细分析了未来自动测试系统的体系结构与标准,重点论述了未来自动测试系统开发所涉及的LXI仪器总线、并行测试、综合仪器、公共测试接口、网络测试、测试软件开发(CORBA、仪器可互换、TPS可移植与互操作、ATML)等关键技术,明确了未来军用测试系统的研究与发展方向。

基于CHAM模型的LTS状态树生成算法

标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(softwarearchitectures,SA)测试计划生成的研究中,需要从化学抽象机(chemicalabstractmachine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.