用于微控制器程序的代码覆盖范围跟踪制造技术

一种微控制器，该微控制器可包括处理器和至少一个存储器设备，该至少一个存储器设备通过以下方式：基于程序代码中的基本块(指令)之间的逻辑关系来存储(a)限定多个支配弧的程序的程序代码；和(b)存储检测点的集合，该检测点由程序代码基本块的子集组成，该程序代码基本块与多个支配弧对应，每个检测点均位于相应支配弧中。代码覆盖范围实现程序(例如，IDE或编译器)可被配置为利用一个或多个执行跟踪指令检测程序代码中的每个检测点，以存储或生成执行记录信息。可使用测试工具来在微控制器上执行程序，其中程序代码中的每个相应检测点的执行致使相应执行跟踪指令存储或生成执行记录信息，该执行记录信息指示与该检测点对应的支配弧已被测试工具执行。

Code coverage tracking for microcontroller programs

【技术实现步骤摘要】
【国外来华专利技术】用于微控制器程序的代码覆盖范围跟踪相关专利申请本申请要求于2017年5月2日提交的共同拥有的美国临时专利申请号62/500,144的优先权，该申请出于所有目的据此以引用方式并入本文。
本公开涉及微控制器，并且更具体地涉及用于例如通过测试套件对微控制器程序的执行进行代码覆盖范围跟踪的系统和方法。
技术介绍
通常对设计用于在微控制器上执行的软件程序进行验证，以确保微控制器在执行程序的同时正常工作。可以针对“测试用例”或若干测试用例的测试“套件”进行验证。测试用例是通常在模拟微控制器上的执行的测试环境(与生产环境相反)中的程序的脚本化自动使用，以验证程序对特定任务的性能。测试套件是一批测试用例，该批测试用例一起测试正在验证的所有程序的功能。可请求或需要程序开发者示出其产品测试套件“覆盖”(即，执行验证测试于)项目中的特定百分比的可执行代码；该百分比常常为100％。验证可执行代码需要经由系统的组装指令分析系统的行为。微控制器内的嵌入式系统可包括数千个或甚至数百万个组装指令。确定代码覆盖范围的早期历史方法是跟踪代码选择的每个指令执行，并对已执行的指令进行制表。该方法通常需要具有足够的计算能力和本文档来自技高网...

【技术保护点】
1.一种微控制器，包括：处理器；和至少一个存储器设备，所述至少一个存储器设备存储：程序，所述程序包括程序代码，所述程序代码基于多个基本块之间的逻辑关系来限定所述多个基本块和多个支配弧；其中所述程序代码在所述程序代码中的多个检测点中的每一个检测点处利用执行跟踪指令来检测，其中每个检测点均位于所述程序代码中的所述多个支配弧中的对应一个支配弧中；其中所述程序能够由测试工具执行；其中在由所述测试工具执行所述程序期间，在每个相应检测点处的所述执行跟踪指令被配置为在执行所述相应检测点时，在所述至少一个存储器设备中存储或生成执行记录信息，所述执行记录信息指示所述相应检测点已被执行；其中针对每个相应检测点所存...

【技术特征摘要】
【国外来华专利技术】2017.05.02 US 62/500,144;2018.03.09 US 15/916,5091.一种微控制器，包括：处理器；和至少一个存储器设备，所述至少一个存储器设备存储：程序，所述程序包括程序代码，所述程序代码基于多个基本块之间的逻辑关系来限定所述多个基本块和多个支配弧；其中所述程序代码在所述程序代码中的多个检测点中的每一个检测点处利用执行跟踪指令来检测，其中每个检测点均位于所述程序代码中的所述多个支配弧中的对应一个支配弧中；其中所述程序能够由测试工具执行；其中在由所述测试工具执行所述程序期间，在每个相应检测点处的所述执行跟踪指令被配置为在执行所述相应检测点时，在所述至少一个存储器设备中存储或生成执行记录信息，所述执行记录信息指示所述相应检测点已被执行；其中针对每个相应检测点所存储或生成的执行记录信息指示与所述相应检测点对应的所述支配弧已由所述测试工具执行。2.根据权利要求1所述的微控制器，其中存储或生成相应检测点的执行记录信息包括存储指示所述相应检测点已被执行的单个位。3.根据权利要求1至2中任一项所述的系统，其中：相应支配弧包括所述多个基本块中的多个基本块；并且存储或生成相应检测点的执行记录信息包括存储或生成数据，所述数据指示所述相应支配弧的多个基本块中的每个基本块已被执行。4.根据权利要求1至3中任一项所述的系统，包括通过包括以下步骤的过程来识别所述程序中的所述多个支配弧：生成表示所述多个基本块的定向图的信息；基于表示所述多个基本块的所述定向图的所述信息来生成支配树；并且使用所述支配树来识别所述多个支配弧。5.一种用于代码覆盖范围跟踪的系统，所述系统包括：根据权利要求1至4所述的微控制器中的任一个微控制器；代码覆盖范围检测程序，所述代码覆盖范围检测程序被配置为利用相应执行跟踪指令来检测所述程序代码中的每个检测点，以存储或生成执行记录信息；和测试工具，所述测试工具被配置为在所述微控制器上执行所述程序，其中在所述程序代码中的每个相应检测点的执行致使所述相应执行跟踪指令存储或生成执行记录信息。6.根据权利要求5所述的系统，其中所述代码覆盖范围跟踪还包括：识别由所述多个支配弧中的所选择的基本块组成的检测点的集合，其中所述检测点的集合提供所述程序的完整代码覆盖范围跟踪；并且确定相应检测点经由所述测试工具已被执行，并且作为响应，将指示所述相应检测点已被执行的位阵列存储在所述微控制器的存储器设备中，所述位阵列包括用于所述检测点中的每个检测点的单个位。7.根据权利要求5至6中任一项所述的系统，其中所述代码覆盖范围跟踪包括：确定所有支配弧中的所有检测点经由所述测试工具已被执行；并且在第二存储器中存储指示所有检测点已被执行的数据，所述数据指示所述测试工具对所述程序的完整代码覆盖范围。8.根据权利要求5至7中任一项所述的系统，其中所述测试工具在所述微控制器上提供。9.根据权利要求5至8中任一项所述的系统，其中所述代码覆盖范围检测程序存储...

【专利技术属性】
技术研发人员：J·泽维奇，J·麦金尼斯，
申请(专利权)人：微芯片技术股份有限公司，
类型：发明
国别省市：美国,US