Presentation | 2007-12-17 Improving Test Methods for Constraints on Network Route Structures in Constraint Programs Hajime NAKAJIMA, Haruo OISHI, Takeshi MASUDA, Tetsuya YAMAMURA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we propose a new test method for constraint programs designed to find routes in a network. These programs have two kinds of constraints, one finds all routes in the network (constrains on structures) and the other filters the found routes by their own qualities (constraints on qualities). The traditional test method for constraints on structures checks one by one whether solutions of constraint programs are appropriate as routes in sample networks. However, this check is too difficult, because we generally obtain a large number of solutions. Our method transforms the constraints into the disjunctive normal form and generates solution templates (solution models) from the conjunctive terms. We can test by checking each solution model. This paper shows the effectiveness of our method by comparing the number of solutions with that of solution models. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | test / constraint program / network design |
Paper # | SS2007-49 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2007/12/10(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Improving Test Methods for Constraints on Network Route Structures in Constraint Programs |
Sub Title (in English) | |
Keyword(1) | test |
Keyword(2) | constraint program |
Keyword(3) | network design |
1st Author's Name | Hajime NAKAJIMA |
1st Author's Affiliation | Access Network Service Systems Laboratories, NTT Corporation() |
2nd Author's Name | Haruo OISHI |
2nd Author's Affiliation | Access Network Service Systems Laboratories, NTT Corporation |
3rd Author's Name | Takeshi MASUDA |
3rd Author's Affiliation | Access Network Service Systems Laboratories, NTT Corporation |
4th Author's Name | Tetsuya YAMAMURA |
4th Author's Affiliation | Access Network Service Systems Laboratories, NTT Corporation |
Date | 2007-12-17 |
Paper # | SS2007-49 |
Volume (vol) | vol.107 |
Number (no) | 392 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |