کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
720225 | 1461229 | 2014 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Intelligent test case generation based on branch and bound
ترجمه فارسی عنوان
نسل مورد آزمایش هوشمند بر اساس شاخه و محدود است
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نسخۀ آزمایش تست، مشکل رضایتمندی محدودیت، شاخه و مرز، جستجوی فضایی دولتی،
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مهندسی برق و الکترونیک
چکیده انگلیسی
Path-oriented test case generation is in essence a constraint satisfaction problem (CSP) solved by search strategies, among which backtracking algorithms are widely used. In this article, the backtracking algorithm branch and bound (BB) is introduced to generate path-oriented test cases automatically. A model based on state space search is proposed to construct the search tree dynamically. The BB is optimized from two perspectives. Variable permutation with a heuristic rule to break ties is adopted for the branching operation, and interval computation with analysis on the monotony of branching conditions is utilized for the bounding operation. Empirical experiments show that the proposed method performs well with linear complexity, and reaches 100% coverage on some benchmark programs with an advantage over some static and dynamic algorithms.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of China Universities of Posts and Telecommunications - Volume 21, Issue 2, April 2014, Pages 91-97, 103
Journal: The Journal of China Universities of Posts and Telecommunications - Volume 21, Issue 2, April 2014, Pages 91-97, 103
نویسندگان
Ying XING, Yun-zhan GONG, Ya-wen WANG, Xu-zhou ZHANG,