一种轻量级操作系统测试框架设计与实现

摘要

如何提高嵌入式软件产品的测试效率,提高软件质量,已经成为当下重要的研究课题,而目前出现的典型开源测试框架主要针对通用嵌入式软件产品或者通用web领域软件产品,并不能满足轻量级操作系统资源受限的特定需求(例如内存占用少、节能效率高);针对这种状况设计并实现一种称为ACoreLiteTest轻量级测试框架,并以轻量级操作系统内核中的计数信号量模块为例,说明了测试框架的使用方法,并对其设计和实现的正确性进行了验证.