测试平台自动化与约束技术指南.pdfVIP

测试平台自动化与约束

本将演示如何在约束随机测试平台中使用表示数据对象的类。本重点

说明以下关键内容：

•使用类表示数据结构

•指定应随机化的数据值

•指定约束条件

•在测试平台中生成定向随机值

•利用覆盖率来量化和指导验证

定向随机验证

传统上，基于仿真的验证采用定向测试方法。换言之，测试平台使用特定数

据值来实现测试。以系统为例，无法对其进行穷尽测试——为每个可能的

地址按所有可能的序列写入每个可能的数据值是不现实的。

1。在定向测试方法中，您可能会选择一些适当的数据值并将其写入选定的

内存位置，然后再出来。这种方法的一个问题是可能会遗漏某些类型

的系统错误——例如特定地址或使用特定数据值时出现的错误。2。采用随

机测试方法可能会发现更多错误，但除非长时间运行模拟，否则仍可能无

法检测到某些问题。3.

在定向随机测试中，您可以通过约束条件控制数据

值的随机程度。例如，您可能希望确保某些内存位置被彻底测试，并且

“边界情况”（如最小和最址值等重要案例）必须被测试到。您可能

还需要按地址升序或降序进行写入操作。

TestbenchAutomationand

Co