同济大学学报(自然科学版)

2002, (10) 1178-1182

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

面向不同应用的可行性数据流测试准则
Feasible Data Flow Testing Criteria for Different Applications

刘宏伟,杨孝宗,李香,曲峰

摘要(Abstract):

测试准则是完成软件测试必须满足的条件 ,一个可行的测试准则是当且仅当对任意一个程序 ,都存在一个测试用例集能够满足该准则 .但在通常情况下 ,由于程序中不可执行的语句或路径的存在 ,使得基于数据流的测试准则不可行 .在一类具有可行性的测试准则FDF的基础上 ,给出了三类新的基于数据流的测试准则 ,并且证明其中两类准则比FDF测试准则具有更强的故障检测能力 .

关键词(KeyWords): 软件测试;数据流分析;测试准则;划分测试;故障检测能力

Abstract:

Keywords:

基金项目(Foundation): 总装备部“十五”预研基金资助项目 ( 4 1316 .1.2 )

作者(Author): 刘宏伟,杨孝宗,李香,曲峰

Email:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享