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

• 作者: 吕江花 李先军 马世龙 高世伟
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安全苛刻系统 测试 自动化测试 设备协同 高阶演算 标记转换系统 实时
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 489-505
• 页数: 17页
• 分类号: TP311
• 字数: 14442字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004412

摘要

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