把配置选择写成明确条件
- 为每种配置列出需要选择的功能、允许值和组合约束，并说明选择影响的是部件是否存在、参数取值，还是对象之间的引用。名称相似的配置也可能有不同接口或依赖，因此不能只用文件名区分产品。
- 将每项选择关联到需要变化的模型位置，并约定未选择、未知和不适用分别怎样处理。遇到无法判断的配置时应保留问题记录，不能用一个隐含缺省值让不完整配置通过。
保留完整来源，再生成配置成果
- 完整来源模型保留各配置需要的可变内容，单个配置成果则只包含本次选择后应交付的部分。建议在独立副本或约定分支中生成结果，记录来源版本、配置文件和派生规则版本，避免局部裁剪覆盖共用来源。
- 生成前检查依赖是否齐全以及受影响对象是否可处理；生成后列明保留、修改、移除和未处理的对象。部分对象处理失败时，应把结果标为不完整，并说明影响范围，不把成功生成一个文件等同于配置交付完成。
按配置核对关联交付物
- 沿所选配置检查需求、结构、接口、说明材料和验证条目是否对应。移除一个可选部件后，还要查找指向它的引用以及依赖它的检查项，防止模型中已经删去对象，文档或验证清单却仍在使用。
- 对共用验证证据，明确输入、接口与适用条件是否仍一致；对受配置影响的行为另列复核项。建议保留配置到证据的对应记录，让接收方能够判断哪些结果可沿用、哪些需要补充验证。
用代表性组合检查重新生成
- 选择一个基本配置、一个包含可选功能的配置，以及一个违反组合约束的输入样本，分别核对预期结果。样本选择应结合风险与实际产品范围；这类检查不能替代对全部必要配置的覆盖分析。
- 移交时由接收方使用约定的来源版本、配置选择和规则重新生成成果，按对象与属性核对差异。保存配置清单、依赖说明、异常项和验证范围；重新生成一致说明交付过程可复核，并不直接证明实物产品性能。