操作系统验证方法、装置、设备、存储介质及产品

本申请公开了一种操作系统验证方法、装置、设备、存储介质及产品，涉及操作系统验证技术领域，包括：将待验证操作系统输入至预设验证系统中，得到所述待验证操作系统的属性；在所述待验证操作系统的属性为硬件验证项时，获取待验证类型；根据所述待验证类型对所述待验证操作系统进行验证，根据待验证类型对待验证操作系统采用不同的验证策略，解决了现有的验证方法中验证的不充分性，同时很难保证系统级功能设计的验证覆盖面，给验证工作带来了巨大的困难的问题。