2006 Fiscal Year Annual Research Report
ソフトウェア・テストに用いる検査計画の構成に関する研究
| Project/Area Number |
16510102
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
藤原 良叔 筑波大学, 大学院システム情報工学研究科, 教授 (30165443)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
繆 いん 筑波大学, 大学院システム情報工学研究科, 助教授 (10302382)
|
|---|
| Keywords | 直交配列 / 被覆配列 / 詰め込み配列 / 検査計画 / 実験計画 |
|---|
| Research Abstract |
検査計画も実験計画と同様な組合せ的構造を持っており,その構成についても有限体などの代数や組合せ理論を中心とした離散数学を駆使して構成する.ソフトウェア・テストには直交配列など実験計画法で開発された計画も利用できるが,直交配列は制約が厳しいため構成できる範囲がきわめて小さい.直交配列より条件を緩めた被覆配列とよばれる組合せ的配列の研究を行った.藤原と繆は被覆配列へ拡張可能な特殊な直交配列の構成のため,有限射影幾何上のある問題の解決を試みるた.被覆配列と裏の関係のある詰め込み配列の構成にいくつかの結果をえた.また認証符号で特殊な直交配列を必要とし,被覆配列との関係もあり,特殊直交配列の構成問題に取り組んだ.
藤原は分割型の差詰集合族や(Pertition Type Difference Packing)や集合差システム(Differnce System of Sets)を研究した。これらは直接は符号に応用されるが,基本的に.CoveringやPacking問題であるので,ソフトウェアー検査などの計画にも応用が可能である。
繆は、一周期で衝突数が高々1である特殊な周波数ホッピング系列とperfect Mendelsohn pakingとの同値関係を見つけた。この同値関係に基づいて、繆は最適な一周期で衝突数が高々1である周波数ホッピング系列を幾つか構成した。これも基本的にPacking問題であるので,検査計画への応用が可能である。その他,被覆デザインの問題と認証問題との関係など,組合せ問題とセキュリティの関係に取り組んでいる.そしてそこから逆に被覆配列のより効率的な構成法の発見に結びつく可能性がある.
|
Research Products
(9 results)
