| |
| 随着嵌入式软件规模越来越大，可靠性要求越来越高，采用基于模型的开发方法已成为发展趋势。特别是一些基于模型的开发工具自带的代码生成器已经通过鉴定，其生成的代码已经不需要进行白盒测试。所以对基于模型开发的软件测试来说，模型的验证方法就尤为关键，因为模型的正确性决定了代码的正确性。
|
|
|
| 目前对模型采取的验证方法包括评审、分析和仿真。评审和分析都是静态的验证方法，而动态验证方法为仿真。通过动态仿真模型，可以发现模型动态运行过程中的一些问题。同时动态仿真完成后，可以根据动态仿真结果分析模型的覆盖率，而静态验证方法评审和分析的结果就不能作为模型覆盖率分析的基础。
|
|
|
| 模型的覆盖率类型主要包括条件覆盖、分支（或判定）覆盖、MC/DC覆盖、插值表覆盖、信号范围覆盖、组合逻辑块覆盖等。目前的工程实践中，经常使用的覆盖率类型包括条件覆盖、分支（或判定）覆盖和MC/DC覆盖。
|
|
|
|
|
|
|
|
|
|
|
|
京公网安备 11010502032051号 | 营业执照