题名 航天测试与测试体系结构
被引量：7
1
作者
孟汉城
机构
航天总公司测控公司
出处
《测控技术》
CSCD
1998年第2期1-3,共3页
关键词
航天测试 地面测试 系统 测试体系结构
分类号
V556
[航空宇航科学与技术—人机与环境工程]
题名 VSTS 2010测试体系结构
被引量：1
2
作者
高阳
机构
微软
出处
《程序员》
2010年第2期102-104,共3页
文摘
软件产品同任何事物一样，要经历孕育、诞生、成长、成熟、衰亡几个阶段。一般我们把软件从产生到报废的过程称为SDLC（Software Development Life Cycle），即软件开发生命周期。周期内包含问题定义、可行性分析、总体描述、系统设计、编码、调试和测试、验收与运行、维护升级到废弃等阶段，按时间分程是软件工程中的一种重要的思想原则。
关键词
测试体系结构 软件产品 生命周期 软件开发 思想原则 软件工程
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
V556
[航空宇航科学与技术—人机与环境工程]
题名 开放性测试软件体系结构研究
被引量：7
3
作者
王学奇 陈华勇 肖明清
机构
西安空军工程大学工程学院 重庆解放军
出处
《微计算机信息》
北大核心
2005年第10X期145-147,共3页
基金
国防"十五"预研基金项目 编号不公开。
文摘
开放性测试软件体系结构是实现测试系统可扩展性、可移植性的关键,减少测试系统开发和维护费用的关键。TestStand提供了许多实现开放性测试软件体系结构的特征。以TestStand为核心,提出了一个开放性测试软件体系结构的基本方案,并介绍了组成测试软件体系结构的各个组件并对其进行了详细分析。
关键词
开放 测试 软件体系 结构 TESTSTAND
Keywords
open test software architecture TestStand
分类号
TP308
[自动化与计算机技术—计算机系统结构]
题名 一种软件体系结构测试序列生成方法
4
作者
孔庆彦 伦立军 刘永纯 宋益波
机构
哈尔滨商业大学计算机与信息工程学院 哈尔滨师范大学计算机科学与信息工程学院 哈尔滨工业大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第4期628-631,共4页
基金
黑龙江省教育厅科技项目(10541098)资助
文摘
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测试序列的过程.
关键词
软件体系 结构 测试 化学抽象机 反应规则依赖图 测试 序列
Keywords
software architecture testing CHAM RDG test sequences
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 面向图文法的体系结构测试方法研究
5
作者
张迪 伦立军
机构
哈尔滨师范大学
出处
《哈尔滨师范大学自然科学学报》
CAS
2010年第1期78-82,共5页
文摘
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.
关键词
软件体系 结构 测试 图文法 接口互联图 测试 路径
Keywords
Software architecture testing Graph grammar Interface interconnect graph Test path
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于π演算的软件体系结构测试技术
6
作者
许慧 伦立军
机构
哈尔滨师范大学计算机科学系
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第13期55-57,共3页
基金
黑龙江省教育厅科技基金资助项目(10541098)
文摘
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性。
关键词
软件体系 结构 测试 Π演算 测试 准则测试 路径
Keywords
software architecture test n calculus test criteria test paths
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 英语测试体系发展的三个阶段
被引量：6
7
作者
吴明媚
机构
厦门教育学院
出处
《厦门教育学院学报》
2004年第3期58-60,63,共4页
文摘
本文着重阐述英语测试体系发展的三个过程,即科学前测试体系,结构主义测试体系,交际式测试体系,并分析影响它们产生的语言观和语言学习观,说明三代测试体系的不同特点。同时结合当前我国的一些大规模考试(如高考、公共英语等级考试和大学英语四、六测试),说明英语测试体系的发展在我国的体现。
关键词
科学前测试 体系 结构 主义测试 体系 交际式测试 体系
分类号
H310.4
[语言文字—英语]
题名 法国通用自动测试平台ATE发展综述
被引量：5
8
作者
蔡小斌 王红 王宏伟
机构
北京长城航空测控技术研究所 中国航空工业第一集团公司科技发展部
出处
《测控技术》
CSCD
2000年第6期1-4,共4页
文摘
论述了法宇航AerospatialeMatra从“协和”飞机着手开展自动测试技术研究以来的发展状况 ,介绍了军民通用的ATEC 6系列和军用的SESAR 30 0 0系列自动测试平台的体系结构及应用。在当前发展测试技术大好环境下 ,对如何借鉴国外成功经验 ,提高我国通用测试技术水平和能力提出几点建议。
关键词
自动测试 平台 测试体系结构 ATE 法国
Keywords
testability,test standard,automatic test equipment,test program set,test architecture
分类号
TP23
[自动化与计算机技术—检测技术与自动化装置]
题名 未来军用测试系统的发展前景
被引量：33
9
作者
程嗣怡 肖明清 郑鑫
机构
西安空军工程大学工程学院
出处
《微计算机信息》
北大核心
2006年第04S期170-173,共4页
基金
电子测试技术国防科技重点实验室基金资助 项目编号:51487020305JB3201
文摘
文章简述了现有自动测试系统的结构特点和不足之处,结合国内外测试系统领域的发展状况、出现的新技术,详细分析了未来自动测试系统的体系结构与标准,重点论述了未来自动测试系统开发所涉及的LXI仪器总线、并行测试、综合仪器、公共测试接口、网络测试、测试软件开发(CORBA、仪器可互换、TPS可移植与互操作、ATML)等关键技术,明确了未来军用测试系统的研究与发展方向。
关键词
自动测试 系统 测试 系统体系 结构 测试 技术并行测试
Keywords
automatic test system test system architecture test technologies
分类号
TP274
[自动化与计算机技术—检测技术与自动化装置]
题名 基于CHAM模型的LTS状态树生成算法
被引量：2
10
作者
叶俊民 王振宇 曹瀚 赵恒
机构
哈尔滨工程大学计算机科学与技术学院
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
2003年第3期287-291,共5页
基金
武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020).
文摘
标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(softwarearchitectures,SA)测试计划生成的研究中,需要从化学抽象机(chemicalabstractmachine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.
关键词
化学抽象模型 软件体系 结构 LTS生成算法 体系 结构 测试
Keywords
CHAM specification LTS generation algorithm software architecture testing.
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
