综述：系统化文献综述：基于模型的子系统级需求验证测试用例生成方法 雅娜·文特、 乌穆特·沃尔坎·基兹金、 迪尔克·克拉森和 托马斯·维托尔

《Applied System Innovation》：Systematized Literature Review: Model-Based Test Case Generation for Requirements Verification at the Subsystem Level Jana Wendt, Umut Volkan Kizgin, Dirk Clasen and Thomas Vietor

　　

摘要

本研究探讨了在车辆子系统开发层面中基于模型的系统工程（MBSE）的应用。研究内容涵盖从整体系统层面——即车辆层面——将需求传递到各个子系统，随后在子系统中实现这些需求，以及为验证目的生成基于模型的测试用例。为了回答这一研究问题，依据PRISMA 2020的指导原则进行了系统的文献综述。为此，制定了系统分析的标准，并将其应用于所筛选出的相关研究。