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

摘要：

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

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

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61300007;北京航空航天大学软件开发环境国家重点实验室基金SKLSDE-2015ZX-09,SKLSDE-2014ZX-06;国家科技支撑计划2013BAH46F00National Natural Science Foundation of China61300007;State Key Laboratory of Software Development Environment Foundation Beihang UniversitySKLSDE-2015ZX-09,SKLSDE-2014ZX-06;National Key Technology Support Program2013BAH46F00

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：562-579