对逻辑覆盖软件测试准则的公理化评估

• 作者: 刘玲 缪淮扣
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 基于规格说明的测试 逻辑覆盖测试准则 公理化评估 测试充分性准则
• 年，卷（期）: 2004,（9）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1301-1310
• 页数: 10页
• 分类号: TP311
• 字数: 10380字
• 语种: 中文

摘要

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一组公理,然后通过检查测试准则是否满足该组公理来分析和比较相应的测试准则.描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	刘玲	上海大学计算机工程与科学学院	20	211	8.0	14.0