安全苛刻系统测试语言中的测试设备协同语句

• 作者: 吕江花 孙波 李先军 马世龙 高世伟
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信性 自动化测试 测试设备协同 操作语义 安全苛刻系统
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件形式化方法与应用专题
• 页码范围: 562-579
• 页数: 18页
• 分类号: TP311
• 字数: 14664字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004981

摘要

安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则.最后,对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙波		10	95	7.0	9.0
2	马世龙	北京航空航天大学计算机学院	58	445	8.0	20.0
3	李先军	北京航空航天大学计算机学院	9	141	3.0	9.0
4	吕江花	北京航空航天大学计算机学院	15	52	5.0	6.0
5	高世伟	北京航空航天大学计算机学院	3	13	2.0	3.0