是真的叫验证和确认兄弟?道格·阿莫斯试图证明,虽然我相信他不远远不够。
在今年DVCon,道格·阿莫斯的阶段导师,西门子业务午餐演讲赞助。对于那些有但决定跳过午餐,希望传统的强制推销,你犯了一个错误。阿莫斯是其中一个罕见的人知道如何注入幽默,教学和营销到一个演示,这样分离干净,和听众总是知道听力模式。太糟糕了,他即将退休。
阿莫斯的演讲讨论之间的差异验证和验证和多少额外的任务,该行业正在不得不面对将依靠验证技术比过去多了。他看着权力,安全和安全三个新兴领域和谈论越来越多的软件是如何做这个复杂得多。
演讲期间,他介绍了各种著名的兄弟,如尤因,皇室和杰克逊兄弟。他幽默地与他们每个人所需的各种任务或事情发生在流或工具。作为一个例子,他谈到了杰克逊作为多个引擎工作密切和谐或正式的兄弟哈里和威廉。
有一个强烈的信号,编织在整个演示。“最大的大象可以摧毁我们都是大规模的软件内容,”阿莫斯说。“整合硬件和软件是艰难的。有更多的进入我们的系统软件。不仅仅是硬件的依赖必须集成的软件,它是整个堆栈。这发生在项目后期的营销人死死的盯着你,看你做完了吗。”
阿摩司指出,有一些标准来帮助这些任务,每个公司必须今天出来为自己工作。所有的流动的常见因素FPGA原型,因为这是唯一的平台,有足够的运行速度和准确度很多软件。
但让我们退后一步,看看阿摩司如何定义的验证和确认。
图1:验证和确认。来源:导师,道格•阿莫斯DVCon 2018
阿摩司这样描述。“当你买一件衬衫,你可以确认几件事。它得到了正确的数量的袖子,这是正确的大小,是正确的颜色,它有所有的按钮吗?这些都是你可以验证。验证更像是问如果它符合。我可以驾驶它舒服吗?通过建模一辆车和我“做电视驾驶”。颜色匹配我的眼睛,我能负担得起,我的日期会印象深刻——这些都是重要的事情。”
但是为什么一个列表可以验证,另一只是因为模型进行验证。如果我们有身体的一个模型,我们可以很容易地验证衬衫适合和操纵开车时的宽容。我们如何模型验证这些东西吗?
验证和确认不只是兄弟:我相信他们是同卵双胞胎分开在他们童年悲惨的事故。事故是约束随机刺激的一代。而约束随机允许验证成为自动化和指导测试的一代变成一个机动方法,它无视验证的概念是比较两个模型的行为。
与约束随机的,第二个模型成为重叠模型的大杂烩,其中许多只是代表他们在试图表达什么。这就是为什么我们没有身体的模型,我们可以确定如果这件衬衫适合。值得庆幸的是,我们至少可以部分解决这个问题。阿莫斯表示,迅速扭转幻灯片讲过便携式刺激。他提出的许多其他人一样作为一种技术,允许测试从一个平台移植到另一个。虽然这是重要的是,它漏掉了几个关键点。
首先——便携式刺激将定义一个硬件/软件抽象层,使验证环境和一个寄存器描述,一个司机或任何层的软件栈的方式最大限度地减少用户努力这样做。当我听说这个功能可能不会成为第一个版本的标准,这将是一个巨大的损失,如果它不让它。
第二代便携式刺激定义产品实际上是要做什么。在衬衫的例子中,它将定义什么是“适合”因为这是系统级验证的主要目的。我们假设在块级别按钮验证,结构装配已成功完成。现在我们问——是它适合的目的,既是检验和确认。
第三约束随机是有史以来最低效的方法定义时计算机资源。随着系统越来越复杂,要花费大量的时间工作testbench正在做什么和为什么。便携式刺激修复这些问题。每个测试生成有用的东西。鉴于验证任务的大小,这是很重要的。我们不能运行测试,随机摆动毫不相关的事物深处的设计时,我们需要找出如果系统能够执行任务A和B在同一时间,在指定的时间内。
我们越来越接近的时候我们可以开始定义的标准验证以及如何验证和验证玩在一起互相帮助(也看到合并验证和确认)。我并不是说阿莫斯是错误的,但他不远远不够。确认和验证是兄弟,一个很可能是大于其他,但是他们也绑在一起很多,或者至少他们会沿着正确的道路一旦行业开始头一次。
|
|
|
|
|
|
|
|
|
|
留下一个回复