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

摘要

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