《表1 实验用例组成：安全C语言验证器中形状系统的形状检查方法》

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

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

《安全C语言验证器中形状系统的形状检查方法》

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

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

本研究在安全C语言验证器的形状系统中，实现了文中所述的形状检查方法.为检查文中算法和相关实现的正确性以及真实系统环境下的效率，我们设计了不同形状级别预期的易变数据结构实验用例，其组成如表1所示，按照由简至繁的顺序，这些用例可以分为:简单形状、嵌套形状以及复杂形状，其中复杂形状用例表示含有多个不通过嵌套形状域相连的易变数据结构的形状图，如图3所示.本实验通过上述用例确保其能够覆盖形状检查方法的各处理阶段以及其中的判定规则.