如何像验证工程师一样思考？
发布时间：2024-03-25来源：ICer消食片
验证工程师总是强调为什么和是什么，而不是问如何完成事情。在阅读规范后，一旦得为什么和是什么的答案，就完成了一半以上的工作。所以关键是要发展一个思维过程，用你的创新思维和随机刺激来打破RTL。这就是验证工程师认为语言或方法是一种做事的工具，任何人都可以从任何平台学习语法，但要考虑更多场景才能破解任何设计。所以各位是想更多地关注语言的语法，还是关注验证工程师的思维过程，以生成更多的场景?
举个例子：为咖啡自动售货机编写测试场景
在直接开始编写测试场景之前，请彻底理解并阐明规范。例如：
这是一台普通的自动售货机还是一台数字自动售货机?
它可以处理多少产品?
它接受硬币和现金吗?
它接受数字支付/信用卡吗?如果是，哪些都是可以接受的?
这是普通的键盘还是触摸板?
在了解规范后并澄清了所有疑问后，才应该开始思考或编写测试场景来验证特定设计。
验证咖啡自动售货机的示例方案：
1.验证咖啡成分的输入机制——牛奶、水、咖啡豆/奶粉等
2.确认每份热水、牛奶、咖啡粉的量是否正确
3.验证突然关闭机器或切断电源的效果。在这种情况下，机器应该停止，在恢复供电时，剩余的咖啡不应该流出
4.验证咖啡在不运行时不应泄漏
5.验证单份咖啡的量是否符合规格
6.验证数字显示屏是否显示正确的信息
7.检查是否可以使用电源按钮打开和关闭机器
8.检查机器开关时指示灯是否亮起
9.验证按下时所有按钮的功能是否正常工作
10.确认在一次操作中应倒出全部咖啡量，不应有残留咖啡
11.验证清洁系统正常工作的机制
12.验证每次机器供应的咖啡是否具有相同且正确的温度
13.验证系统在成分用完时是否应显示错误
14.确认多次按下咖啡按钮是否会导致多份咖啡
15.确认机器中是否有残留/额外咖啡的通道
16.验证机器在运行时不应发出太大的声音
17.性能测试 – 检查机器提供单份咖啡所需的时间
18.性能测试 – 检查机器在连续使用时的性能，直到成分超出要求
19.错误注入测试 – 同时按下两个/多个按钮时检查咖啡机的功能
20.错误注入测试 – 如果超出配料容器的容量，请检查咖啡机的功能
如何跟踪验证项目的进度?使用什么指标?
许多指标用于跟踪针对计划的验证进度。验证计划根据定向测试或功能覆盖率监控详细场景和极端情况来捕获要验证的场景/功能。
该计划还捕获了有关验证环境开发的详细信息，其中包括激励生成和检查方法。
通过跟踪环境开发(stimulus generator, checker, monitor等)、测试开发和功能覆盖率开发的完整性，可以在项目的早期阶段跟踪进度。一旦大多数测试和受约束的随机生成器被开发出来，测试通常在服务器上作为回归运行，然后根据回归通过率、错误率和功能覆盖率来监控进度。
如何衡量验证的完整性，或者如何才能说验证完成?
这是每个验证工程师最常见和反复问到的问题之一。当设计的实现行为与设计规范匹配且没有任何错误时，可以称为功能验证完成。为了实现这一点，我们需要对设计施加激励，以涵盖所有可能的输入场景，并验证设计是否符合规范，没有任何错误。然而，随着设计的复杂性不断增加，实际上不可能定义所有可能的输入激励场景。此外，资源和时间的限制也使这种理想的完整性定义变得不切实际。因此，在大多数项目中，验证完整性通过一组指标和流程来保证质量的，这些指标和流程将出现设计缺陷的风险降至最低。
以下是为实现验证完整性而遵循的一些指标和流程：
查看验证计划和设计规范，以确保理解并捕获所有细节。
确保在环境开发、测试开发和功能覆盖方面具有适当的完整性。
审查测试平台激励generator、 constraints、checkers等等的实现。
确保所有测试都跑上回归，并且始终没有失败，满足所有覆盖率指标。
确保错误率和未解决的错误率为零，或被充分解释为对设计没有影响。
重要场景的波形回顾。
确保完成形式验证(尽可能)。
将bug的发生率与过去具有类似复杂性的成功项目的发生率进行比较。
相关推荐：
【免责声明】：本站部分文章为转载或网友发布，目的在于传递和分享信息，并不代表本网赞同其观点和对其真实性负责；文章版权归原作者及原出处所有，如涉及作品内容、版权和其它问题，我们将根据著作权人的要求，第一时间更正或删除。
