《表5 组合验证性质描述模板》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《面向限定自然语言需求的AADL自动生成工具》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

通过RNLreq到AADL的转换，生成初始AADL设计模型.为了增强AADL设计模型对组合验证的支持，需在AADL设计模型中添加组合验证所需的约束信息.因此，本文面向AGREE假设保证附件，提出一个面向组合验证的性质描述模板，用以辅助用户增加组合验证所需的相关信息，其结构如表5所示.