bibliographic details : 嵌入式软件测试