A Concept for Set‐based Design of Verification Strategies
A Concept for Set‐based Design of Verification Strategies
复制标题
基于集合的验证策略设计概念
DOI：
10.1002/j.2334-5837.2019.00608.x
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
A. Salado
中科院分区：
文献类型：
--
作者：
Peng Xu;A. Salado
在目前的实践中，验证策略是在采购计划开始时定义的，并由客户和承包商在合同签署时达成一致。因此，在系统开发的不同阶段执行核查活动所需的资源是在系统开发的开始时分配和使用的，当时关于系统的知识很少。然而，在收购计划开始时签约承诺固定的验证策略，从根本上会导致次优的收购性能。从本质上讲，系统开发的不确定性将使以前没有计划的核查活动成为必要，并使一些计划的活动变得不必要。为了应对这些挑战，本文提出了一种将基于集合的设计应用到验证活动的设计中，从而能够执行验证策略的动态契约，最终产生比现有实践更有价值的验证策略。
In current practice, a verification strategy is defined at the beginning of an acquisition program and is agreed upon by customer and contractor at contract signature. Hence, the resources necessary to execute verification activities at various stages of the system development are allocated and committed at the beginning, when a small amount of knowledge about the system is available. However, contractually committing to a fixed verification strategy at the beginning of an acquisition program fundamentally leads to suboptimal acquisition performance. Essentially, the uncertain nature of system development will make verification activities that were not previously planned necessary, and will make some of the planned ones unnecessary. In order to cope with these challenges, this paper presents an approach to apply set‐based design to the design of verification activities to enable the execution of dynamic contracts for verification strategies, ultimately resulting in more valuable verification strategies than current practice.