CN108983742A - 一种评估单体均衡控制测试效率的方法及其装置 - Google Patents
一种评估单体均衡控制测试效率的方法及其装置 Download PDFInfo
- Publication number
- CN108983742A CN108983742A CN201711207565.7A CN201711207565A CN108983742A CN 108983742 A CN108983742 A CN 108983742A CN 201711207565 A CN201711207565 A CN 201711207565A CN 108983742 A CN108983742 A CN 108983742A
- Authority
- CN
- China
- Prior art keywords
- test
- vector
- use cases
- monomer
- test use
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
- G05B23/0221—Preprocessing measurements, e.g. data collection rate adjustment; Standardization of measurements; Time series or signal analysis, e.g. frequency analysis or wavelets; Trustworthiness of measurements; Indexes therefor; Measurements using easily measured parameters to estimate parameters difficult to measure; Virtual sensor creation; De-noising; Sensor fusion; Unconventional preprocessing inherently present in specific fault detection methods like PCA-based methods
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
本申请提供了一种评估单体均衡控制测试效率的方法,包括:根据待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω;根据K个功能分支,统计待测单体的第一测试用例集的执行计数向量E1,以及第二测试用例集的执行计数向量E2;根据E1和复杂度向量ω确定所述第一测试用例集的测试密度向量DC1,根据E2和复杂度向量ω确定第二测试用例集的测试密度向量DC2;计算第一测试用例集的测试密度向量DC1和第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据ρ(DC1,DC2)确定待测单体的均衡控制测试效率。因此,本申请实施例提供了基于协方差的单体均衡控制测试效率评估方法,可以为单体均衡控制的可靠性分析和度量提供依据,测试效率更高。
Description
技术领域
本申请涉及航天器电源分系统的锂电池单体均衡控制测试技术领域,并且更具体地, 涉及一种评估单体均衡测试效率的方法及其装置。
背景技术
由于单节锂离子蓄电池的容量有限,电源分系统中往往会采用多节蓄电池进行串联 的方式。如果不进行均衡充电控制,随着充放电循环次数的增加,各个锂离子单体电压会 逐渐分化。由于一组电池串联在一起,充电电压将由最小的单体电压来决定,所以当一个 电池单体电压下降时,整个电池组的使用效率会随之降低,整个电池组的寿命也会大大缩 减。
为了保证锂离子蓄电池单体间的电压均一性,电源控制器采取旁路电阻分流充电电 流的均衡控制策略。由电源下位机软件提供锂离子蓄电池单体均衡控制功能来实现此控制 策略:在光照期的充电过程中,当满足均衡接通条件时,电源下位机接通电压较高单体的 均衡电路,旁路掉部分电流,从而减缓该蓄电池单体电压的上升速度,达到均衡充电的目 的;当卫星工作于阴影期时,断开均衡电路,防止蓄电池单体的过放电。
基于锂电池单体均衡控制的重要性,需要对电源下位机软件的锂离子蓄电池单体均 衡控制功能进行严格的动态测试,动态测试效率的评估就成为一个很重要的问题。动态测 试是在测试数据上运行程序并全面分析输出以发现错误的过程,动态测试方法一般采用黑 盒方法和白盒方法。黑盒方法是一种按照需求规格说明设计测试数据的测试方法,用于验 证程序的功能、性能、边界处理等是否满足需求规格说明的要求。白盒测试方法是一种按 照程序内部的逻辑结构和编码结构设计测试数据的方法,在基于程序控制流结构的充分性 覆盖准则中,较为常见的包括语句覆盖准则,分支覆盖准则,路径覆盖准则等等。
一个测试用例集T满足语句覆盖,要求对于控制流图上的所有节点nodei,至少存在一 个测试用例t∈T,使得nodei包含于t的执行路径。语句覆盖要求被测单元中每条可执行 语句或指令、每个软件特性都必须被测试用例或被认可的异常覆盖,语句覆盖率要达到100%。由于语句覆盖仅考虑单条语句的覆盖情况,无法有效的区分测试用例在控制流图上的行为,也被认为是较弱的一种测试覆盖准则。
一个测试用例集T满足分支覆盖,要求对于控制流图上的所有边ei,至少存在一个测 试用例t∈T,使得ei包含于t的执行路径。分支覆盖要求必须在每个分支点上进行测试,要求分支覆盖率达到100%,错误处理路径覆盖率达到100%。显然,如果一个控制流图上的所有边都被覆盖,则所有节点也都被覆盖,反之则不成立。因此,分支覆盖的要求强于 语句覆盖。但是,即使所有的分支方向都被执行了,也并不表示程序中所有可能的分支组 合都已经经过测试。
基本路径覆盖要求比语句覆盖更强。一条基本路径pi是控制流图上由入口节点到出 口节点的路径,且路径上的循环仅执行一次。一个测试用例集T满足基本路径覆盖,要求对于控制流图上的所有基本路径pi,至少存在一个测试用例t∈T,使得pi等价于或包含于 t的执行路径。
路径覆盖:一个测试用例集T满足路径覆盖,要求对于控制流图上的所有由入口节点到出口节点的路径pi,至少存在一个测试用例t∈T,使得pi等价于t的执行路径。
基本路径覆盖和路径覆盖能够更好的反映程序的行为。但是,随着程序规模的增大, 程序中的分支数量的增加,使得程序中的基本路径和路径的数量也呈现指数级增长的趋 势。同时,由于程序中循环、递归的存在,使得实际的路径数量有可能达到无穷大。因此,在实际应用中,要满足基本路径覆盖或路径覆盖需要大量的测试用例,这表示满足这两种控制流覆盖准则的测试可能无法在合理的时间内完成。
X.Yang,Y.Chen,E.Eide,and J.Regehr利用随机C程序生成工具Csmith产生了一系列测 试用例,这些测试用例发现了主流C语言编译器(例如GCC和Clang/LLVM)中的数百个新的错误。但是将这些测试用例加入GCC和Clang/LLVM自带的测试用例集后,新生 成的测试用例集在语句覆盖度和分支覆盖度上几乎没有提高。这也说明了语句覆盖和分支 覆盖对于程序行为的捕获和理解的粒度不够细致。另一方面,路径覆盖准则能够保障所有 控制转换的组合都能被考虑,也被认为是粒度最细,要求最高的覆盖准则之一,但是,由 于程序中分支组合、循环、迭代的存在导致的大量路径数的问题,要达到路径覆盖,需要 大量的测试用例,这也使得路径覆盖在大部分程序中难于实际使用或度量。
综上所述,在实际运用中,针对航天器电源分系统的锂电池单体均衡控制功能,需要寻找合适的测试准则和测试效率评估方法,能够比语句覆盖和分支覆盖更好的理解程序的行为,并且相对于路径覆盖更易于度量和达成。
发明内容
本申请提供一种评估单体均衡控制测试效率的方法,能够高效的评估单体均衡控制 测试效率。
第一方面,该方法包括:根据待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……,ωK),其中,ωi为所述K个功能分支中的第i个功能分支的复杂度计数,K为正整数;根据所述K个功能分支,统计待 测单体的第一测试用例集的执行计数向量E1=(e11,……,e1i,……e1K),以及第二测 试用例集的执行计数向量E2=(e21,……,e2i,……e2K),其中,e1i为所述第一测试用 例集在所述K个功能分支中第i个分支的执行次数,e2i为所述第二测试用例集在所述K 个功能分支中第i个功能分支的执行次数;根据所述第一测试用例集的执行计数向量E1 和所述待测单体的复杂度向量ω确定所述第一测试用例集的测试密度向量
DC1=(DC11,……,DC1i,……DC1K),根据所述第二测试用例集的执行计数向量E2和 所述待测单体的复杂度向量ω确定所述第二测试用例集的测试密度向量
DC2=(DC21,……,DC2i,……DC2K),其中,计算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数 ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效 率。
结合第一方面,在第一方面的第一种可能的实现方式中,所述根据所述待测单体的 代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……, ωi,……,ωK),包括:根据所述单体均衡控制模块的源代码,列出所述K个功能分支, 所述K个分支中的每个分支对应该功能分支的功能定义;根据所述K个功能分支,利用 统计谓词节点的方法计算第i个功能分支的复杂度计数ωi。
结合第一方面及其上述实现方式,在第一方面的第三种可能的实现方式中,所述方 法还包括:确定所述复杂度向量ω与所述第一测试用例集的执行计数向量E1的内积[ω,E1];确定所述复杂度向量ω与所述第二测试用例集的执行计数向量E2的内积[ω,E2]; 当所述内积[ω,E1]大于或等于所述内积[ω,E2]时,所述第一测试用例集的测试效率不低 于所述第二测试用例集的测试效率;当所述内积[ω,E1]小于所述内积[ω,E2]时,所述第 一测试用例集的测试效率低于所述第二测试用例集测试效率。
结合第一方面及其上述实现方式,在第一方面的第三种可能的实现方式中,所述方 法还包括:确定所述第一测试用例集的测试密度向量DC1的平均测试密度D1,所述第一测试用例集的平均测试密度D1为所述测试密度向量DC1的期望其中,表示DC1i的概率;确定所述第二测试用例集的测试密度向量DC2的平均测 试密度D2,所述第二测试用例集的平均测试密度D2为所述测试密度向量DC2的期望其中,表示DC2i的概率;当所述平均测试密度D1大 于或等于所述平均测试密度D2时,确定所述第一测试用例集的测试强度不小于第二测试 用例集的强度;当所述平均测试密度D1小于所述平均测试密度D2时,确定所述第一测 试用例集的测试强度小于第二测试用例集的强度。
结合第一方面及其上述实现方式,在第一方面的第四种可能的实现方式中,所述计 算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控 制测试效率,包括:确定二维随机变量(DC1,DC2)的联合概率函数,其中,当m等于 n时,概率pmn值为1/K;当m不等于n时,概率pmn值为0,pm.表示所述测试密度向量 DC1的边缘概率,p.n表示所述测试密度向量DC2的边缘概率;根据所述二维随机变量 (DC1,DC2)的联合概率函数,确定所述测试密度向量DC1,的期望值E(DC12)、 E2(DC1),所述测试密度向量DC1的标准差其中, 根据所述二维随机变量(DC1,DC2)的联合概率函 数,确定所述测试密度向量DC2,的期望值E(DC22)、E2(DC2),所述测试密度向量DC2 的标准差其中,计算所述测试密度向量DC1和所述测试密度向量DC2的相关系数ρ(DC1,DC2);其中,
cov(DC1,DC2)=E{[DC1-E(DC1)][DC2-E(DC2)]}=E(DC1*DC2)-E(DC1)*E(DC2) ,其中,|ρ(DC1,DC2)|的值越小,所述待测单体的均衡控制测试效率评估值越高。
结合第一方面及其上述实现方式,在第一方面的第五种可能的实现方式中,所述计 算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控 制测试效率,包括:当所述相关系数ρ(DC1,DC2)的绝对值|ρ(DC1,DC2)|小于相关系数 阈值L_ro时,终止测试;当|ρ(DC1,DC2)|大于或等于L_ro时,继续根据第三测试用例集 的测试密度向量DC3和所述第四测试用例集的测试密度向量DC4的相关系数 ρ(DC3,DC4)确定所述待测单体的均衡控制测试效率。
第二方面,提供一种评估单体均衡控制测试效率的装置,包括:确定单元,所述确定单元用于根据待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……,ωK),其中,ωi为所述K个功能分支中的第i个功能分支的复杂度计数,K为正整数;所述确定单元还用于根据所述K个功能分支,统计待 测单体的第一测试用例集的执行计数向量E1=(e11,……,e1i,……e1K),以及第二测 试用例集的执行计数向量E2=(e21,……,e2i,……e2K),其中,e1i为所述第一测试用 例集在所述K个功能分支中第i个分支的执行次数,e2i为所述第二测试用例集在所述K 个功能分支中第i个功能分支的执行次数;所述确定单元还用于根据所述第一测试用例集 的执行计数向量E1和所述待测单体的复杂度向量ω确定所述第一测试用例集的测试密度 向量DC1=(DC11,……,DC1i,……DC1K),根据所述第二测试用例集的执行计数向量 E2和所述待测单体的复杂度向量ω确定所述第二测试用例集的测试密度向量 DC2=(DC21,……,DC2i,……DC2K),其中,处理单元,所述 处理单元用于计算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测 试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述 待测单体的均衡控制测试效率。
结合第二方面,在第二方面的第一种可能的实现方式中,所述确定单元用于:根据所述单体均衡控制模块的源代码,列出所述K个功能分支,所述K个分支中的每个分支 对应该功能分支的功能定义;根据所述K个功能分支,利用统计谓词节点的方法计算第i 个功能分支的复杂度计数ωi。
结合第二方面及其上述实现方式,在第二方面的第二种可能的实现方式中,所述确 定单元还用于:确定所述复杂度向量ω与所述第一测试用例集的执行计数向量E1的内积 [ω,E1];确定所述复杂度向量ω与所述第二测试用例集的执行计数向量E2的内积[ω,E2]; 当所述内积[ω,E1]大于或等于所述内积[ω,E2]时,所述第一测试用例集的测试效率不低 于所述第二测试用例集的测试效率;当所述内积[ω,E1]小于所述内积[ω,E2]时,所述第 一测试用例集的测试效率低于所述第二测试用例集测试效率。
结合第二方面及其上述实现方式,在第二方面的第三种可能的实现方式中,所述确 定单元用于:确定所述第一测试用例集的测试密度向量DC1的平均测试密度D1,所述第一测试用例集的平均测试密度D1为所述测试密度向量DC1的期望其中,表示DC1i的概率;确定所述第二测试用例集的测试密度向量DC2的平均 测试密度D2,所述第二测试用例集的平均测试密度D2为所述测试密度向量DC2的期望其中,表示DC1i的概率;当所述平均测试密度D1大于 或等于所述平均测试密度D2时,确定所述第一测试用例集的测试强度不小于第二测试用 例集的强度;当所述平均测试密度D1小于所述平均测试密度D2时,确定所述第一测试 用例集的测试强度小于第二测试用例集的强度。
结合第二方面及其上述实现方式,在第二方面的第四种可能的实现方式中,所述确 定单元用于:确定二维随机变量(DC1,DC2)的联合概率函数,其中,当m等于n时, 概率pmn值为1/K;当m不等于n时,概率pmn值为0,pm.表示所述测试密度向量DC1 的边缘概率,p.n表示所述测试密度向量DC2的边缘概率;根据所述二维随机变量(DC1, DC2)的联合概率函数,确定所述测试密度向量DC1,的期望值E(DC12)、E2(DC1),所 述测试密度向量DC1的标准差其中,根据所述二维随机变量(DC1,DC2)的联合概率函数,确定所述测试密度向量DC2,的期 望值E(DC22)、E2(DC2),所述测试密度向量DC2的标准差其中, 计算所述测试密度向量DC1和所述测试密度向量 DC2的相关系数ρ(DC1,DC2);其中,
cov(DC1,DC2)=E{[DC1-E(DC1)][DC2-E(DC2)]}=E(DC1*DC2)-E(DC1)*E(DC2) ,其中,|ρ(DC1,DC2)|的值越小,所述待测单体的均衡控制测试效率评估值越高。
结合第二方面及其上述实现方式,在第二方面的第五种可能的实现方式中,所述处 理单元用于:当所述相关系数ρ(DC1,DC2)的绝对值|ρ(DC1,DC2)|小于相关系数阈值 L_ro时,终止测试;当|ρ(DC1,DC2)|大于或等于L_ro时,继续根据第三测试用例集的测 试密度向量DC3和所述第四测试用例集的测试密度向量DC3的相关系数ρ(DC1,DC2)确 定所述待测单体的均衡控制测试效率。
第三方面,提供了一种装置,包括接收器、发送器、存储器和处理器,该存储器用于存储计算机程序,该接收器用于受处理器控制接收信号,该发送器用于受处理器控制发送信号,该处理器用于从存储器中调用并运行该计算机程序,使得该设备执行上述各方面所述的方法。
第四方面,提供了一种计算机可读存储介质,所述计算机可读存储介质中存储有指 令,当其在计算机上运行时,使得计算机执行上述各方面所述的方法。
第五方面,提供了一种包含指令的计算机程序产品,当其在计算机上运行时,使得计算机执行上述各方面所述的方法。
因此,本申请实施例提供了基于协方差的单体均衡控制测试效率评估方法,它能够 比语句覆盖和分支覆盖更好的理解程序的行为,并且相对于路径覆盖更易于度量和达成, 可以为单体均衡控制的可靠性分析和度量提供依据,测试效率更高。
附图说明
图1是本申请一个实施例的方法的示意性流程图。
图2示出了本申请一个实施例的控制流图及谓词节点的示意图。
图3示出了本申请一个实施例复合条件“逻辑与”的分解的示意性流程图。
图4示出了本申请一个实施例复合条件“逻辑或”的分解的示意性流程图。
图5示出了本申请一个实施例的装置的示意性结构框图。
图6示出了本申请另一实施例的装置的示意性结构图。
具体实施方式
下面将结合附图,对本申请中的技术方案进行描述。
图1是本申请一个实施例的方法的示意性流程图。如图1所示,该方法100包括:
步骤110,根据待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……,ωK),其中,ωi为所述K个功能分支中的第i个功能分支的复杂度计数,K为正整数。
步骤120,根据所述K个功能分支,统计待测单体的第一测试用例集的执行计数向量E1=(e11,……,e1i,……e1K),以及第二测试用例集的执行计数向量E2=(e21,……,e2i,……e2K),其中,e1i为所述第一测试用例集在所述K个功能分支中第i个分支的执 行次数,e2i为所述第二测试用例集在所述K个功能分支中第i个分支的执行次数。
步骤130,根据所述第一测试用例集的执行计数向量E1和所述待测单体的复杂度向 量ω确定所述第一测试用例集的测试密度向量DC1=(DC11,……,DC1i,……DC1K),根据所述第二测试用例集的执行计数向量E2和所述待测单体的复杂度向量ω确定所述第二测试用例集的测试密度向量DC2=(DC21,……,DC2i,……DC2K),其中,
步骤140,计算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所 述待测单体的均衡控制测试效率。
在步骤110中,可选地,作为本申请一个实施例,所述根据所述待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……, ωK),包括:
根据所述单体均衡控制模块的源代码,列出所述K个功能分支,所述K个分支中的每个 分支对应该功能分支的功能定义;根据所述K个功能分支,利用统计谓词节点的方法计算 第i个功能分支的复杂度计数ωi。
具体地,如果待测单体为锂电池,那么针对待测试的锂电池单体均衡控制模块的源 代码,列出所有的分支,并说明所列出的分支的功能定义。
表1为本申请一个实施例的功能分支及对应复杂度计数的表,如表1所示,K=34,代表34个功能分支。
表1
对单体均衡控制模块所有的分支,利用统计谓词节点的方法计算出该分支的复杂度, 得到复杂度向量ω;尤其是针对功能比较复杂的几个分支,需要认真计算该分支的复杂度。 功能比较复杂的几个分支包括:光照期、均衡时间未超过指定值、对所有的单体进行均衡 接通判断、单体i处于正常电压范围内且处于均衡断开状态。
例如,针对待测试的锂电池单体均衡控制模块的源代码,识别出所有的分支,包括IF-ELSE语句;FOR循环;WHILE循环;SWITCH语句等;列出所有的分支所在的行号; 统计分支总个数,示例模块中分支总个数为34;并说明所列出的分支的功能定义;根据 锂电池单体均衡控制的性质,识别出复杂度有可能比较高的几个分支,包括:“光照期” 分支、“均衡时间未超过指定值,进行均衡接通判断”分支、“对所有的单体进行均衡接 通判断”分支、“单体i处于正常电压范围内且处于均衡断开状态”分支等。
某分支的复杂度等于该分支所包含的控制流图中谓词节点的数量加1。谓词节点指 包含单个判断条件的节点。图2示出了本申请一个实施例的控制流图及谓词节点的示意图,如图2所示,若图2中节点2、3、4、7中都为单个判断条件,则图2的谓词节点为 4个,相应地,图2的复杂度为5。
进一步地,识别出待测试的单体均衡控制模块程序中有无复合条件;当判定条件为 复合条件时,应将复合条件分解成单个条件,再构成控制流图,进行复杂度计算。复合条件包括逻辑与、逻辑或、多分支的switch-case语句等。复合条件的分解按照下列步骤进行:
1.按照基本路径测试方法,复合条件“逻辑与”应分解为两个谓词节点。举例来说,图3示出了本申请一个实施例复合条件“逻辑与”的分解的示意性流程图,A和B均为单 个条件时,分支块if(A&&B)应该按照图3进行分解。
2.按照基本路径测试方法,复合条件“逻辑或”应分解为两个谓词节点。举例来说,图4示出了本申请一个实施例复合条件“逻辑或”的分解的示意性流程图,A和B均为单 个条件时,分支块if(A||B)应该按照图4进行分解。
3.按照基本路径测试方法,复合条件switch-case语句,统计谓词节点的个数时,要 求必须统计全部实际的谓词节点数,也即每个CASE语句都应该算为一个谓词节点。
4.所有分支的复杂度都计算完成后,即可得到锂电池单体均衡控制模块的复杂度向 量ω。复杂度向量ω的维数由锂电池单体均衡控制模块的分支数决定。由于附录A1的单体均衡控制模块的分支数为34,复杂度向量ω为34维向量。计算得到表1示出的单体均 衡控制模块的复杂度向量:
ω=(17,5,3,14,2,1,2,1,14,1,14,2,3,2,2,2,1,3,2,2,2,1,4,1,2,1,3,1,2,1,2,1,2,1)。
在步骤120中,举例来说,根据锂电池单体均衡控制模块的功能描述,设计测试用例集SET1,也就是对应于步骤120中的第一测试用例集;测试用例集SET1包含5个测 试用例,5个测试用例的标识为SET1TC1~SET1TC5;同样地,根据锂电池单体均衡控 制模块的功能描述,设计测试用例集SET2,也就是对应于步骤120中的第二测试用例集; 测试用例集SET2包含5个测试用例,5个测试用例的标识为SET2TC1~SET2TC5。
进一步地,执行SET1的用例SET1TC1,统计SET1TC1的“执行计数向量” E_SET1TC1。E_SET1TC1为34维向量,对应单体均衡控制模块的34个分支。E_SET1TC1 初始为0向量。SET1TC1执行完毕,E_SET1TC1为(0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,16,1,2,16,1,0,16,1)。
进一步地,执行SET1的用例SET1TC2,统计SET1TC2的“执行计数向量” E_SET1TC2。E_SET1TC2向量维数同E_SET1TC1。E_SET1TC2初始为0向量。SET1TC2 执行完毕,E_SET1TC2为(1,0,1,0,16,1,16,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0)。
进一步地,执行SET1的用例SET1TC3,统计SET1TC3的“执行计数向量” E_SET1TC3。E_SET1TC3向量维数同E_SET1TC1。E_SET1TC3初始为0向量。SET1TC3 执行完毕,E_SET1TC3为(1,0,0,1,0,0,0,0,1,1,1,0,1,0,0,1,1,0,0,1,0,1,1,0,16,1,0,0,0,0,0,0, 0,0)。
进一步地,执行SET1的用例SET1TC4,统计SET1TC4的“执行计数向量” E_SET1TC4。E_SET1TC4向量维数同E_SET1TC1。E_SET1TC4初始为0向量。SET1TC4 执行完毕,E_SET1TC4为(1,0,0,1,0,0,0,0,16,1,1,15,1,0,0,1,1,0,0,1,0,1,1,0,16,1,0,0, 0,0,0,0,0,0)。
进一步地,执行SET1的用例SET1TC5,统计SET1TC5的“执行计数向量” E_SET1TC5。E_SET1TC5向量维数同E_SET1TC1。E_SET1TC5初始为0向量。SET1TC5 执行完毕,E_SET1TC5为(1,0,0,1,0,0,0,0,16,1,1,15,0,1,0,0,1,1,0,0, 1,1,1,0,16,1,0,0,0,0,0,0,0,0)。
进一步地,统计SET1的“执行计数向量”E1;E1向量维数同E_SET1TC1。E1= E_SET1TC1+E_SET1TC2+E_SET1TC3+E_SET1TC4+E_SET1TC5。测试用例集SET1中 所有用例执行完毕后,E1为(4,1,1,3,16,1,16,1,33,3,3,30,2,1,0,2,3,1,0,2,1,3,3,0,48,3,16,1, 2,16,1,0,16,1)。
同样地,对于第二测试用例集,执行SET2的用例SET2TC1,统计SET2TC1的“执 行计数向量”E_SET2TC1。E_SET2TC1为34维向量,对应单体均衡控制模块的34个分 支。E_SET2TC1初始为0向量。SET2TC1执行完毕,E_SET2TC1为(0,1,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,1,0,16,0,1,0,0)。
进一步地,执行SET2的用例SET2TC2,统计SET2TC2的“执行计数向量” E_SET2TC2。E_SET2TC2向量维数同E_SET2TC1。E_SET2TC2初始为0向量。SET2TC2 执行完毕,E_SET2TC2为(0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,1,1,16,1,0, 16,1)。
进一步地,执行SET2的用例SET2TC3,统计SET2TC3的“执行计数向量” E_SET2TC3。E_SET2TC3向量维数同E_SET2TC1。E_SET2TC3初始为0向量。SET2TC3 执行完毕,E_SET2TC3为(0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,16,1,16,16,1,0,16,1)。
进一步地,执行SET2的用例SET2TC4,统计SET2TC4的“执行计数向量” E_SET2TC4。E_SET2TC4向量维数同E_SET2TC1。E_SET2TC4初始为0向量。SET2TC4 执行完毕,E_SET2TC4为(1,0,0,1,0,0,0,0,8,1,7,1,1,0,6,1,7,0,0,7,0,7,1,6,16,1,0,0,0,0,0,0, 0,0)。
进一步地,执行SET2的用例SET2TC5,统计SET2TC5的“执行计数向量” E_SET2TC5。E_SET2TC5向量维数同E_SET2TC1。E_SET2TC5初始为0向量。SET2TC5 执行完毕,E_SET2TC5为(1,0,0,1,0,0,0,0,16,1,7,9,1,4,2,1,7,1,2,4,1,7,1,6,16,1,0,0,0,0,0,0, 0,0)。
进一步地,统计SET2的“执行计数向量”E2;E2向量维数同E_SET1TC1。E2= E_SET2TC1+E_SET2TC2+E_SET2TC3+E_SET2TC4+E_SET2TC5。测试用例集SET2中 所有用例执行完毕后,E2为 (2,3,0,2,0,0,0,0,24,2,14,10,2,4,8,2,14,1,2,11,1,14,2,12,32,2,48,3,17,48,2,1,32,2)。
具体地,对于步骤130,测试密度向量定义为对单体均衡控制模块中复杂度向量ω进 行测试的强度的度量。测试密度向量的维数与复杂度向量ω一致。设DC1=(DCI1D2DC13…DC134)是对应于复杂度向量ω的测试密度向量,则DC1i定义为:其中,ei为测试用例集的“执行计数向量”的第i个分量;ωi为复杂度向量ω的第i个分 量。
根据上述方法,单体均衡控制测试密度向量DC1的第i个分量由此可以计算出对应于用例集SET1的测试密度向量:
DC1=(0.235294,0.2,0.333333,0.214286,8,1,8,1,2.357143,3,0.214286,15,0.666667,0.5,0,1,3,0.333333,0,1,0.5,3,0.75,0,24,3,5.333333,1,1,16,0.5,0,8,1)。
同样地,,单体均衡控制测试密度向量DC2的第i个分量由此可以计算出对应于用例集SET2的测试密度向量:
DC2=(0.117647059,0.6,0,0.142857143,0,0,0,0,1.714285714,2,1,5,0.666666667,2,4,1,14,0.333333333,1,5.5,0.5,14,0.5,12,16,2,16,3,8.5,48,1,1,16,2)。
可选地,作为本申请一个实施例,确定所述复杂度向量ω与所述第一测试用例集的 执行计数向量E1的内积[ω,E1];确定所述复杂度向量ω与所述第二测试用例集的执行计 数向量E2的内积[ω,E2];当所述内积[ω,E1]大于或等于所述内积[ω,E2]时,所述第一测 试用例集的测试效率不低于所述第二测试用例集的测试效率;当所述内积[ω,E1]小于所述 内积[ω,E2]时,所述第一测试用例集的测试效率低于所述第二测试用例集测试效率。
具体地,计算复杂度向量ω与“执行计数向量”E1的内积[ω,E1];本申请例中内积[ω,E1]的计算结果为993。可以作为单体均衡控制测试用例集1的测试效率评估的依据之一;同样地,计算复杂度向量ω与“执行计数向量”E2的内积[ω,E2];本申请实施例 中内积[ω,E2]的计算结果为1110,同样可以作为单体均衡控制测试用例集2的测试效率 评估的依据之一;最后,比较内积[ω,E1]和内积[ω,E2]的大小。本例中[ω,E1]<[ω,E2], 说明测试用例集1的测试效率低于测试用例集2的测试效率。
可选地,作为申请一个实施例,所述方法还包括:确定所述第一测试用例集的测试密度向量DC1的平均测试密度D1,所述第一测试用例集的平均测试密度D1为所述测试 密度向量DC1的期望其中,表示DC1i的概率;确定所述 第二测试用例集的测试密度向量DC2的平均测试密度D2,所述第二测试用例集的平均测 试密度D2为所述测试密度向量DC2的期望其中,表 示DC2i的概率;当所述平均测试密度D1大于或等于所述平均测试密度D2时,确定所述 第一测试用例集的测试强度不小于第二测试用例集的强度;当所述平均测试密度D1小于 所述平均测试密度D2时,确定所述第一测试用例集的测试强度小于第二测试用例集的强 度。
具体地,把测试密度向量DC*(本例中,*代表1或2)看作一个离散型随机变量, 根据实际应用,给随机变量的各个值赋予概率,即可计算出此随机变量的期望。
根据单体均衡控制模块的性质,认为DC*(*代表1或2)服从均匀分布。即是DC* (*代表1或2)中各个值的概率为1/K。其中,K为DC*向量的维数。本例中,K为34。 DC*(*代表1或2)的概率函数见表2,表2示出了本申请一个实施例的概率函数。
表2
进一步地,根据平均测试密度定义为离散型随机变量DC*的期望。按照公式计算DC1的期望。计算结果即为平均测试密度D1。本例中,DC1 向量的平均测试密度D1=3.239。
同理,根据表2,计算DC2的平均测试密度D2。本例中,DC2向量的平均测试密 度D2=5.282。比较D1和D2的大小。本例中,D1<D2,说明测试用例集2的测试强度大 于测试用例集1。
可选地,作为本申请一个实施例,所述计算所述第一测试用例集的测试密度向量DC1 和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率,包括:确定二维随机变量 (DC1,DC2)的联合概率函数,其中,当m等于n时,概率pmn值为1/K;当m不等于 n时,概率pmn值为0,pm.表示所述测试密度向量DC1的边缘概率,p.n表示所述测试密 度向量DC2的边缘概率;根据所述二维随机变量(DC1,DC2)的联合概率函数,确定所 述测试密度向量DC1,的期望值E(DC12)、E2(DC1),所述测试密度向量DC1的标准差 其中,根据所述二维随机变量(DC1, DC2)的联合概率函数,确定所述测试密度向量DC2,的期望值E(DC22)、E2(DC2),所 述测试密度向量DC2的标准差其中,计算所述测试密度向量DC1和所述测试密度向量DC2的相关系数ρ(DC1,DC2);其中,cov(DC1,DC2)=E{[DC1-E(DC1)][DC2-E(DC2)]}=E(DC1*DC2)-E(DC1)*E(DC2) ,其中,|ρ(DC1,DC2)|的值越小,所述待测单体的均衡控制测试效率评估值越高。
具体地,按照概率统计理论中的联合概率函数的定义,结合单体均衡控制模块的性质, 制定二维随机向量(DC1,DC2)的联合概率函数。当m等于n时,概率pmn值为1/K,其中,K为DC1向量的分量个数,本例中K为34。当m不等于n时,概率pmn值为0。表3示 出了随机向量(DC1,DC2)为联合概率函数。表3中pm.及p.n为边缘概率。
表3
进一步地,按照表3中的DC1向量的边缘概率pm.统计E(DC1);按照表3中的DC2 向量的边缘概率p.n统计E(DC2);按照表3中的随机向量(DC1,DC2)的联合概率pmn统 计E(DC1*DC2);运用概率统计论,按照公式 cov(DC1,DC2)=E{[DC1-E(DC1)][DC2-E(DC2)]}=E(DC1*DC2)-E(DC1)*E(DC2) ,计算测试密度向量DC1和DC2之间的协方差cov(DC1,DC2)。
因此,通过计算,得到本申请实施例中cov(DC1,DC2)的值为28.8747905。协方差cov(DC1,DC2)在一定程度上说明了单体均衡控制模块的两个测试密度向量DC1与DC2 之间的相互联系,但是它有两个缺点:(1)它的大小依赖于计量单位;(2)它的数值不 仅与DC1与DC2本身的取值有关,而且还与各随机变量关于它们的数学期望的偏差有关。 如果随机变量DC1或DC2中的任何一个与其数学期望的偏差很小,那么无论DC1、DC2 之间联系如何密切,它们的协方差也会很小。为了克服这两个缺点,需要进行DC1和DC2 的相关系数ρ(DC1,DC2)的计算。
因此,进一步地,针对单体均衡控制模块的测试密度向量DC1,计算的期望值E(DC12), 采用表3中的DC1向量的边缘概率pm.进行计算;运用步骤k1中的E(DC1)的计算结果, 计算E2(DC1);运用概率统计论,统计DC1的标准差计算公式为通过计算,本例中的值为
同理,针对单体均衡控制模块的测试密度向量DC2,计算的期望值E(DC22),采用表3中的DC2向量的边缘概率p.n进行计算;根据上述得到的E(DC2)的计算结果,计算 E2(DC2);运用概率统计论,统计DC2的标准差计算公式为通过计算,本例中的值为
最后,运用概率统计论,计算测试密度向量DC1和DC2的相关系数ρ(DC1,DC2); 计算公式为通过计算,得到 ρ(DC1,DC2)的值为0.5913389。
可选地,作为本申请一个实施例,所述计算所述第一测试用例集的测试密度向量DC1 和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率,包括:当所述相关系数 ρ(DC1,DC2)的绝对值|ρ(DC1,DC2)|小于相关系数阈值L_ro时,终止测试;当 |ρ(DC1,DC2)|大于或等于L_ro时,继续根据第三测试用例集的测试密度向量DC3和所述 第四测试用例集的测试密度向量DC3的相关系数ρ(DC1,DC2)确定所述待测单体的均衡 控制测试效率。
也就是说,当|ρ(DC1,DC2)|大于或等于L_ro时,需要继续使用两个新的测试用例集之间的相关系数,判定是否满足上述待测单体的均衡控制测试效率。
具体地,根据概率统计论中相关系数的性质,|ρ(DC1,DC2)|≤1。单体均衡控制测试 密度向量DC1和DC2之间的线性联系的程度随着|ρ(DC1,DC2)|的减小而减弱。当 |ρ(DC1,DC2)|=0时,称DC1与DC2不相关。|ρ(DC1,DC2)|的值越小,单体均衡控制测 试效率的评估值越高。|ρ(DC1,DC2)|的值越接近1,说明单体均衡控制测试用例集SET1 和SET2在测试结果上基本呈线性相关关系,这时需要增加异常用例;
由用户提供固定的相关系数阈值L_ro,当步骤n中计算出的相关系数ρ(DC1,DC2)的绝对值|ρ(DC1,DC2)|小于L_ro时,认为在测试设计中,异常用例的设计比较充分,可 以终止测试;当|ρ(DC1,DC2)|大于等于L_ro时,认为异常用例的设计不足,需要设计两 个新的测试用例集,对锂电池单体均衡控制模块进行测试;测试用例执行完成后,按照上 述过程进行迭代。迭代过程终止准则为|ρ(DC1,DC2)|小于相关系数阈值L_ro。新的测试 用例集的设计重点针对此类分支进行:测试密度向量DC1和DC2的同一分量都小于1.0, 则需要加强此分支的测试。另外,新的测试用例集的设计可以参考已有的内积较大的测试 用例集。
如何得到第一测试用例集和第二测试用例集,根据单体均衡控制的功能要求,制定 测试目的;针对单个测试目的,按照步骤A及步骤B的先后顺序生成测试用例;则满足 第j个测试目的的测试用例总数为Aj*Bj。满足所有的测试目的的测试用例总数 由于测试输入的放电电流值、单体电压值、单体号组合、均衡时间值等 可以为多种不同的值,所以测试用例总数Total的值很大。从Total个测试用例中任意选择 5个,即可得到第一测试用例集;从Total个测试用例中任意选择5个,即可得到第二测 试用例集。两个测试用例集可以完全相同,可以部分相同,也可以完全不同。如果两个测 试用例集完全相同,则计算出来的相关系数ρ(DC1,DC2)必定等于1。所以在生成第一 测试用例集、第二测试用例集时,应考虑测试目的的多样性。
测试用例的生成步骤表
因此,本申请实施例提供了基于协方差的单体均衡控制测试效率评估方法,它能够 比语句覆盖和分支覆盖更好的理解程序的行为,并且相对于路径覆盖更易于度量和达成, 可以为单体均衡控制的可靠性分析和度量提供依据,测试效率更高。
应理解,本发明基于协方差的单体均衡控制测试效率评估方法适用的电源下位机软 件开发/调试/测试环境需要有下面条件:
由电源下位机软件对电源分系统的锂离子蓄电池单体实施均衡控制;电源下位机软 件作为嵌入式软件,烧录到电源控制器CPU板的EEPROM中;具备MATLAB计算机辅 助分析设计工具,对测试结果进行自动统计和分析;具备仿真器,该仿真器除了提供完全 硬件仿真以外,还必须提供一个软件模拟器,该软件模拟器能代替仿真器进行无目标机的 虚拟调试,还应提供WINDOWS环境下的全中文集成开发平台,可以提供以下操作:编 辑-汇编/编译-连接/定位-调试-装入目标系统;全屏幕编辑,就地修改,所见即所得;跨文 件整块剪贴技术;彩色识别正文等;使用工程技术:一次性将工程的全部源文件、头文件、 用户库文件送入工程管理器,统一管理“汇编/编译”和“连接/定位”,无须人工干预; 使用MAKE技术:自动辨用汇编器/编译器;每次调试循环仅做增量“汇编/编译”和“连 接/定位”;错误和警告自动定位,明确的错误自动修正;多种运行模式,全数据类型的 查看和修改。
鉴于上述条件一般电源下位机软件开发/调试/测试环境都能满足,故本申请前述基于 协方差的单体均衡控制测试效率评估方法可以应用到大多数的电源下位机软件进行单体 均衡控制测试效率评估。
图5示出了本申请一个实施例的装置的示意性结构框图。如图5所示,该装置包括:确定单元510,所述确定单元510用于根据待测单体的代码信息,确定所述待测单体的K 个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……,ωK),其中,ωi为所述 K个功能分支中的第i个功能分支的复杂度计数,K为正整数;所述确定单元510还用于 根据所述K个功能分支,统计待测单体的第一测试用例集的执行计数向量E1=(e11,……,e1i,……e1K),以及第二测试用例集的执行计数向量E2=(e21,……,e2i,……e2K), 其中,e1i为所述第一测试用例集在所述K个功能分支中第i个分支的执行次数,e2i为所 述第二测试用例集在所述K个功能分支中第i个功能分支的执行次数;所述确定单元510 还用于根据所述第一测试用例集的执行计数向量E1和所述待测单体的复杂度向量ω确定 所述第一测试用例集的测试密度向量DC1=(DC11,……,DC1i,……DC1K),根据所述第 二测试用例集的执行计数向量E2和所述待测单体的复杂度向量ω确定所述第二测试用例 集的测试密度向量DC2=(DC21,……,DC2i,……DC2K),其中,处理单元520,所述处理单元520用于计算所述第一测试用例集的测试密度向量DC1和所 述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数 ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率。
可选地,作为本申请一个实施例,所述确定单元用于:根据所述单体均衡控制模块的源代码,列出所述K个功能分支,所述K个分支中的每个分支对应该功能分支的功能 定义;根据所述K个功能分支,利用统计谓词节点的方法计算第i个功能分支的复杂度计 数ωi。
可选地,作为本申请一个实施例,所述确定单元还用于:确定所述复杂度向量ω与所述第一测试用例集的执行计数向量E1的内积[ω,E1];确定所述复杂度向量ω与所述第二测试用例集的执行计数向量E2的内积[ω,E2];当所述内积[ω,E1]大于或等于所述内积[ω,E2]时,所述第一测试用例集的测试效率不低于所述第二测试用例集的测试效率;当所述内积[ω,E1]小于所述内积[ω,E2]时,所述第一测试用例集的测试效率低于所述第二测试用例集测试效率。
可选地,作为本申请一个实施例,所述确定单元用于:确定所述第一测试用例集的测试密度向量DC1的平均测试密度D1,所述第一测试用例集的平均测试密度D1为所述 测试密度向量DC1的期望其中,表示DC1i的概率;确定 所述第二测试用例集的测试密度向量DC2的平均测试密度D2,所述第二测试用例集的平 均测试密度D2为所述测试密度向量DC2的期望其中,表示DC2i的概率;当所述平均测试密度D1大于或等于所述平均测试密度D2时,确定所 述第一测试用例集的测试强度不小于第二测试用例集的强度;当所述平均测试密度D1小 于所述平均测试密度D2时,确定所述第一测试用例集的测试强度小于第二测试用例集的 强度。
可选地,作为本申请一个实施例,所述确定单元用于:确定二维随机变量(DC1,DC2)的联合概率函数,其中,当m等于n时,概率pmn值为1/K;当m不等于n时,概 率pmn值为0,pm.表示所述测试密度向量DC1的边缘概率,p.n表示所述测试密度向量 DC2的边缘概率;根据所述二维随机变量(DC1,DC2)的联合概率函数,确定所述测试 密度向量DC1,的期望值E(DC12)、E2(DC1),所述测试密度向量DC1的标准差 其中,根据所述二维随机变量(DC1, DC2)的联合概率函数,确定所述测试密度向量DC2,的期望值E(DC22)、E2(DC2),所 述测试密度向量DC2的标准差其中,计算所述测试密度向量DC1和所述测试密度向量DC2的相关系数ρ(DC1,DC2);其中,cov(DC1,DC2)=E{[DC1-E(DC1)][DC2-E(DC2)]}=E(DC1*DC2)-E(DC1)*E(DC2) ,其中,|ρ(DC1,DC2)|的值越小,所述待测单体的均衡控制测试效率评估值越高。
可选地,作为本申请一个实施例,所述处理单元用于:当所述相关系数ρ(DC1,DC2)的绝对值|ρ(DC1,DC2)|小于相关系数阈值L_ro时,终止测试;当|ρ(DC1,DC2)|大于或等 于L_ro时,继续根据第三测试用例集的测试密度向量DC3和所述第四测试用例集的测试 密度向量DC3的相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率。
图6示出了本申请另一装置的示意性结构图,该装置600能够执行本申请实施例提供的评估单体均衡控制测试效率的方法。其中,该装置600包括:处理器601、接收器602、 发送器603、以及存储器604。其中,该处理器601可以与接收器602和发送器603通信 连接。该存储器604可以用于存储该装置600的程序代码和数据。因此,该存储器604可 以是处理器601内部的存储单元,也可以是与处理器601独立的外部存储单元,还可以是 包括处理器601内部的存储单元和与处理器601独立的外部存储单元的部件。
可选的,装置600还可以包括总线605。其中,接收器602、发送器603、以及存储 器604可以通过总线605与处理器601连接;总线605可以是外设部件互连标准(PeripheralComponent Interconnect,PCI)总线或扩展工业标准结构(Extended Industry StandardArchitecture,EISA)总线等。所述总线605可以分为地址总线、数据总线、控制总线等。 为便于表示,图6中仅用一条粗线表示,但并不表示仅有一根总线或一种类型的总线。
处理器601例如可以是中央处理器(Central Processing Unit,CPU),通用处理器, 数字信号处理器(Digital Signal Processor,DSP),专用集成电路(Application-Specific Integrated Circuit,ASIC),现场可编程门阵列(Field Programmable GateArray,FPGA) 或者其他可编程逻辑器件、晶体管逻辑器件、硬件部件或者其任意组合。其可以实现或执 行结合本发明公开内容所描述的各种示例性的逻辑方框,模块和电路。所述处理器也可以 是实现计算功能的组合,例如包含一个或多个微处理器组合,DSP和微处理器的组合等等。
接收器602和发送器603可以是包括上述天线和发射机链和接收机链的电路,二者可以是独立的电路,也可以是同一个电路。
应理解,图5或图6示出的实施例可以实现上述实施例的一个或多个有益效果,为了简洁起见,在此不再赘述
本领域普通技术人员可以意识到,结合本文中所公开的实施例描述的各示例的单元 及算法步骤,能够以电子硬件、或者计算机软件和电子硬件的结合来实现。这些功能究竟 以硬件还是软件方式来执行,取决于技术方案的特定应用和设计约束条件。专业技术人员 可以对每个特定的应用来使用不同方法来实现所描述的功能,但是这种实现不应认为超出 本发明的范围。
所属领域的技术人员可以清楚地了解到,为描述的方便和简洁,上述描述的系统、装置和单元的具体工作过程,可以参考前述方法实施例中的对应过程,在此不再赘述。
在本申请所提供的几个实施例中,应该理解到,所揭露的系统、装置和方法,可以通过其它的方式实现。例如,以上所描述的装置实施例仅仅是示意性的,例如,所述单元 的划分,仅仅为一种逻辑功能划分,实际实现时可以有另外的划分方式,例如多个单元或 组件可以结合或者可以集成到另一个系统,或一些特征可以忽略,或不执行。另一点,所 显示或讨论的相互之间的耦合或直接耦合或通信连接可以是通过一些接口,装置或单元的 间接耦合或通信连接,可以是电性,机械或其它的形式。
所述作为分离部件说明的单元可以是或者也可以不是物理上分开的,作为单元显示 的部件可以是或者也可以不是物理单元,即可以位于一个地方,或者也可以分布到多个网 络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目 的。
另外,在本发明各个实施例中的各功能单元可以集成在一个处理单元中,也可以是 各个单元单独物理存在,也可以两个或两个以上单元集成在一个单元中。
所述功能如果以软件功能单元的形式实现并作为独立的产品销售或使用时,可以存 储在一个计算机可读取存储介质中。基于这样的理解,本发明的技术方案本质上或者说对 现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来,该计算 机软件产品存储在一个存储介质中,包括若干指令用以使得一台计算机设备(可以是个人 计算机,服务器,或者第二设备等)执行本发明各个实施例所述方法的全部或部分步骤。 而前述的存储介质包括:U盘、移动硬盘、只读存储器(ROM,Read-Only Memory)、 随机存取存储器(RAM,Random Access Memory)、磁碟或者光盘等各种可以存储程序 代码的介质。
以上所述,仅为本发明的具体实施方式,但本发明的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本发明揭露的技术范围内,可轻易想到变化或替换,都应涵盖在本发明的保护范围之内。因此,本发明的保护范围应所述以权利要求的保护范围为准。
Claims (12)
1.一种评估单体均衡控制测试效率的方法,其特征在于,包括:
根据待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……,ωK),其中,ωi为所述K个功能分支中的第i个功能分支的复杂度计数,K为正整数;
根据所述K个功能分支,统计待测单体的第一测试用例集的执行计数向量E1=(e11,……,e1i,……e1K),以及第二测试用例集的执行计数向量E2=(e21,……,e2i,……e2K),其中,e1i为所述第一测试用例集在所述K个功能分支中第i个分支的执行次数,e2i为所述第二测试用例集在所述K个功能分支中第i个功能分支的执行次数;
根据所述第一测试用例集的执行计数向量E1和所述待测单体的复杂度向量ω确定所述第一测试用例集的测试密度向量DC1=(DC11,……,DC1i,……DC1K),根据所述第二测试用例集的执行计数向量E2和所述待测单体的复杂度向量ω确定所述第二测试用例集的测试密度向量DC2=(DC21,……,DC2i,……DC2K),其中,
计算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率。
2.根据权利要求1所述的方法,其特征在于,所述根据所述待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……,ωK),包括:
根据所述单体均衡控制模块的源代码,列出所述K个功能分支,所述K个分支中的每个分支对应该功能分支的功能定义;
根据所述K个功能分支,利用统计谓词节点的方法计算第i个功能分支的复杂度计数ωi。
3.根据权利要求1或2所述的方法,其特征在于,所述方法还包括:
确定所述复杂度向量ω与所述第一测试用例集的执行计数向量E1的内积[ω,E1];
确定所述复杂度向量ω与所述第二测试用例集的执行计数向量E2的内积[ω,E2];
当所述内积[ω,E1]大于或等于所述内积[ω,E2]时,所述第一测试用例集的测试效率不低于所述第二测试用例集的测试效率;
当所述内积[ω,E1]小于所述内积[ω,E2]时,所述第一测试用例集的测试效率低于所述第二测试用例集测试效率。
4.根据权利要求1至3中任一项所述的方法,其特征在于,所述方法还包括:
确定所述第一测试用例集的测试密度向量DC1的平均测试密度D1,所述第一测试用例集的平均测试密度D1为所述测试密度向量DC1的期望其中,表示DC1i的概率;
确定所述第二测试用例集的测试密度向量DC2的平均测试密度D2,所述第二测试用例集的平均测试密度D2为所述测试密度向量DC2的期望其中,表示DC2i的概率;
当所述平均测试密度D1大于或等于所述平均测试密度D2时,确定所述第一测试用例集的测试强度不小于第二测试用例集的强度;
当所述平均测试密度D1小于所述平均测试密度D2时,确定所述第一测试用例集的测试强度小于第二测试用例集的强度。
5.根据权利要求4所述的方法,其特征在于,所述计算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率,包括:
确定二维随机变量(DC1,DC2)的联合概率函数,其中,当m等于n时,概率pmn值为1/K;当m不等于n时,概率pmn值为0,pm.表示所述测试密度向量DC1的边缘概率,p.n表示所述测试密度向量DC2的边缘概率;
根据所述二维随机变量(DC1,DC2)的联合概率函数,确定所述测试密度向量DC1,的期望值E(DC12)、E2(DC1),所述测试密度向量DC1的标准差其中,
根据所述二维随机变量(DC1,DC2)的联合概率函数,确定所述测试密度向量DC2,的期望值E(DC22)、E2(DC2),所述测试密度向量DC2的标准差其中,
计算所述测试密度向量DC1和所述测试密度向量DC2的相关系数ρ(DC1,DC2);其中,cov(DC1,DC2)=E{[DC1-E(DC1)][DC2-E(DC2)]}=E(DC1*DC2)-E(DC1)*E(DC2),其中,|ρ(DC1,DC2)|的值越小,所述待测单体的均衡控制测试效率评估值越高。
6.根据权利要求1至5中任一项所述的方法,其特征在于,所述计算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率,包括:
当所述相关系数ρ(DC1,DC2)的绝对值|ρ(DC1,DC2)|小于相关系数阈值L_ro时,终止测试;当|ρ(DC1,DC2)|大于或等于L_ro时,继续根据第三测试用例集的测试密度向量DC3和所述第四测试用例集的测试密度向量DC4的相关系数ρ(DC3,DC4)确定所述待测单体的均衡控制测试效率。
7.一种评估单体均衡控制测试效率的装置,其特征在于,包括:
确定单元,所述确定单元用于根据待测单体的代码信息,确定所述待测单体的K个功能分支和所述待测单体的复杂度向量ω=(ω1,……,ωi,……,ωK),其中,ωi为所述K个功能分支中的第i个功能分支的复杂度计数,K为正整数;
所述确定单元还用于根据所述K个功能分支,统计待测单体的第一测试用例集的执行计数向量E1=(e11,……,e1i,……e1K),以及第二测试用例集的执行计数向量E2=(e21,……,e2i,……e2K),其中,e1i为所述第一测试用例集在所述K个功能分支中第i个分支的执行次数,e2i为所述第二测试用例集在所述K个功能分支中第i个功能分支的执行次数;
所述确定单元还用于根据所述第一测试用例集的执行计数向量E1和所述待测单体的复杂度向量ω确定所述第一测试用例集的测试密度向量DC1=(DC11,……,DC1i,……DC1K),根据所述第二测试用例集的执行计数向量E2和所述待测单体的复杂度向量ω确定所述第二测试用例集的测试密度向量DC2=(DC21,……,DC2i,……DC2K),其中,处理单元,所述处理单元用于计算所述第一测试用例集的测试密度向量DC1和所述第二测试用例集的测试密度向量DC2的相关系数ρ(DC1,DC2),并根据所述相关系数ρ(DC1,DC2)确定所述待测单体的均衡控制测试效率。
8.根据权利要求7所述的装置,其特征在于,所述确定单元用于:
根据所述单体均衡控制模块的源代码,列出所述K个功能分支,所述K个分支中的每个分支对应该功能分支的功能定义;
根据所述K个功能分支,利用统计谓词节点的方法计算第i个功能分支的复杂度计数ωi。
9.根据权利要求7或8所述的装置,其特征在于,所述确定单元还用于:
确定所述复杂度向量ω与所述第一测试用例集的执行计数向量E1的内积[ω,E1];
确定所述复杂度向量ω与所述第二测试用例集的执行计数向量E2的内积[ω,E2];
当所述内积[ω,E1]大于或等于所述内积[ω,E2]时,所述第一测试用例集的测试效率不低于所述第二测试用例集的测试效率;
当所述内积[ω,E1]小于所述内积[ω,E2]时,所述第一测试用例集的测试效率低于所述第二测试用例集测试效率。
10.根据权利要求7至9中任一项所述的装置,其特征在于,所述确定单元用于:
确定所述第一测试用例集的测试密度向量DC1的平均测试密度D1,所述第一测试用例集的平均测试密度D1为所述测试密度向量DC1的期望其中,表示DC1i的概率;
确定所述第二测试用例集的测试密度向量DC2的平均测试密度D2,所述第二测试用例集的平均测试密度D2为所述测试密度向量DC2的期望其中,表示DC2i的概率;当所述平均测试密度D1大于或等于所述平均测试密度D2时,确定所述第一测试用例集的测试强度不小于第二测试用例集的强度;
当所述平均测试密度D1小于所述平均测试密度D2时,确定所述第一测试用例集的测试强度小于第二测试用例集的强度。
11.根据权利要求10所述的装置,其特征在于,所述确定单元用于:
确定二维随机变量(DC1,DC2)的联合概率函数,其中,当m等于n时,概率pmn值为1/K;当m不等于n时,概率pmn值为0,pm.表示所述测试密度向量DC1的边缘概率,p.n表示所述测试密度向量DC2的边缘概率;
根据所述二维随机变量(DC1,DC2)的联合概率函数,确定所述测试密度向量DC1,的期望值E(DC12)、E2(DC1),所述测试密度向量DC1的标准差其中,
根据所述二维随机变量(DC1,DC2)的联合概率函数,确定所述测试密度向量DC2,的期望值E(DC22)、E2(DC2),所述测试密度向量DC2的标准差其中,
计算所述测试密度向量DC1和所述测试密度向量DC2的相关系数ρ(DC1,DC2);其中,cov(DC1,DC2)=E{[DC1-E(DC1)][DC2-E(DC2)]}=E(DC1*DC2)-E(DC1)*E(DC2),其中,|ρ(DC1,DC2)|的值越小,所述待测单体的均衡控制测试效率评估值越高。
12.根据权利要求7至11中任一项所述的装置,其特征在于,所述处理单元用于:
当所述相关系数ρ(DC1,DC2)的绝对值|ρ(DC1,DC2)|小于相关系数阈值L_ro时,终止测试;当|ρ(DC1,DC2)|大于或等于L_ro时,继续根据第三测试用例集的测试密度向量DC3和所述第四测试用例集的测试密度向量DC4的相关系数ρ(DC3,DC4)确定所述待测单体的均衡控制测试效率。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711207565.7A CN108983742A (zh) | 2017-11-27 | 2017-11-27 | 一种评估单体均衡控制测试效率的方法及其装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711207565.7A CN108983742A (zh) | 2017-11-27 | 2017-11-27 | 一种评估单体均衡控制测试效率的方法及其装置 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN108983742A true CN108983742A (zh) | 2018-12-11 |
Family
ID=64541651
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201711207565.7A Pending CN108983742A (zh) | 2017-11-27 | 2017-11-27 | 一种评估单体均衡控制测试效率的方法及其装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108983742A (zh) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101551776A (zh) * | 2009-04-24 | 2009-10-07 | 北京航空航天大学 | 一种面向测试过程的软件可信性度量与评估方法 |
US7895565B1 (en) * | 2006-03-15 | 2011-02-22 | Jp Morgan Chase Bank, N.A. | Integrated system and method for validating the functionality and performance of software applications |
CN203673055U (zh) * | 2013-09-30 | 2014-06-25 | 广东电网公司电力科学研究院 | 电池管理系统硬件在环测试台架 |
CN105044609A (zh) * | 2015-07-09 | 2015-11-11 | 重庆长安汽车股份有限公司 | 电池单体均衡功能效果的测试方法及系统 |
CN106026292A (zh) * | 2016-07-19 | 2016-10-12 | 中国科学技术大学 | 一种基于a*算法的电池均衡控制方法和系统 |
CN107239396A (zh) * | 2017-05-11 | 2017-10-10 | 东南大学 | 一种基于代码圈复杂度度量的软件演化评估方法 |
-
2017
- 2017-11-27 CN CN201711207565.7A patent/CN108983742A/zh active Pending
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7895565B1 (en) * | 2006-03-15 | 2011-02-22 | Jp Morgan Chase Bank, N.A. | Integrated system and method for validating the functionality and performance of software applications |
CN101551776A (zh) * | 2009-04-24 | 2009-10-07 | 北京航空航天大学 | 一种面向测试过程的软件可信性度量与评估方法 |
CN203673055U (zh) * | 2013-09-30 | 2014-06-25 | 广东电网公司电力科学研究院 | 电池管理系统硬件在环测试台架 |
CN105044609A (zh) * | 2015-07-09 | 2015-11-11 | 重庆长安汽车股份有限公司 | 电池单体均衡功能效果的测试方法及系统 |
CN106026292A (zh) * | 2016-07-19 | 2016-10-12 | 中国科学技术大学 | 一种基于a*算法的电池均衡控制方法和系统 |
CN107239396A (zh) * | 2017-05-11 | 2017-10-10 | 东南大学 | 一种基于代码圈复杂度度量的软件演化评估方法 |
Non-Patent Citations (1)
Title |
---|
吴际等: "软件复杂性与测试用例集价值", 《电子学报》 * |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Pola et al. | Particle-filtering-based discharge time prognosis for lithium-ion batteries with a statistical characterization of use profiles | |
US20090210212A1 (en) | Validating One or More Circuits Using One or More Grids | |
Eryilmaz | Mean residual and mean past lifetime of multi-state systems with identical components | |
Gerostathopoulos et al. | How do we evaluate self-adaptive software systems?: A ten-year perspective of SEAMS | |
Cai et al. | TEA-DNN: the quest for time-energy-accuracy co-optimized deep neural networks | |
Thanheiser et al. | Battery emulation considering thermal behavior | |
Hosseingholizadeh | A source-based risk analysis approach for software test optimization | |
CN108920353A (zh) | 一种测试方法、装置及电子设备 | |
US20170132045A1 (en) | Load estimation system, information processing device, load estimation method, and storage medium for storing program | |
Herle et al. | Overcoming limited battery data challenges: A coupled neural network approach | |
An et al. | A novel battery pack inconsistency model and influence degree analysis of inconsistency on output energy | |
Latella et al. | On-the-fly probabilistic model checking | |
WO2014185921A1 (en) | Systems and methods for meter placement in power grid networks | |
CN108983742A (zh) | 一种评估单体均衡控制测试效率的方法及其装置 | |
Mohapatra et al. | Minimizing test cases to reduce the cost of regression testing | |
Turlea et al. | Generating complex paths for testing from an EFSM | |
Malinowski | A Monte Carlo method for estimating reliability parameters of a complex repairable technical system with inter-component dependencies | |
Muttillo et al. | Criticality-driven design space exploration for mixed-criticality heterogeneous parallel embedded systems | |
CN106874215B (zh) | 一种基于Spark算子的序列化存储优化方法 | |
Fränzle et al. | Multi-objective parameter synthesis in probabilistic hybrid systems | |
Takagi et al. | Concurrent N-switch coverage criterion for generating test cases from place/transition nets | |
Rościszewski | Modeling and simulation for exploring power/time trade-off of parallel deep neural network training | |
Wilke et al. | Vision paper: Towards model-based energy testing | |
Zhou et al. | Using Small-Scale History Data to Predict Large-Scale Performance of HPC Application | |
Bartocci et al. | Monitoring with uncertainty |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20181211 |
|
RJ01 | Rejection of invention patent application after publication |