一种基于接口模型的操作系统标准符合性测试的充分性评估方法，涉及软件测试的充分性评估，所述方法适用于操作系统针对特定标准的符合性测试，可以度量测试用例设计对于标准接口的覆盖率程度，为测试用例的选择、改进及测试充分性评估提供依据。方法包括三个方面：计算机初始化，以建立接口的数据模型和功能模型，获得标准符合性测试用例集；测试充分性评估，计算接口输入参数、接口输入参数-输出参数组合、接口功能、接口功能组合、以及系统综合覆盖率；基于覆盖率的测试用例选择，设定标准符合性测试的覆盖率目标，从总体用例集中迭代选取测试用例，直至满足覆盖率目标。
【技术实现步骤摘要】
本专利技术涉及计算机软件领域，特别涉及基于模型的测试充分性评估。
技术介绍
操作系统的开发必须在遵循国际和工业标准的基础上进行，遵循标准是操作系统互通、互联、互操作的基础。标准符合性是操作系统保证其开放性、兼容性、以及对上层丰富应用的有效支持的基础和关键，标准符合性测试就是测试所开发的软件其接口或功能模块是否符合特定的软件标准或者规范，这个符合性不仅是指在形式上是一致的，还指其在功能、数据控制、异常处理等方面也要符合标准规范。例如，ARINC 653作为机载操作系统标准，对应用程序编程接口进行了详细定义，并定义了标准符合性测试的规范，明确说明了测试过程及测试用例的设计要求。软件测试是根据软件开发阶段的各种说明文档，设计测试用例，使用手工或自动的方式，按照测试方案和流程，使用这些测试用例运行软件系统，用以检验软件系统是否满足预期需求的过程。由于标准接口数量大、接口之间依赖关系复杂、接口使用场景多样，标准符合性测试面临组合爆炸的问题，无法做到穷尽测试。标准符合性测试设计的关键之一就是寻找有效的测试集，力求尽可能地覆盖接口需求，并有效发现缺陷，增强测试的可信度。测试充分性评估是对软件测试集的一种度量，通常针对特定的软件特征，采用测试覆盖率定量度量软件测试的充分程度，可以用如下公式来表示已测试执行的特定特征数目覆皿率=车欠件的特定特征总数Xl00/°根据软件测试的分类，测试充分性评估可以分为基于代码的测试充分性评估和基于功能的测试充分性评估两大类。基于代码的充分性评估适用于白盒测试中，通过在测试过程中观测程序的语句、分支、路径等的执行情况，来评估测试覆盖的充分程度。基于功能的充分性评估，常用于黑盒测试中，以评估软件系统对于功能需求的覆盖程度。标准符合性测试本质上为一种黑盒测试，以明确的应用程序接口描述作为软件功能特性，其基本要求功能点覆盖就体现为对于各种接口参数数据取值类型、参数数据组合、接口操作、操作组合各个层次上。本专利技术给出一种基于接口模型的标准符合性测试充分性度量方法，主要由两部分组成(I)操作系统标准接口的结构化建模与描述；(2)测试执行对于接口模型的覆盖程度的一种层次化的度量模型，进而给出综合化评估方法。标准符合性测试是操作系统测试的基本要求。测试充分性分析对测试用例集设计以及优化具有重要指导意义
技术实现思路
本专利技术米用基于模型的软仵度量技术，给出一种接口功能的结构化建模及层Z 度量方法。方法针对目前广泛应用的操作系统软件的接口标准符合性测试问题，要求! 操作系统及其测试用例集满足以下条件(1)目标操作系统具有明确的接口功能定义 行业内普遍认同的标准，是操作系统设计、开发与测试的主要依据；(2)测试用例集中Z 是针对操作系统标准接口的功能测试，且每个测试用例可追踪至被测软件的功能特性 括被测接口的参数数据、被测接口的功能以及功能组合。基于接口模型的操作系统标准符合性测试的充分性评估法，其特征在于是在-计算机中，针对一个已经通过标准符合性测试的操作系统软件S依次按照以下步骤进1 分性评估的步骤(1)计算机初始化输入根据所述操作系统软件S建立接口模型，其中包括数据模型和功能模 数据模型包括数据池的每个数据分区内所包含的所有测试数据，功能模型各个接口的包括输入参数和输出参数在内的接口参数以及对应的| 功能，还包括已经在所述操作系统软件S中通过标准符合性测试的测试用例集合r步骤(2)依次按以下步骤进行标准符合性测试的充分性评估。步骤(2. 1)按以下公式计算接口输入参数的覆盖率Cov(7 / )权利要求1.一种基于接口模型的操作系统标准符合性测试的充分性评估法，其特征在于，是在一台计算机中，针对一个已经通过标准符合性测试的操作系统软件S依次按照以下步骤进行充分性评估的步骤(I)计算机初始化输入根据所述操作系统软件S建立接口模型，其中包括数据模型和功能模型数据模型包括数据池的每个数据分区内所包含的所有测试数据，功能模型各个接口的包括输入参数和输出参数在内的接口参数以及对应的接口功倉泛，还包括已经在所述操作系统软件S中通过标准符合性测试的测试用例集合T，步骤(2)依次按以下步骤进行标准符合性测试的充分性评估步骤(2. I)按以下公式计算接口输入参数的覆盖率Cov(r,P ,TM、在Γ中已经测试到的接口输入参数的所有分区测试数据的数目irvw全文摘要，涉及软件测试的充分性评估，所述方法适用于操作系统针对特定标准的符合性测试，可以度量测试用例设计对于标准接口的覆盖率程度，为测试用例的选择、改进及测试充分性评估提供依据。方法包括三个方面计算机初始化，以建立接口的数据模型和功能模型，获得标准符合性测试用例集；测试充分性评估，计算接口输入参数、接口输入参数-输出参数组合、接口功能、接口功能组合、以及系统综合覆盖率；基于覆盖率的测试用例选择，设定标准符合性测试的覆盖率目标，从总体用例集中迭代选取测试用例，直至满足覆盖率目标。文档编号G06F11/36GK102945204SQ20121045912公开日2013年2月27日 申请日期2012年11月14日 优先权日2012年11月14日专利技术者白晓颖, 张瑶 申请人:清华大学本文档来自技高网...
【技术保护点】
一种基于接口模型的操作系统标准符合性测试的充分性评估法，其特征在于,是在一台计算机中，针对一个已经通过标准符合性测试的操作系统软件S依次按照以下步骤进行充分性评估的：步骤（1）?计算机初始化:输入：根据所述操作系统软件S建立接口模型，其中包括：数据模型和功能模型：数据模型：包括数据池的每个数据分区内所包含的所有测试数据，功能模型：各个接口的包括输入参数和输出参数在内的接口参数以及对应的接口功能，还包括：已经在所述操作系统软件S中通过标准符合性测试的测试用例集合T，步骤（2）?依次按以下步骤进行标准符合性测试的充分性评估：步骤（2.1）?按以下公式计算接口输入参数的覆盖率：，其中，●k为接口I的序号，●为接口Ik的一组输入参数集合，步骤（2.2）按下式计算接口Ik的输入参数?输出参数两者组合的覆盖率：，其中，●是接口Ik的所有输入参数?输出参数组合参数对集合，●为接口Ik的一组输入参数，●为接口Ik的一组输出参数，步骤（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,?…,?，且，●γ1，γ2，λi，和βj分别表示权值系数，其中，a)λi是接口每一个输入参数pi的覆盖Cov(T,pi)的权重，表明在所有接口输入参数中，pi对实现接口功能的重要程度，满足以下约束条件：Σi=1|PinIk0|λi=1，b)βj是接口每一个输入参数?输出参数组合qj的覆盖Cov(T,qj)的权重，表明在所有接口输入参数?输出参数组合中，qj的重要程度，满足以下约束条件：Σj=1|Pin-outIk0|βj=1，c)γ1是接口输入参数覆盖率的权重，表明其相对于输入参数?输出参数组合覆盖率，对标准符合性测试的充分性评估的重要程度；d)γ2是接口输入参数?输出参数组合覆盖率的权重，表明其相对于输入参数覆盖率，对标准符合性测试的充分性评估的重要程度；e)γ1和γ2满足以下约束条件：γ1+γ2=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*中元素的个数，●Ik∈I是接口集合I中的任意一个元素，k表示元素序列（k=1,2,?…,?|I|），Cov(T,?Ik)由步骤2.3计算获得，●是接口功能组合集合I*中的任意一个元素，l表示元素序列（l=1,2,?…,?|I*|），且，●Γ1，Γ2，ρk，和ωl分别表示权值系数，其中，a)ρk是系统S的接口Ik的覆盖率Cov(T,Ik)的权重，表明在所有接口中，Ik对实现系统功能的重要程度，满足以下约束条件：Σk=1|I|ρk=1，b)ωl是系统S的接口组合的覆盖的权重，表明在所有功能组合中，功能组合覆盖对于系统功能实现的重要程度，满足以下约束条件：Σl=1|I*|ωl=1，c)Γ1是接口功能覆盖率的权重，表明其相对于功能组合覆盖率，对标准符合性测试的充分性评估的重要程度；d)Γ2是接口功能组合覆盖率的权重，表明其相对于接口功能覆盖率，对标准符合性测试的充分性评估的重要程度；e)Γ1和Γ2满足以下约束条件：Γ1+Γ2=1，步骤（3）?基于覆盖率的测试集选择依次按以下步骤根据测试覆盖率，从已有的测试用例集T中，选择测试用例集合T′：步骤（3.1）设定测试覆盖率目标设定接口输入参数、接口输入参数?输出参数组合、接口功能、接口功能组合、以及系统综合覆盖率指标，作为操作系...
【技术特征摘要】
【专利技术属性】
技术研发人员：白晓颖，张瑶，
申请(专利权)人：清华大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。