论文部分内容阅读
嵌入式系统是计算机技术、现代网络与通信技术、自动控制技术等高度融合的产物。嵌入式系统适应于对功能、可靠性、体积、功耗、成本等综合指标具有严格要求的专业计算机应用系统。目前,嵌入式系统已经在我们的生活和工作中得到广泛的应用。
随着嵌入式处理器和硬件技术的快速度发展,开发实时嵌入式系统产品的复杂程度也在日益提高。在该类产品的开发过程中,一个重要环节是对嵌入式软件的严格测试;为此,对嵌入式软件的测试方法进行研究具有十分重要的现实意义。
本文在基于ARM2410嵌入式系统产品的硬件电路设计、部分功能软件开发的基础上,重点对基于改进V模型的嵌入式软件的测试方法进行了分析,针对嵌入式软件测试的特点,提出了一种基于UML状态图的测试用例生成方法。在实践中,为了弥补UML状态图在描述实时系统上的不足,本文给出了一个状态图的实时扩展方案,提出了迁移等价类和测试树的概念,阐述了测试树生成测试用例的方法使用过程。最终根据上述算法实现了测试用例生成工具,并结合基于ARM2410的嵌入式系统设备人脸识别门禁的例子给出了实验结果,证明该工具的可行性及有效性。