2007 Fiscal Year Final Research Report Summary
The Research on Construction of Testing designs for Software Tests
| Project/Area Number |
16510102
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Social systems engineering/Safety system
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
FUJIWARA Ryoshuku University of Tsukuba, Graduate School of System and Irformation Engineering, Professor (30165443)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
MIAO YING University of Tsukuba, Graduate School of System and Information Engineering, Associate Professor (10302382)
|
|---|
| Project Period (FY) |
2004 – 2007
|
| Keywords | Group testing / Covering array / Finite projective geometry / Nested block design / Software testing / Coding / Finite field / Combinatorial Theory |
|---|
| Research Abstract |
Designs of experiments and group testing's have common combinatorial structure, Constructions of these designs use theory and methods of discrete mathematics like finite geometries, design theory, graph theory, etc. Software testing uses classical combinatorial configurations like orthogonal arrays, however the conditions to construct them are too strong. We tried to construct combinatorial configurations, called covering array, using combinatorial arrays, families of sets or sequences with weaker condition. To construct covering arrays, we solved a problem on finite projective geometries, called external arcs. An answer of the problem directly gives us a covering array. We also tried to solve various types of combinatorial design or sequence problems which have relations to designs of software testing, called balanced arrays, nested designs, FHS sequences, optical orthogonal codes etc. We have many results of the problems, which help to construct covering arrays.
|
Research Products
(22 results)
