论文部分内容阅读
首先提出了一种嵌入式编译器测试验证方法，即基于串口传输的变量值验证法，在此基础上设计了一款针对嵌入式C编译器测试的测试用例生成工具ECPAG。该工具根据嵌入式C语法，采用随机算法产生符合规则的任意语法组合，采用概率算法限定各语法要素的生成概率，成功地将基于深度优先搜索的有向图拓扑排序方法应用于函数随机调用中的递归问题的解决。工程应用表明：该自动化工具生成的测试用例集合能够较好地覆盖嵌入式C语法，达到75％以上的块测试覆盖率。