• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

The Research on Construction of Testing designs for Software Tests

Research Project

Project/Area Number 16510102
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Social systems engineering/Safety system
Research InstitutionUniversity 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
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥2,870,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2006: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2005: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2004: ¥500,000 (Direct Cost: ¥500,000)
KeywordsGroup 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.

Report

(5 results)
  • 2007 Annual Research Report   Final Research Report Summary
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (49 results)

All 2008 2007 2006 2005 2004 Other

All Journal Article (40 results) (of which Peer Reviewed: 2 results) Presentation (4 results) Book (3 results) Remarks (2 results)

  • [Journal Article] A TWOOA Construction for Multi-Receiver Multi-Message Authentication Codes2008

    • Author(s)
      R. Fuji-Hara, X. Li, Y. Miao and D. Wu
    • Journal Title

      Journal of Mthematical Cryptology Vol.2

      Pages: 9-28

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] A systematic construction for radar arrays2008

    • Author(s)
      G. Ge, A. C. H. Ling and Y. Miao
    • Journal Title

      IEEE Transactions on Information Theory Vol.54

      Pages: 47-63

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] A TWOOA Construction for Multi-Receiver Multi-Message Authentication Codes2008

    • Author(s)
      R. Fuji-Hara, X. Li, Y. Miao and D. Wu
    • Journal Title

      Journal of Mthematical Cryptology 2

      Pages: 9-28

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A systematic construction for radar arrays2008

    • Author(s)
      G. Ge, A. C. H. Ling and Y. Miao
    • Journal Title

      IEEE Transactions on Information Theory 54

      Pages: 47-63

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On algorithms for searching a consistent set of shares in a threshold scheme and therelated covering problem2007

    • Author(s)
      R. Tso, Y. Miao and E. Okamoto
    • Journal Title

      The Journal of Combinatorial Mathematics and Combinatorial Computing Vol.60

      Pages: 410-414

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] An ID-SP-M4M scheme and its security analysis2007

    • Author(s)
      L. Wang, E. Okamoto, Y. Miao, T. Okamoto and H. Doi
    • Journal Title

      EICE T ransactionsons Fundamentals of Electronics, Communications and Computer Sciences E90-A

      Pages: 91-100

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] On algorithms for searching a consistent s et of shares in a threshold scheme and the related covering problem2007

    • Author(s)
      R. Tso, Y. Miao and E. Okamoto
    • Journal Title

      The Journal of Combinatorial Mathematics and Combinatorial Computing 60

      Pages: 410-414

    • Related Report
      2007 Annual Research Report
  • [Journal Article] An ID-SP-M4M scheme and its security analysis2007

    • Author(s)
      L.Wang, E.Okamoto, Y.Miao, T.Okamoto, H.Doi
    • Journal Title

      EICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E90-A

      Pages: 91-100

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Frequency hopping sequences with optimal auto-and cross-correlation properties and related codes2006

    • Author(s)
      Y. Fujiwara and R. Fuji-Hara
    • Journal Title

      Proceedings of Tenth International Workshop on Algebraic and Combinatorial Coding Theory

      Pages: 93-96

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Hyperplane partitions and difference system of sets2006

    • Author(s)
      R. Fuji-Hara, A. Munemasa and V. D. Tonchev
    • Journal Title

      Journal of Combinatorial Theory Series A 113

      Pages: 1689-1698

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Further combinatorial constructions for optimal frequency-hopping sequences2006

    • Author(s)
      G. Ge, R. Fuji-Hara and Y. Miao
    • Journal Title

      Journal of Combinatorial Theory Series A 113

      Pages: 1699-1718

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Combinatorial characterizations of one-coincidence frequency-hopping sequences2006

    • Author(s)
      Z. Cao, G. Ge and Y. Miao
    • Journal Title

      Designs, Codes and Cryptography 41

      Pages: 177-184

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] GOB designs for authentication codes with arbitration2006

    • Author(s)
      G. Ge, Y. Miao and L. Zhu
    • Journal Title

      Designs, Codes and Cryptography 40

      Pages: 303-317

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Authorization-limited transformation-free proxy cryptosystems and their security analyses2006

    • Author(s)
      Wang, Z. Cao, T. Okamoto, Y. Miao and E. Okamoto
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A

      Pages: 106-114

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] ID-based series-parallel multisignature schemes for multi-messages from bilinear maps2006

    • Author(s)
      L. Wang, E. Okamoto, Y. Miao, T. Okamoto and H. Doi
    • Journal Title

      Lecture Notes in Computer Science 3969

      Pages: 291-303

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] The CRC Handbook of Combinatorial Designs, Second Edition.2006

    • Author(s)
      G. Ge and Y. Miao, PBDs, Frames, and Resolvability. A Chapter in : C. J. Colbourn and J. H. Dinitz(eds.)
    • Journal Title

      CRC Press

      Pages: 261-265

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Further combinatorial constructions for optimal frequency-hopping sequences2006

    • Author(s)
      G.Ge, R.Fuji-Hara, Y.Miao
    • Journal Title

      Journal of Combinatorial Theory, Series A, 113

      Pages: 1699-1718

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Combinatorial characterizatlons of one-coincidence frequency-hopping sequences2006

    • Author(s)
      Z.Cao, G.Ge, Y.Miao
    • Journal Title

      Designs, Codes and Cryptography 41

      Pages: 177-184

    • Related Report
      2006 Annual Research Report
  • [Journal Article] GOB designs for authentication codes with arbitration2006

    • Author(s)
      G.Ge, Y.Miao, L.Zhu
    • Journal Title

      Designs, Codes and Cryptography 40

      Pages: 303-317

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Authorization-limited transformation-free proxy cryptosystems and their security analyses2006

    • Author(s)
      L.Wang, Z.Cao, T.Okamoto, Y.Miao, E.Okamoto
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A

      Pages: 106-114

    • Related Report
      2006 Annual Research Report 2005 Annual Research Report
  • [Journal Article] ID-based series-parallel multisignature schemes for multi-messages from bilinear maps2006

    • Author(s)
      L.Wang, E.Okamoto, Y.Miao, T.Okamoto, H.Doi
    • Journal Title

      Lecture Notes in Computer science 3969

      Pages: 291-303

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Frequency hopping sequences with optimal auto-and cross-correlation properties and related codes2006

    • Author(s)
      Y.Fujiwara, R.Fuji-Hara
    • Journal Title

      Proceedings of Tenth International Workshop on Algebraic and Combinatorial Coding Theory

      Pages: 93-96

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Hyperplane partitions and difference system of sets2006

    • Author(s)
      R.Fuji-Hara, A.Munemasa, V.D.Tonchev
    • Journal Title

      Journal of Combinatorial Theory, Series A 113

      Pages: 1689-1698

    • Related Report
      2006 Annual Research Report
  • [Journal Article] ID-based series-parallel multisignature schemes for multi-messages from bilinear maps2006

    • Author(s)
      L.Wang, E.Okamoto, Y.Miao, T.Okamoto, H.Doi
    • Journal Title

      Lecture Notes in Computer Sciences (accepted)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] On algorithms for searching a consistent set of shares in a threshold scheme and the related covering problem2006

    • Author(s)
      R.Tso, Y.Miao, E.Okamoto
    • Journal Title

      Journal of Combinatorial Mathematics and Combinatorial Computing (accepted)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Combinatorial constructions for optimal splitting authentication codes2005

    • Author(s)
      G. Ge, Y. Miao and L. Wang
    • Journal Title

      SIAM Journal on Discrete Mathematics 18

      Pages: 663-678

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] A share-correctable protocol for the Shamir threshold scheme and its application to participant enrollment2005

    • Author(s)
      R. Tso, Y. Miao, T. Okamoto and E. Okamoto
    • Journal Title

      IPSJ Journal 46

      Pages: 1880-1888

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] How to verify the threshold t of Shamir's(t, n)-threshold scheme2005

    • Author(s)
      R. Tso, Y. Miao, T. Okamoto and E. Okamoto
    • Journal Title

      IPSJ Journal 46

      Pages: 1824-1833

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Combinatorial constructions for optimal splitting authentication codes2005

    • Author(s)
      G.Ge, Y.Miao, L.Wang
    • Journal Title

      SIAM Journal on Discrete Mathematics 18

      Pages: 663-678

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A share-correctable protocol for the Shamir threshold scheme and its application to participant enrollment2005

    • Author(s)
      R.Tso, Y.Miao, T.Okamoto, E.Okamoto
    • Journal Title

      IPSJ Journal 46

      Pages: 1880-1888

    • Related Report
      2005 Annual Research Report
  • [Journal Article] How to verify the threshold t of Shamir's (t,n)-threshold scheme2005

    • Author(s)
      R.Tso, Y.Miao, T.Okamoto, E.Okamoto
    • Journal Title

      IPSJ Journal 46

      Pages: 1824-1833

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Combinatorial constructions for optimal splitting authentication codes2005

    • Author(s)
      G.Ge, Y.Miao, L.Wang
    • Journal Title

      SIAM Journal on Discrete Mathematics (掲載予定)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] On algorithms for searching a consistent set of shares in a threshold scheme and the related covering problem2005

    • Author(s)
      R.Tso, Y.Miao, E.Okamoto
    • Journal Title

      The Journal of Combinatorial Mathematics and Combinatorial Computing (掲載予定)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] ID-based series-parallel multisignature schemes for multi-messages from bilinear maps2005

    • Author(s)
      L.Wang, E.Okamoto, Y.Miao, T.Okamoto, H.Doi
    • Journal Title

      Proceedings of the International Workshop on Coding and Cryptography -- WCC 2005 (掲載予定)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Optimal frequency hopping sequences : a combinatorial approach2004

    • Author(s)
      R. Fuji-Hara, Y. Miao and M. Mishima
    • Journal Title

      IEEE Transactions on Information Theory 50

      Pages: 2408-2420

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Transformation-free proxy cryptosystems and their applications to electronic commerce2004

    • Author(s)
      L. Wang, Z. Cao, E. Okamoto, Y. Miao and T. Okamot
    • Journal Title

      Conference on Information Security Infosecu'04

      Pages: 92-98

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] A new algorithm for search a consistent set of shares in a threshold schem with cheaters2004

    • Author(s)
      R. Tso, Y. Miao and E. Okamoto
    • Journal Title

      Lecture Notes in Computer Science 2971

      Pages: 377-385

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Optimal frequency hopping sequences : a combinatorial approach2004

    • Author(s)
      R.Fuji-hara, Y.Miao, M.Mishima
    • Journal Title

      IEEE Transactions on Information Theory 50

      Pages: 2408-2420

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Transformation-free proxy cryptosystems and their applications to electronic commerce2004

    • Author(s)
      L.Wang, Z.Cao, E.Okamoto, Y.Miao, T.Okamoto
    • Journal Title

      Proceedings of the Third International Conference on Information Security -- Infosecu'04

      Pages: 92-98

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A new algorithm for searching a consistent set of shares in a threshold scheme with cheaters2004

    • Author(s)
      R.Tso, Y.Miao, E.Okamoto
    • Journal Title

      Lecture Notes in Computer Science 2971

      Pages: 377-385

    • Related Report
      2004 Annual Research Report
  • [Presentation] Certain classes of problems on differences and applications to multiple access communications2007

    • Author(s)
      Ryoh Fuji-Hara
    • Organizer
      DMHF 2007 : COE Conference on the Development of Dynamic Mathematics with High Functionality
    • Place of Presentation
      Fukuoka
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Optimal frequency-sopping sequences based on trace Functions2007

    • Author(s)
      Y. Miao
    • Organizer
      International Workshop on Combinatorics
    • Place of Presentation
      Kyoto, Japan
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Certain classes of problems on differences and applications to multiple access communications2007

    • Author(s)
      Ryoh Fuji-Hara
    • Organizer
      DMHF 2007: COE Conference on the Development of Dynamic Mathematics with High Functionality
    • Place of Presentation
      Fukuoka, Japan
    • Related Report
      2007 Annual Research Report
  • [Presentation] Optimal frequency-hopping sequences based on trace functions2007

    • Author(s)
      Y. Miao
    • Organizer
      International Workshop on Combinatorics 2007
    • Place of Presentation
      Kyoto, Japan
    • Related Report
      2007 Annual Research Report
  • [Book] PBDs, Frames, and Resolvability. A Chap ter in: C. J. Colbourn and J. H. Dinitz(eds.), The CRC Handbook of Combinatorial Designs, Second Edition.2006

    • Author(s)
      G Ge・Y Miao
    • Publisher
      CRC Press
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Book] PBDs, Frames, and Resolvability. A Chapetr in : The CRC Handbook of Combinatorial Designs, Second Edition.( C. J. Colbourn, J. H. Denitz (eds.))2006

    • Author(s)
      G.Ge, Y.Miao
    • Total Pages
      5
    • Publisher
      CRC Press
    • Related Report
      2006 Annual Research Report
  • [Book] One Chapter "PBDs, Frames, and Resolvability"in"The CRC Handbook of Combinatorial Designs, Second Edition"2006

    • Author(s)
      G.Ge, Y.Miao
    • Total Pages
      6
    • Publisher
      CRC Press
    • Related Report
      2005 Annual Research Report
  • [Remarks] 「研究成果報告書概要(和文)」より

    • URL

      http://infoshako.sk.tsukuba.ac.jp/~fujihara

    • Related Report
      2007 Final Research Report Summary
  • [Remarks]

    • URL

      http://infoshako.sk.tsukuba.ac.jp/~fujihara

    • Related Report
      2007 Annual Research Report

URL: 

Published: 2004-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi