四川大学学报(自然科学版)
四川大學學報(自然科學版)
사천대학학보(자연과학판)
JOURNAL OF SICHUAN UNIVERSITY(NATURAL SCIENCE EDITION)
2010年
1期
61-66
,共6页
端木传毅%邓洪敏%胡晓勤%赵奎%卢正添
耑木傳毅%鄧洪敏%鬍曉勤%趙奎%盧正添
단목전의%산홍민%호효근%조규%로정첨
软件测试%价值函数%禁忌搜索
軟件測試%價值函數%禁忌搜索
연건측시%개치함수%금기수색
software test%cost function%tabu search
基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程,如果强化失败则调用多样化函数来使搜索多样化.最后通过与随机测试的对比实验,验证了基于双价值函数的禁忌搜索算法在软件测试中的高效性.
基于禁忌搜索算法的軟件測試用例自動生成是目前一項先進的軟件測試技術.傳統的基于元啟髮式算法的自動測試技術隻有一箇價值函數,本文針對禁忌搜索算法提齣彊化和多樣化兩箇價值函數.測試用例生成器通過調用彊化價值函數來彊化搜索過程,如果彊化失敗則調用多樣化函數來使搜索多樣化.最後通過與隨機測試的對比實驗,驗證瞭基于雙價值函數的禁忌搜索算法在軟件測試中的高效性.
기우금기수색산법적연건측시용례자동생성시목전일항선진적연건측시기술.전통적기우원계발식산법적자동측시기술지유일개개치함수,본문침대금기수색산법제출강화화다양화량개개치함수.측시용례생성기통과조용강화개치함수래강화수색과정,여과강화실패칙조용다양화함수래사수색다양화.최후통과여수궤측시적대비실험,험증료기우쌍개치함수적금기수색산법재연건측시중적고효성.
It is an advanced technique to do automatic generation of software test by tabu search algorithm. Traditional automatic test that based on heuristic algorithm usually has only one cost function. This paper proposes two cost functions for tabu research. One is for intensifying the search and the other is for diversifying the search which is used when the intensification is not successful. By contrast with the random test, our experimental results proved the high efficiency of such software test that based on double cost function.