摘要
在工程设计中，模拟越来越被用于早期决策，但模拟需要回答的具体问题以及需提供的信息往往直到开发后期才明确界定。实验框架-待测系统（EFSUT）方法通过要求在系统设计初期就明确这些要求，来弥补这一缺陷。EFSUT将模拟围绕四个核心要素展开——问题、实验条件、模型和结果，并定义了正式的关系，以明确测试的推导方式以及哪些模型可以被有效评估。我们在两个不同的领域展示了该方法的应用，说明了如何从一个非正式提出的目标问题出发，形成有序的实验条件序列，进而指导模型的选择与解读。与现有的模型适用性评估和数字工程可追溯性方法相比，EFSUT提供了一种以问题为导向的清晰框架，能够以透明且可辩护的方式将相关方的需求与模型评估联系起来。这种方法在多模型及系统级设计中尤其有用。未来的工作包括自动推导实验框架、与数字线程工具链整合，以及更广泛地构建一个贯穿整个生命周期的、形式化的以问题为导向的框架，以支持在传统基于需求的方法无法满足时的评估、优化和调整工作。
