嵌入式软件覆盖测试的研究  

Coverage test of embedded software

作　　者：唐科[1] 汪文勇[1] 刘利枚[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,四川成都610054

出　　处：《成都信息工程学院学报》2005年第5期541-545,共5页Journal of Chengdu University of Information Technology

摘　　要：在实际应用中覆盖测试分析采用测量方法的多样性决定了代码插装需要识别程序结构特征的复杂性。结合编译原理的中间代码优化理论,针对汇编语言开发的嵌入式软件,提出了划分基本块,构造程序流图来分析汇编源程序的结构的算法模型,并讨论了覆盖测试的方法及原理。An algorithm model able to analyze the structure of the assembly program by dividing its basic block and constructing its flow graph is given. This model fits the embedded software developed by the assembly language and implemented through the optimum Register Transfer Language theory of the compiling principle. The method and principle of the coverage test is discussed.

关 键 词：覆盖测试 基本块 程序流图 结构特征 嵌入式软件 代码插装 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]