一种基于逻辑执行块的嵌入式软件测试插桩方法专利查询专利号|摘要-满商公司网

一种基于逻辑执行块的嵌入式软件测试插桩方法

基本信息

申请号	CN201110379877.2	申请日	-
公开（公告）号	CN102521123A	公开（公告）日	2012-06-27
申请公布号	CN102521123A	申请公布日	2012-06-27
分类号	G06F11/36(2006.01)I	分类	计算；推算；计数;
发明人	王忠民;霍艺伟;梁琛;王文浪;范琳	申请（专利权）人	陕西埃菲克能源科技有限公司
代理机构	-	代理人	-
地址	710065 陕西省西安市高新区唐延南路8号泰维智链中心项目T1楼16层02号
法律状态	-

摘要

本发明公开了一种基于逻辑执行块的嵌入式软件测试插桩方法。首先根据不同的覆盖测试类型，对被测程序进行预处理。接着分析被测程序结构，获得语句类型、层级关系、嵌套关系等信息。根据这些信息和逻辑执行关系对被测程序分块，每个逻辑执行块入口和出口位置插入探针函数。运行插桩后的被测程序，收集桩信息，统计插桩点语句的执行次数。最后根据插桩点语句类型和被测程序层级关系、嵌套关系，确定每段代码块中语句的执行次数。该方法能厘清程序层级关系、嵌套关系，计算包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖在内的多种覆盖率。该方法基于代码块插桩，大大降低程序插桩后的膨胀率，减小海森堡效应对实时性测试的影响。