| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2007-12-17 16:30 通信ネットワークの通信経路を抽出する制約プログラムにおける構造制約のテスト手法の改善 ○中島 一・大石晴夫・増田 健・山村哲哉（NTT）  SS2007-49 |
|
| 抄録 | （和） | 本稿では，ネットワーク設計を行う制約プログラムの新しいテスト手法を提案する．この制約プログラムは，対象ネットワークの2つのノード間のあらゆる通信経路を抽出する制約（構造制約）と，抽出された中から帯域などの品質でフィルタリングし，適切な経路を選択する制約（品質制約）とで構成される．従来の構造制約のテストでは，構造制約のみで構成されるプログラムを実行し，出力される個々の充足解が通信経路として妥当であることを確認していた．そのため，テストの信頼性を高めるために規模の大きなネットワークでテストを行うと，出力される充足解の数が多くなり，テストのコストも増加するという課題があった．提案手法では，構造制約を選言標準形に変換し，その連言項から解のテンプレート（解モデル）を生成する．この解モデルを確認することでテストを行うため，提案手法によるテストのコストは，生成される解モデルの数に比例する．本稿では，充足解の数と解モデルの数との比較を行うことで，本手法のコストに関する有効性を示す． |
| （英） | 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. |
|
| キーワード | （和） | テスト / 制約プログラム / ネットワーク設計 / / / / / |
| （英） | test / constraint program / network design / / / / / | |
| 文献情報 | 信学技報, vol. 107, no. 392, SS2007-49, pp. 67-72, 2007年12月. | |
| 資料番号 | SS2007-49 | |
| 発行日 | 2007-12-10 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2007-49 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2007-12-17 - 2007-12-18 |
| 開催地（和） | 島根大学 |
| 開催地（英） | Shimane Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2007-12-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 通信ネットワークの通信経路を抽出する制約プログラムにおける構造制約のテスト手法の改善 |
| サブタイトル（和） | |
| タイトル（英） | Improving Test Methods for Constraints on Network Route Structures in Constraint Programs |
| サブタイトル（英） | |
| キーワード(1)（和/英） | テスト / test |
| キーワード(2)（和/英） | 制約プログラム / constraint program |
| キーワード(3)（和/英） | ネットワーク設計 / network design |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 中島 一 / Hajime Nakajima / ナカジマ ハジメ |
| 第1著者 所属（和/英） | 日本電信電話株式会社 (略称： NTT) Nippon Telegraph and Telephone Corporation (略称： NTT) |
| 第2著者 氏名（和/英/ヨミ） | 大石 晴夫 / Haruo Oishi / オオイシ ハルオ |
| 第2著者 所属（和/英） | 日本電信電話株式会社 (略称： NTT) Nippon Telegraph and Telephone Corporation (略称： NTT) |
| 第3著者 氏名（和/英/ヨミ） | 増田 健 / Takeshi Masuda / マスダ タケシ |
| 第3著者 所属（和/英） | 日本電信電話株式会社 (略称： NTT) Nippon Telegraph and Telephone Corporation (略称： NTT) |
| 第4著者 氏名（和/英/ヨミ） | 山村 哲哉 / Tetsuya Yamamura / ヤマムラ テツヤ |
| 第4著者 所属（和/英） | 日本電信電話株式会社 (略称： NTT) Nippon Telegraph and Telephone Corporation (略称： NTT) |
| 講演者 | 第1著者 |
| 発表日時 | 2007-12-17 16:30:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2007-49 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.392 |
| ページ範囲 | pp.67-72 |
| ページ数 | 6 |
| 発行日 | 2007-12-10 (SS) |
[研究会発表申込システムのトップページに戻る]