摘要

虚拟机隔离性是实现嵌入式操作系统高可靠性的主要技术手段,但传统的可靠性测试方法对虚拟机隔离性并不适用。针对以上问题,在简述了虚拟机的空间隔离、时间隔离、中断资源隔离、数据耦合隔离等4项测试内容基础上,结合核心虚拟机、应用虚拟机、IDLE虚拟机、时间表调度、优先级调度、虚拟服务、共享内存等概念,详细分析和说明了虚拟机这些隔离的13种具体测试方法,为保证嵌入式操作系统可靠性提供了一种新的尝试。