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