%0 Journal Article
%T 安全苛刻系统自动化测试的形式化语义模型
%A 吕江花？
%A 马世龙？
%A 李先军？
%A 高世伟？
%J 软件学报
%P 489-505
%D 2014
%R 10.13328/j.cnki.jos.004412
%X 安全苛刻系统的可信性需求典型而迫切，其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统，手工测试实际上不可行，发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性，以ambient演算、ccs演算、论域理论等为基础，给出测试过程的高阶协同定义，建立一种层次化演算模型，为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织，给出安全苛刻系统测试过程自动化的工作模式.最后，通过扩展标记转换系统定义，给出高阶协同行为的收敛性和正确性的证明，论证了模型的可计算性，验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中，并成为航天器测试行为的日常工作规范.
%K 安全苛刻系统
%K 测试
%K 自动化测试
%K 设备协同
%K 高阶演算
%K 标记转换系统
%K 实时
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4412&flag=1