云南高校图书馆联盟文献共享服务平台- 测试语言

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

安全苛刻系统测试语言中的测试设备协同语句被引量：1: 《软件学报》2016年第3期562-579,共18页吕江花高世伟马世龙孙波李先军; 国家自然科学基金(61300007);北京航空航天大学软件开发环境国家重点实验室基金(SKLSDE-2015ZX-09;SKLSDE-2014ZX-06);国家科技支撑计划(2013BAH46F00)~~; 安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发...; 关键词：可信性自动化测试测试设备协同操作语义安全苛刻系统