Nucleus PLUS操作系统信号量机制的研究与测试

Study and Test on Semaphore Mechanism in Nucleus PLUS

Nucleus PLUS是一种嵌入式实时操作系统内核。为深入全面地测试其用于任务同步的信号量模块,研究信号量实现机制,尤其是PI信号量中对优先级继承协议的实现,搭建测试环境,编写测试驱动,设计测试用例,开展针对信号量的测试。在常规测试、健壮性测试的基础上,提出基于信号量有限状态机的测试策略。测试效果良好,对操作系统其他内核对象的测试也具有一定的借鉴价值。

Nucleus PLUS is the kernel of an embedded real-time operating system. In order to throughly test its semaphore module for task synchronization, and study semaphore implemention mechanism, especially the realization of the priority inheritance protocol in PI semaphore, the test environment was built, the test driver code was written, the test case was designed, and the test for the semaphore was carried out. Based on the regular test and robustness test, a test strategy based on finite-state machine was proposed. Practice proves that this is an effective test and has reference value for the test of other kernel objects.