Portable microkernel operating system verification and testing

摘要

A Hardware Abstraction Layer (HAL) (66) of a Portable Microkernel Operating System (OS) is tested and verified by loading a HAL test program (96) into Kernel Space (60) as a device driver. This allows direct access to the HAL layer (66) and to the computer hardware accessed by the HAL layer (66). The HAL test program (96) makes HAL layer requests, then verifies HAL (66) operation by directly examining the hardware affected by the HAL request. The HAL test program (96) is controlled by either an external HAL test system (98), or by a HAL control program (99) executing in User space (62).