| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-12页 |
| ·课题研究背景 | 第8-9页 |
| ·国内外发展现状 | 第9-10页 |
| ·论文研究的主要内容 | 第10-12页 |
| 第二章 嵌入式系统及软件 | 第12-38页 |
| ·嵌入式系统介绍 | 第12-13页 |
| ·嵌入式系统的硬件平台的设计 | 第13-22页 |
| ·嵌入式系统的硬件结构 | 第13页 |
| ·ARM微处理器简介 | 第13-15页 |
| ·三星ARM920T处理器S3C2410X | 第15-18页 |
| ·系统的硬件单元电路设计 | 第18-22页 |
| ·嵌入式系统软件介绍 | 第22-26页 |
| ·嵌入式系统软件设计 | 第26-38页 |
| ·引导加载程序及vivi的移植 | 第26-28页 |
| ·Linux内核的加载 | 第28-29页 |
| ·文件系统的加载 | 第29-32页 |
| ·设备驱动程序 | 第32-38页 |
| 第三章 嵌入式软件测试 | 第38-60页 |
| ·通用软件测试简介 | 第38-47页 |
| ·嵌入式软件测试简介 | 第47-53页 |
| ·基于改进 V模型的嵌入式软件测试策略 | 第53-60页 |
| 第四章 基于 UML模型的嵌入式软件测试用例生成方法 | 第60-88页 |
| ·UML模型简介 | 第60-63页 |
| ·UML的扩展机制 | 第63-67页 |
| ·测试用例构造方法的研究 | 第67-76页 |
| ·一致性测试 | 第67-68页 |
| ·方法描述 | 第68-69页 |
| ·迁移等价类 | 第69-71页 |
| ·生成测试序列 | 第71-74页 |
| ·测试准则 | 第74-76页 |
| ·测试用例生成工具的实现 | 第76-82页 |
| ·测试用例构造方法举例及生成工具的验证 | 第82-88页 |
| ·基于 ARM2410的嵌入式人脸识别门禁系统简介 | 第82-83页 |
| ·基于 ARM2410的嵌入式人脸识别门禁系统测试树 | 第83页 |
| ·基于 ARM2410的嵌入式人脸识别门禁系统实验结果 | 第83-88页 |
| 第五章 结束语 | 第88-90页 |
| 参考文献 | 第90-92页 |
| 致谢 | 第92-93页 |
| 攻读学位期间发表的学术论文目录 | 第93页 |
