作者：姬希娜; 王振; 李亚爽; 浮明军nucleusplus任务同步信号量优先级继承协议有限状态机测试用例
摘要：Nucleus PLUS是一种嵌入式实时操作系统内核。为深入全面地测试其用于任务同步的信号量模块,研究信号量实现机制,尤其是PI信号量中对优先级继承协议的实现,搭建测试环境,编写测试驱动,设计测试用例,开展针对信号量的测试。在常规测试、健壮性测试的基础上,提出基于信号量有限状态机的测试策略。测试效果良好,对操作系统其他内核对象的测试也具有一定的借鉴价值。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
