Open Access
表3
C程序断言验证方法的验证范围
| 编号 | 断言表达式类型 | 表达式值 | 验证措施 |
| 1 | 基本断言 | 静态确定 | 直接验证 |
| 2 | 基本断言 | 动态依赖全局变量 | 插入确定全局变量的激励函数 |
| 3 | 基本断言 | 动态依赖函数参数 | 插入确定参数的激励函数 |
| 4 | 基本断言 | 动态依赖函数返回值 | 插入确定返回值的激励函数 |
| 5 | 包含规约运算的断言 | - | 对规约运算作等价处理 |
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.