关于可应用测试数据充分性准则复杂性的注记

• 作者: 暴建民 王申科
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件测试 软件可靠性 数据流 测试准则
• 年，卷（期）: 1999,（4）
• 所属期刊栏目: 短文
• 页码范围: 437-441
• 页数: 5页
• 分类号: TP311
• 字数: 4962字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.04.017

摘要

软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Weyuker于1984年提出了Rapps-Weyuker的all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p-uses准则的复杂性上界,于1988年又提出可应用数据流测试准则.我们发现原有测试复杂度在可应用家族中应用出现问题,本文就此问题给出注记.