中文 英语
德赢vwin
观点

验证和验证兄弟

真的把验证和验证称为兄弟吗?道格·阿莫斯试图证明这一点,但我认为他做得还不够。

受欢迎程度

在DVCON今年,Doug Amos占据了舞台导师,西门子的业务赞助午餐演示。对于那些那里的人,但决定跳过午餐,期待传统的强迫销售促销,你犯了一个错误。Amos是那些知道如何将幽默,教学和营销注入一个展示的稀有人之一,使得分离是干净的,并且听众始终知道他们所在的听力模式。他即将退休的太糟糕了。

Amos的演讲谈到了两者的区别确认并验证以及行业现在必须面对的额外任务中的许多额外任务将依赖于验证技术而不是过去的程度。他看了看力量,安全安全成为三个新兴领域,并谈到了越来越多的软件如何使这更复杂。

在他的演讲中,他介绍了各种着名的兄弟,如蜂王,王室和杰克逊兄弟。他幽默地将他们中的每一个绑在各种任务或需要在流动或工具中所需的任务或事物。作为一个例子,他谈到了杰克斯,因为在密切和谐或哈利和威廉是正式兄弟的多个发动机。

有一个强烈的信息贯穿了整个演讲。阿莫斯说:“可能压垮我们所有人的最大的大象就是大量的软件内容。”“硬件和软件的整合是困难的。有更多的软件进入我们的系统。这不只是依赖于硬件的软件需要集成,而是整个堆栈都需要集成。这种情况会发生在项目后期,市场营销人员会紧盯着你看你是否完成了项目。”

AMOS指出,有很少的标准可以帮助解决这些任务,而每公司今天必须为自己工作。所有流动中的常见因素都是FPGA.原型设计,因为这是唯一具有足够速度和准确性来运行大量软件的平台。

但是让我们退一步看看阿摩司是如何定义验证和确认的。


图1:验证和验证。资料来源:Doug Amos,Mentor,DVCON 2018

阿摩司是这样描述的。“当你买一件衬衫时,你可以证实关于它的一些事情。袖子的数量合适吗,大小合适吗,颜色合适吗,所有的纽扣都有吗?这些都是可以验证的。验证更像是询问它是否适合。我可以舒服地驾驶它吗?我是通过模拟一辆汽车来做到的,我“做电视驾驶”。它的颜色和我的眼睛匹配吗?我能买得起吗?我的约会对象会对它印象深刻吗?这些都是重要的事情。”

但是可以验证一个列表的原因,而另一个只验证是因为模型。如果我们有一个型号的身体,我们可以很容易地验证衬衫是否适合,并且在驾驶时它可以进行机动的公差。我们如何为这些事情进行验证?

验证和验证不仅仅是兄弟:我相信他们在童年时期是悲惨的事故的相同双胞胎。这种情况受到随机刺激产生的约束。虽然受限的随机允许的验证方面变得自动化和转换为机器驱动的方法的导向测试的生成,但它定义了验证是比较两个模型的行为的概念。

随着随机的受限,第二种模型成为重叠模型的MishMash,其中许多是他们试图表达的东西的代理。这就是为什么我们没有身体模型,我们可以确定衬衫是否适合。值得庆幸的是,我们可能能够至少部分地解决这个问题。在演示中,AMOS快速翻转过谈论的幻灯片便携式刺激。他以同样的方式呈现了许多其他人作为一种技术,允许从一个平台移植到另一个平台的技术。虽然这很重要,但它错过了几个关键点。

第一节 - 便携式刺激将定义硬件/软件抽象层,使验证环境能够以最小化用户努力来实现寄存器描述,驱动程序或软件堆栈的任何层。虽然我听到这个能力可能无法将其成于标准的第一版,但如果它没有成功,那将是一个很大的损失。

第二便携式刺激定义了产品实际上是什么。在衬衫示例中,它将定义“适合”的手段,因为这是系统级验证的主要目标。我们假设按钮已经在块级别验证,并且结构组件已成功完成。现在我们问 - 它适合目的,这是验证和验证。

第三个受限随机必须是涉及计算机资源时最低效的方法。随着系统变得更加复杂,花了很多时间锻炼了测试台正在做什么以及为什么。便携式刺激修复了许多问题。它产生的每一个测试都有一些有用的东西。鉴于验证任务的大小,这很重要。当我们需要查明系统时,我们不能在运行测试中运行测试,当我们需要在指定的时间内能够执行任务A和B时,我们需要了解设计内部的未连接内容。

我们即将开始定义验证的标准,以及验证和验证如何共同帮助彼此(参见合并验证和验证)。我不是说amos是错的,但他不够远。验证和验证是兄弟,一个可能比另一个更大,但它们被捆绑在一起比这更靠近,或者至少他们将是行业再次沿着正确的道路开始沿着正确的道路抬头。



留下一个回复


(注意:此名称将公开显示)