面向不同应用的可行性数据流测试准则
摘要—测试准则是完成软件测试必须满足的条件,一个测试准则是可行的当且仅当对任意一个程序,都存在一个测试用例集能够满足该准则.但在通常情况下,由于程序中不可执行的语句或路径的存在,使得基于数据流的测试准则不可行,文献”1”给出了一类具有可行性的测试准则,在此基础上,本文给出了三类新的基于数据流的测试准则,并且证明其中两类准则比文献”1”中给出的准则具有更强的故障检测能力.
软件测试 数据流分析 测试准则 划分测试 故障检测能力
刘宏伟 杨孝宗 李香 曲峰
哈尔滨工业大学计算机系(哈尔滨)
国内会议
上海
中文
12-18
2002-10-01（万方平台首次上网日期，不代表论文的发表时间）