《计算机学报》文章摘要 全文下载 | |
文章题目 | 关于可应用测试数据充分性准则复杂性的注记 |
作者 | 暴建民 王申科 |
作者单位 | (中国科学院计算技术研究所CAD开放研究实验室 北京 100080) (中国建设银行科技部 北京 100032) |
发表年份 | 1999 |
发表月份 | 4期 (页码:437—441) |
文章摘要 | 软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Weyuker于1984年提出了Rapps-Weyuker的all-uses, all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p-uses准则的复杂性上界,于1988年又提出可应用数据流测试准则.我们发现原有测试复杂度在可应用家族中应用出现问题, 本文就此问题给出注记. 关键词 软件测试,软件可靠性,数据流,测试准则. |