2007 Fiscal Year Annual Research Report
ソフトウェア・テストに用いる検査計画の構成に関する研究
| Project/Area Number |
16510102
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
藤原 良叔 University of Tsukuba, 大学院・システム情報工学研究科, 教授 (30165443)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
繆 いん 筑波大学, 大学院・システム情報工学研究科, 准教授 (10302382)
|
|---|
| Keywords | 検査計画 / 被覆配列 / 有限射影幾何 / 巣型ブロック・デザイン / ソフトウェア・テスト / 符号 / 有限体 / 組合せ理論 |
|---|
| Research Abstract |
検査計画も実験計画と同様な組合せ的構造を持っており,その構成についても有限体などの代数や組合せ理論を中心とした離散数学を駆使して構成する.ソフトウェア・テストには直交配列など実験計画法で開発された計画も利用できるが,直交配列は制約が厳しいため構成できる範囲がきわめて小さい.そこで,条件を緩めた組合せ的構造を持つ配列や集合族,数列などを使って検査計画に必要な配列の構成を試みた。藤原は強さ3の被覆配列(Covering Array)の構成問題に挑戦する.拡張可能な特殊な直交配列の構成のため,有限射影幾何上のDouble arc問題の解決を試みた.また特に射影平面の場合に限って,ある条件を満たす点を最大いくつ存在するかの問題に取り組む.また関連する組合せ的デザインや系列の問題にも取り組み,被覆配列の構成に役立てた.ミャオは均整配列の構成や巣型(nested)ブロック・デザインと呼ばれる特殊な組合せ構造を長年研究してきた.この実績をいかして,被覆配列を同値な巣型ブロック・デザインの問題に変換して,その問題を解くことによって,被覆配列を構成するというアプローチを試みた.代表者および分担者は巣型ブロック・デザインの構成法に関して,新たに有限幾何を用いる方法と代数的な特殊な関数を利用する方法を試みた。成果としては直接被覆配列ではないが,関連のある数列を作ることに成功した。これらの数列は,無線通信で用いる符号への応用が考えられている.我々は無線や光通信の符号の研究も行っており,これらの符号と検査計画には密接な関係がある.これらの関係を明確にすることと符号で開発された構成法を検査計画に応用する研究を行った.
|
Research Products
(6 results)
