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

作者：刘玲; 缪淮扣

来源：软件学报, 2004, (09): 1301-1310.

• 基于规格说明的测试
• 逻辑覆盖测试准则
• 公理化评估
• 测试充分性准则 specification-based testing
• logic coverage software testing criteria
• axiomatic assessment
• test adequacy criteria

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完...

• 出版日期2004
• 单位上海大学