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

摘要

针对嵌入式系统汇编语言词法、语法分析的设计与实现,提出了Lex与Yacc之间的关系,然后两者通过gcc命令进行编译形成综合分析.最后运行该综合分析器就可以对51系列的汇编语言进行分析.提出了被测源程序静态结构的分析方法,建立了程序流程图的过程,除此之外,还强调了被测源程序插桩处理与覆盖率分析的具体理论和使用规则,这为黑盒测试结果提供了科学的方法.%Aiming at the design and implementation of the assembly language morphology and syntax analysis of the embed-ded system,the relationship between Lex and Yacc is put forward,and the two items are compiled with gcc command to form the synthesis analyzer. The synthesis analyzer can analyze the assembly language of 51 series. The static structure analysis method of the tested source program is proposed. The process of the program flow chart was established. The specific theories and ser-vice rules of the instrumentation processing and coverage rate analysis of the tested source program are emphasized,which pro-vide a scientific method for black-box testing results.