虚拟化的验证环境、验证方法、计算机设备及存储介质

本申请提供一种虚拟化的验证环境、验证方法、计算机设备及存储介质，验证环境包括：电源控制器、代理模块、P‑Channel模型；其中：模型用于执行以下功能：向电源控制器发送状态信号；接收电源控制器输出的电源状态切换请求；其中：电源状态切换请求由电源控制器在接收到代理模块输出的使能信号和模型发出的状态信号的情况下自动发起；使用接受信号或拒绝信号与电源控制器完成握手，并在使用接受信号与电源控制器完成握手的情况下执行电源状态切换请求，以在模型与电源控制器完成握手后，检查模型从电源控制器接收到的信号的变化是否正确。本申请可以实现自动握手，无需在激励端考虑握手信号的输出逻辑，减少了代码量，且提高了覆盖率。