[发明专利]一种基于系统特征状态的软件测试充分性度量方法

摘要

本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。

主权项

1.一种基于系统特征状态的软件测试充分性度量方法，其特征在于，包括以下步骤：第一步：系统应用层协议实时数据采集能力评估首先确定被测系统的范围及组成，分析各组成部分之间的交互关系，确定之间的通信方式，评估系统组成之间的通迅能否实时进行数据采集或采取其他技术手段获取通信协议数据；第二步：系统应用层协议的建模与量化分析使用通用的通讯字描述语言，对系统应用层协议进行描述，计算通信协议字段取值的总数，即系统特征状态的总数，一个通信协议字段为一个特征，一个特征下的一个状态为通信协议字段取值；第三步：系统特征状态的权重剖面确定其中，对系统的特征和状态给出权重值的定义，具体方法是在等值分布的基础上，进行针对性地调整；第四步：生成采集数据的解析程序依据通讯字描述语言的建模结果，生成用于解析实时采集通信协议数据的解析程序；用通讯字描述语言把自然语言描述的通讯协议转义成形式化的文本文件，对形式化的通讯协议进行翻译，生成一个可执行程序，用于把采集到的通讯协议数据解析成特征状态覆盖情况；第五步：进行系统测试验证，收集采集数据采集数据以时间顺序进行收集并标识；第六步：对采集数据分析，确认系统测试正常如果确认系统测试不正常，即测试实际结果与预期结果不一致，有三种处理方式：(1)剔除不正常的采集数据，继续；(2)除剔除不正常的采集数据之外，还与不正常采集数据相关的特征状态均清理为未验证；(3)废弃之前的所有采集数据，重新统计；第七步：对采集数据进行KSAC指标评估如果KSAC指标满足要求，则系统测试结束；如果KSAC指标未满足要求，则生成尚未验证的特征状态清单，继续系统测试；其中：系统的nc个特征：ci，i＝1,2,…,nc特征ci的ni个特征：si,j，j＝1,2,…,ni特征ci的权重：αi，αi≥0特征c_i的状态s_i,j的权重：β_i,j，β_i,j≥0，特征c_i的状态s_i,j的是否覆盖的标志：关键特征状态累计覆盖率：第八步：针对尚未验证的特征状态，补充新的测试用例依据尚未验证的特征状态清单，以权重大者为优先，补充进行针对性的测试；第九步：对补充的采集数据进行KSAC指标评估如果KSAC指标满足要求，则系统测试结束；如果KSAC指标未满足要求，则生成尚未验证的特征状态清单，返回第五步，直至已达规定的终止时间或规定的重复次数，系统测试结束。