嵌入式实时系统测试的充分性研究与实践

• Research and Implementation of Software Test Adequacy Criterion on Embeded Realtime Operation System