安全苛刻系统自动化测试的形式化语义模型

摘要：

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.

关键词：安全苛刻系统、测试、自动化测试、设备协同、高阶演算、标记转换系统、实时

所属期刊栏目：25

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

资助基金：国家自然科学基金61300007,61003016;软件开发环境国家重点实验室开放基金SKLSDE-2012ZX-28,SKLSDE-2013ZX-11

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

页数：共17页

页码：489-505