| 题名: | 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,.
|
|
|
