基于黑盒测试的嵌入式系统平台设计与实现

针对嵌入式系统汇编语言词法、语法分析的设计与实现,提出了Lex与Yacc之间的关系,然后两者通过gcc命令进行编译形成综合分析。最后运行该综合分析器就可以对51系列的汇编语言进行分析。提出了被测源程序静态结构的分析方法,建立了程序流程图的过程,除此之外,还强调了被测源程序插桩处理与覆盖率分析的具体理论和使用规则,这为黑盒测试结果提供了科学的方法。