题名: | backtracking algorithms and search heuristics to generate test suites for combinatorial testing |
作者: | Yan Jun
; Zhang Jian
|
会议名称: | 30th Annual International Computer Software and Applications Conference
|
会议日期: | SEP 17-21,
|
出版日期: | 2006
|
会议地点: | Chicago, IL
|
关键词: | SAT-based approach
; backtracking search algorithm
; exhaustive search of combinatorial test suite
; pruning strategy
; search heuristics
; subcombination equalization heuristic
; symmetry breaking technique
; backtracking
; combinatorial mathematics
; computability
|
出版者: | 30th Annual International Computer Software and Applications Conference, Vol 1, Regular Papers/Panels, Proceedings
|
出版地: | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
ISSN: | 0730-3157
|
ISBN: | 0-7695-2655-1
|
部门归属: | Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China.
|
主办者: | IEEE Comp Soc
|
英文摘要: | Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach and a backtracking search algorithm are presented to solve the prob |
内容类型: | 会议论文
|
URI标识: | http://ir.iscas.ac.cn/handle/311060/12078
|
Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
04020100.pdf(204KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Yan Jun,Zhang Jian. backtracking algorithms and search heuristics to generate test suites for combinatorial testing[C]. 见:30th Annual International Computer Software and Applications Conference. Chicago, IL. SEP 17-21,.
|
|
|