使用虚拟样机进行IP集成的指导性轻量级软件测试鉴定| IEEE会议出版物| IEEE Xplore