《表2 模型转换：基于概率模型检测的移动应用缺陷评估》

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

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

《基于概率模型检测的移动应用缺陷评估》

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

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

将回调序列概率模型转换成PRISM模型语言表示，典型模型转换形式见表2。按照PRISM模型语言语法定义进行转换，回调节点、回调边、以及转移概率采用定义的形式表示。概率值表示节点到节点之间转移可能性大小。模型转换过程中，定义状态变量与缺陷变量，使用整数形式初始化状态变量和缺陷变量。