验证方法、电子设备、可读介质及程序产品

本申请涉及软件技术领域，公开了一种验证方法、电子设备、可读介质及程序产品。本申请的验证方法，应用于电子设备，电子设备能够将待验证程序文件(例如ARXML文件)转换为可视化的图形文件(例如UML图)，通过UML图展示待验证ARXML文件中各配置项之间的依赖关系等逻辑信息，方便用户验证程序文件与所设计软件架构的一致性。如此，能够提升对ARXML文件的验证效率、降低对ARXML文件的验证难度。