[发明专利]一种基于接口模型的操作系统标准符合性测试的充分性评估方法

权利要求书

1.一种基于接口模型的操作系统标准符合性测试的充分性评估法，其特征在于,是在一台计算机中，针对一个已经通过标准符合性测试的操作系统软件S依次按照以下步骤进行充分性评估的：

步骤（1） 计算机初始化:

输入：根据所述操作系统软件S建立接口模型，其中包括：数据模型和功能模型：

数据模型：包括数据池的每个数据分区内所包含的所有测试数据，

功能模型：各个接口的包括输入参数和输出参数在内的接口参数以及对应的接口功能，

还包括：已经在所述操作系统软件S中通过标准符合性测试的测试用例集合T，

步骤（2） 依次按以下步骤进行标准符合性测试的充分性评估：

步骤（2.1） 按以下公式计算接口输入参数的覆盖率：

，

其中，

●k为接口I的序号，

●为接口I_k的一组输入参数集合，

步骤（2.2）按下式计算接口I_k的输入参数-输出参数两者组合的覆盖率：

，

其中，

●是接口I_k的所有输入参数-输出参数组合参数对集合，

●为接口I_k的一组输入参数，

●为接口I_k的一组输出参数，

步骤（2.3） 按下式计算特定接口的接口功能覆盖率：

Cov(T,Ik0)=γ1Σpi∈PinIk0λiCov(T,pi)|PinIk0|+γ2Σqj∈Pin-outIk0βjCov(T,qj)|Pin-outIk0|]]>，

其中

●表示特定接口的输入参数集合中元素的个数，

●表示特定接口的输入参数-输入参数组合集合中元素的个数，

●是接口输入参数集合中的任意一个元素，i表示元素序列i=1,2, …,，且

，

●是接口输入参数-输出参数组合参数对集合中的任意一个元素，j表示元素序列j=1,2, …, ，且

，

●γ₁，γ₂，λ_i，和β_j分别表示权值系数，其中，

a)λ_i是接口每一个输入参数p_i的覆盖Cov(T,p_i)的权重，表明在所有接口输入参数中，p_i对实现接口功能的重要程度，满足以下约束条件：

Σi=1|PinIk0|λi=1]]>，

b)β_j是接口每一个输入参数-输出参数组合q_j的覆盖Cov(T,q_j)的权重，表明在所有接口输入参数-输出参数组合中，q_j的重要程度，满足以下约束条件：

Σj=1|Pin-outIk0|βj=1]]>，

c)γ₁是接口输入参数覆盖率的权重，表明其相对于输入参数-输出参数组合覆盖率，对标准符合性测试的充分性评估的重要程度；

d)γ₂是接口输入参数-输出参数组合覆盖率的权重，表明其相对于输入参数覆盖率，对标准符合性测试的充分性评估的重要程度；

e)γ₁和γ₂满足以下约束条件：

γ₁+γ₂=1，

步骤（2.4） 按下式计算接口功能组合的覆盖率Cov(T,I^*)，I^*表示针对系统S的一组标准接口的合法的功能组合集合，

，

步骤（2.5）按下式计算系统综合覆盖率Cov(T,S)：

Cov(T,S)=Γ1ΣIk∈IρkCov(T,Ik)|I|+Γ2ΣIl*∈I*ωlCov(T,Il*)|I*|]]>,

其中

●I是系统S的所有接口的集合，|I|表示I中元素的个数，

●I^*表示系统S的接口功能组合的集合，|I^*|表示I^*中元素的个数，

●I_k∈I是接口集合I中的任意一个元素，k表示元素序列（k=1,2, …, |I|），Cov(T, I_k)由步骤2.3计算获得，

●是接口功能组合集合I^*中的任意一个元素，l表示元素序列（l=1,2, …, |I^*|），且

，

●Γ₁，Γ₂，ρ_k，和ω_l分别表示权值系数，其中，

a)ρ_k是系统S的接口I_k的覆盖率Cov(T,I_k)的权重，表明在所有接口中，I_k对实现系统功能的重要程度，满足以下约束条件：

Σk=1|I|ρk=1]]>，

b)ω_l是系统S的接口组合的覆盖的权重，表明在所有功能组合中，功能组合覆盖对于系统功能实现的重要程度，满足以下约束条件：

Σl=1|I*|ωl=1]]>，

c)Γ₁是接口功能覆盖率的权重，表明其相对于功能组合覆盖率，对标准符合性测试的充分性评估的重要程度；

d)Γ₂是接口功能组合覆盖率的权重，表明其相对于接口功能覆盖率，对标准符合性测试的充分性评估的重要程度；

e)Γ₁和Γ₂满足以下约束条件：

Γ₁+Γ₂=1，

步骤（3） 基于覆盖率的测试集选择

依次按以下步骤根据测试覆盖率，从已有的测试用例集T中，选择测试用例集合T′：

步骤（3.1）设定测试覆盖率目标

设定接口输入参数、接口输入参数-输出参数组合、接口功能、接口功能组合、以及系统综合覆盖率指标，作为操作系统S标准符合性测试的测试目标；

步骤（3.2）按照以下步骤，从测试用例集T中选择初始测试用例集合T₀，T′=T₀,

初始用例集的选择可采用以下任意一种：

1）随机选择；或者

2）根据标准符合性测试的历史数据，选取一组覆盖率最高的测试用例；或者

3）针对重点关注的接口，选取该接口所对应的一组覆盖率最高的测试用例，

步骤（3.3）按照上述步骤（2）计算测试用例集合T′的覆盖率，并判定是否满足步骤（3.1）中所设定的测试覆盖率目标，如果满足，结束退出；否则，选取新的测试用例集T_m补充到已有的测试用例集中，即T′=T′+T_m，T_m可采用以下方式从测试用例集T中选择：

1）随机选择；或者

2）根据标准符合性测试的历史数据，选取一组覆盖率最高的测试用例；或者

3）针对覆盖率最低的接口，选取该接口所对应的一组覆盖率最高的测试用例。