论文部分内容阅读
嵌入式系统是目前计算机研究领域的一个热点,嵌入式软件的特点使其设计方法发生了变化,软件测试是保证嵌入式产品质量的关键,研究新设计方法下的新测试方法是非常必要的。本文分析了嵌入式软件的特点,对嵌入式软件测试的方法和问题进行了讨论,根据DARTS设计方法和基于规约说明的测试方法,提出了一种基于任务划分的实时嵌入式软件的测试用例生成模型。