测试语言

作品数：42被引量：50H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：吴明行李晓维韩银和孟晨孙波更多>>
相关机构：中国科学院北京航空航天大学中国人民解放军军械工程学院中国人民解放军海军航空工程学院更多>>
相关期刊：《科技资讯》《计算机工程与设计》《北京航空航天大学学报》《航空兵器》更多>>
相关基金：国家自然科学基金国家重点实验室开放基金国家重点基础研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=自动化测试x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
RASL:嵌入式自动化测试语言被引量：4
《计算机工程与设计》2019年第6期1642-1647,共6页刘继华 白凤凤 强彦 
国家自然科学基金项目(61572344);国家重点实验室开放基金项目(VRLAB2018A08、BUAA-VR-16KF-13);山西省教育厅教学改革基金项目(J2018193);吕梁学院校级自然基金项目(zrxn201507)
针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷,设计一种可应用于嵌入式系统软件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型和程序结构,通过实例验证了该语言在支持嵌入式系统的自动化...
关键词：嵌入式系统 自动化测试 测试语言 协议描述 实时仿真 
安全苛刻系统测试语言中的测试设备协同语句被引量：1
《软件学报》2016年第3期562-579,共18页吕江花 高世伟 马世龙 孙波 李先军 
国家自然科学基金(61300007);北京航空航天大学软件开发环境国家重点实验室基金(SKLSDE-2015ZX-09;SKLSDE-2014ZX-06);国家科技支撑计划(2013BAH46F00)~~
安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发...
关键词：可信性 自动化测试 测试设备协同 操作语义 安全苛刻系统 
面向航天器自动化测试的通用测试语言及系统关键技术研究与应用被引量：1
《中国科技成果》2012年第13期62-63,共2页
作为典型的安全苛刻系统，航天器系统的任何隐患都会带来严重的甚至是灾难性的后果，其对可信的需求典型而迫切。航天器系统的可信性主要是通过测试进行评估和验证，通过分析测试获取的测试结果数据可以发现被测航天器系统中潜在的错误...
关键词：验证系统 测试语言 自动化测试 航天器 应用 技术 通用 可信性 
航天器自动化测试与航天器测试语言被引量：5
《北京航空航天大学学报》2009年第11期1375-1378,1407,共5页孙波 马世龙 余丹 
国家973资助项目(G2005CB321902);软件开发环境国家重点实验室探索性自主研究课题资助项目(SKLSDE-2009ZX-13)
通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天...
关键词：航天器 自动化测试 测试语言 常规测试语句 专用测试语句 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部