[发明专利]一种评估单体均衡控制测试效率的方法及其装置

说明书

本申请提供了一种评估单体均衡控制测试效率的方法，包括：根据待测单体的代码信息，确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω；根据K个功能分支，统计待测单体的第一测试用例集的执行计数向量E1，以及第二测试用例集的执行计数向量E2；根据E1和复杂度向量ω确定所述第一测试用例集的测试密度向量DC1，根据E2和复杂度向量ω确定第二测试用例集的测试密度向量DC2；计算第一测试用例集的测试密度向量DC1和第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2)，并根据ρ(DC1,DC2)确定待测单体的均衡控制测试效率。因此，本申请实施例提供了基于协方差的单体均衡控制测试效率评估方法，可以为单体均衡控制的可靠性分析和度量提供依据，测试效率更高。

技术领域

本申请涉及航天器电源分系统的锂电池单体均衡控制测试技术领域，并且更具体地， 涉及一种评估单体均衡测试效率的方法及其装置。

背景技术

由于单节锂离子蓄电池的容量有限，电源分系统中往往会采用多节蓄电池进行串联 的方式。如果不进行均衡充电控制，随着充放电循环次数的增加，各个锂离子单体电压会 逐渐分化。由于一组电池串联在一起，充电电压将由最小的单体电压来决定，所以当一个 电池单体电压下降时，整个电池组的使用效率会随之降低，整个电池组的寿命也会大大缩 减。

为了保证锂离子蓄电池单体间的电压均一性，电源控制器采取旁路电阻分流充电电 流的均衡控制策略。由电源下位机软件提供锂离子蓄电池单体均衡控制功能来实现此控制 策略：在光照期的充电过程中，当满足均衡接通条件时，电源下位机接通电压较高单体的 均衡电路，旁路掉部分电流，从而减缓该蓄电池单体电压的上升速度，达到均衡充电的目 的；当卫星工作于阴影期时，断开均衡电路，防止蓄电池单体的过放电。

基于锂电池单体均衡控制的重要性，需要对电源下位机软件的锂离子蓄电池单体均 衡控制功能进行严格的动态测试，动态测试效率的评估就成为一个很重要的问题。动态测 试是在测试数据上运行程序并全面分析输出以发现错误的过程，动态测试方法一般采用黑 盒方法和白盒方法。黑盒方法是一种按照需求规格说明设计测试数据的测试方法，用于验 证程序的功能、性能、边界处理等是否满足需求规格说明的要求。白盒测试方法是一种按 照程序内部的逻辑结构和编码结构设计测试数据的方法，在基于程序控制流结构的充分性 覆盖准则中，较为常见的包括语句覆盖准则，分支覆盖准则，路径覆盖准则等等。

一个测试用例集T满足语句覆盖，要求对于控制流图上的所有节点node_i,至少存在一 个测试用例t∈T，使得node_i包含于t的执行路径。语句覆盖要求被测单元中每条可执行 语句或指令、每个软件特性都必须被测试用例或被认可的异常覆盖，语句覆盖率要达到100％。由于语句覆盖仅考虑单条语句的覆盖情况，无法有效的区分测试用例在控制流图上的行为，也被认为是较弱的一种测试覆盖准则。

一个测试用例集T满足分支覆盖，要求对于控制流图上的所有边e_i,至少存在一个测 试用例t∈T，使得e_i包含于t的执行路径。分支覆盖要求必须在每个分支点上进行测试，要求分支覆盖率达到100％，错误处理路径覆盖率达到100％。显然，如果一个控制流图上的所有边都被覆盖，则所有节点也都被覆盖，反之则不成立。因此，分支覆盖的要求强于 语句覆盖。但是，即使所有的分支方向都被执行了，也并不表示程序中所有可能的分支组 合都已经经过测试。

基本路径覆盖要求比语句覆盖更强。一条基本路径p_i是控制流图上由入口节点到出 口节点的路径，且路径上的循环仅执行一次。一个测试用例集T满足基本路径覆盖，要求对于控制流图上的所有基本路径p_i，至少存在一个测试用例t∈T，使得p_i等价于或包含于 t的执行路径。

路径覆盖：一个测试用例集T满足路径覆盖，要求对于控制流图上的所有由入口节点到出口节点的路径p_i，至少存在一个测试用例t∈T，使得p_i等价于t的执行路径。