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.
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.
引文
[1]道理.Nucleus体系结构分析及应用研究[D].长沙:中南大学,2007.
[2]王亚军.优先级继承运用于Linux内核信号量的研究与实现[J].计算机系统应用,2010,19(11):203-207.
[3]殷杰波.基于龙芯3A处理器的嵌入式操作系统BSP设计技术[J].测控技术,2014,33(7):121-123.
[4]吴尧辉,吴天博.基于μC/OS-Ⅲ的供电保护数据采集处理系统设计[J].测控技术,2016,35(9):98-101.
[5]张明杰,雷迅,杨云.嵌入式实时操作系统测试理论和测试方法[M].北京:航空工业出版社,2014.
[6][美]Jorgensen PC.软件测试[M].韩柯,杜旭涛,译.北京:机械工业出版社,2003.
[7]张玮,牟明,周敏刚.嵌入式操作系统健壮性测试技术[J].航空计算技术,2012,42(5):124-126.
[2]王亚军.优先级继承运用于Linux内核信号量的研究与实现[J].计算机系统应用,2010,19(11):203-207.
[3]殷杰波.基于龙芯3A处理器的嵌入式操作系统BSP设计技术[J].测控技术,2014,33(7):121-123.
[4]吴尧辉,吴天博.基于μC/OS-Ⅲ的供电保护数据采集处理系统设计[J].测控技术,2016,35(9):98-101.
[5]张明杰,雷迅,杨云.嵌入式实时操作系统测试理论和测试方法[M].北京:航空工业出版社,2014.
[6][美]Jorgensen PC.软件测试[M].韩柯,杜旭涛,译.北京:机械工业出版社,2003.
[7]张玮,牟明,周敏刚.嵌入式操作系统健壮性测试技术[J].航空计算技术,2012,42(5):124-126.