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

来源：软件学报杂志2016年第3期北京时间：

作者：吕江花,高世伟,马世龙,孙波,李先军

单位：吕江花，北京航空航天大学计算机学院, 北京 10019111,高世伟，北京航空航天大学计算机学院, 北京 10019102,马世龙，北京航空航天大学计算机学院, 北京 10019103,孙波，中国空间技术研究院, 北京 10009404,李先军，北京航空航天大学计算机学院, 北京 10019105

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

关键词：可信性;自动化测试;测试设备协同;操作语义;安全苛刻系统

基金资助：国家自然科学基金(61300007);北京航空航天大学软件开发环境国家重点实验室基金(SKLSDE-2015ZX-09,SKLSDE-2014ZX-06);国家科技支撑计划(2013BAH46F00)