一种基于接口模型的操作系统标准符合性测试的充分性评估方法技术方案

一种基于接口模型的操作系统标准符合性测试的充分性评估方法，涉及软件测试的充分性评估，所述方法适用于操作系统针对特定标准的符合性测试，可以度量测试用例设计对于标准接口的覆盖率程度，为测试用例的选择、改进及测试充分性评估提供依据。方法包括三个方面：计算机初始化，以建立接口的数据模型和功能模型，获得标准符合性测试用例集；测试充分性评估，计算接口输入参数、接口输入参数-输出参数组合、接口功能、接口功能组合、以及系统综合覆盖率；基于覆盖率的测试用例选择，设定标准符合性测试的覆盖率目标，从总体用例集中迭代选取测试用例，直至满足覆盖率目标。

【技术实现步骤摘要】

本专利技术涉及计算机软件领域，特别涉及基于模型的测试充分性评估。
技术介绍
操作系统的开发必须在遵循国际和工业标准的基础上进行，遵循标准是操作系统互通、互联、互操作的基础。标准符合性是操作系统保证其开放性、兼容性、以及对上层丰富应用的有效支持的基础和关键，标准符合性测试就是测试所开发的软件其接口或功能模块是否符合特定的软件标准或者规范，这个符合性不仅是指在形式上是一致的，还指其在功能、数据控制、异常处理等方面也要符合标准规范。例如，ARINC 653作为机载操作系统标准，对应用程序编程接口进行了详细定义，并定义了标准符合性测试的规范，明确说明了测试过程及测试用例的设计要求。软件测试是根据软件开发阶段的各种说明文档，设计测试用例，使用手工或自动的方式，按照测试方案和流程，使用这些测试用例运行软件系统，用以检验软件系统是否满足预期需求的过程。由于标准接口数量大、接口之间依赖关系复杂、接口使用场景多样，标准符合性测试面临组合爆炸的问题，无法做到穷尽测试。标准符合性测试设计的关键之一就是寻找有效的测试集，力求尽可能地覆盖接口需求，并有效发现缺陷，增强测试的可信度。测试充分性评估是对软件测试本文档来自技高网...

【技术保护点】
一种基于接口模型的操作系统标准符合性测试的充分性评估法，其特征在于,是在一台计算机中，针对一个已经通过标准符合性测试的操作系统软件S依次按照以下步骤进行充分性评估的：步骤（1）?计算机初始化:输入：根据所述操作系统软件S建立接口模型，其中包括：数据模型和功能模型：数据模型：包括数据池的每个数据分区内所包含的所有测试数据，功能模型：各个接口的包括输入参数和输出参数在内的接口参数以及对应的接口功能，还包括：已经在所述操作系统软件S中通过标准符合性测试的测试用例集合T，步骤（2）?依次按以下步骤进行标准符合性测试的充分性评估：步骤（2.1）?按以下公式计算接口输入参数的覆盖率：，其中，●k为接口I的...

【技术特征摘要】

【专利技术属性】
技术研发人员：白晓颖，张瑶，
申请(专利权)人：清华大学，
类型：发明
国别省市：