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