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

Study and Test on Semaphore Mechanism in Nucleus PLUS

作　　者：姬希娜 王振 李亚爽 浮明军 JI Xi-na;WANG Zhen;LI Ya-shuang;FU Ming-jun(Intermediate Test Department,XJ Electric Co.,Ltd.,Xuchang 461000,China)

机构地区：[1]许继电气股份有限公司中试部,河南许昌461000

出　　处：《测控技术》2018年第8期71-74,共4页Measurement & Control Technology

摘　　要：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.

关 键 词：NUCLEUS PLUS 任务同步 信号量 优先级继承协议 有限状态机 测试用例 

分 类 号：TP274[自动化与计算机技术—检测技术与自动化装置]