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

高信頼ソフトウェアを実現する強力なテストケース生成手法の開発

Research Project

Project/Area Number 17700033
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionOsaka University

Principal Investigator

土屋 達弘  Osaka University, 情報科学研究科, 准教授 (30283740)

Project Period (FY) 2005 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2007: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2006: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2005: ¥700,000 (Direct Cost: ¥700,000)
Keywords組み合わせテスト / ペアワイズ法 / 全ペア法 / ソフトウェアテスト / 組合わせテスト / JUnit
Research Abstract

本研究では,ソフトウェア開発におけるテスト工程の効率化を目的として,ペアワイズ法に基づいた不具合検出能力の高い,強力なテストケースの設計手法の研究・開発を行った.
まず,昨年度から研究を行ってきた,テストケース実行のためのオーバヘッドを考慮したテスト生成法を完成させると共に,その定量的評価を行った.ここで実行のためのオーバヘッドとは,新しいテストケース実行の際に生じるコストのことである.例えば,プリンタや複写機のテストでは,テストケースの実行の際に,用紙トレイや印刷対象の大きさなどを設定することが必要だが,そのためのコストをモデル化したものと考えることができる.提案した生成法は2種類ある.一つは,グリーディー法と呼ばれる良いテストケースを一つずつ求めていく手法の拡張である.もう一つは,既存手法で得られたテストケースの集合に対し,実行のオーバヘッドが少なくなるよう,それらをスケジュールするという手法である.実験の結果,後者の手法の方が,オーバヘッドの少ないテストを比較的安定して生成することが分かった.
更に,これまでの研究成果を総括する意味で,本課題にて実施した研究を含む,ペアワイズ法に関連した研究の体系化を行った.この結果はサーベイ論文の形で,電子情報通信学会論文誌において発表した.具体的には,約60の関連研究を精査し,それらをテストケースの生成法に基づいて分類した.また,実用の助けになるように,これまで知られている実際のシステムへの適用結果に関しても概説し,適用上の陥穽についても議論した.

Report

(3 results)
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • Research Products

    (5 results)

All 2007 2006 2005

All Journal Article (4 results) (of which Peer Reviewed: 1 results) Book (1 results)

  • [Journal Article] ペアワイズテストーソフトウェアテストの効率化を求めて2007

    • Author(s)
      土屋達弘, 菊野亨
    • Journal Title

      電子情報通信学会論文誌D J90-D, 10

      Pages: 26632674-26632674

    • NAID

      110007380575

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] テスト実行コストを考慮したペアワイズテストセット生成法の提案,2007

    • Author(s)
      紀本眞, 土屋達弘, 菊野亨
    • Journal Title

      電子情報通信学会技術研究報告 107,255

      Pages: 4750-4750

    • NAID

      110006452280

    • Related Report
      2007 Annual Research Report
  • [Journal Article] Model Checking Active Database Rules under Various Rule Processing Strategies2006

    • Author(s)
      Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Journal Title

      情報処理学会論文誌(トランザクション)データベース 47・SIG19

      Pages: 14-27

    • NAID

      130000022278

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Describing and Verifying Integrated Services of Home Network Systems2005

    • Author(s)
      P.Leelaprute, M.Nakamura, T.Tsuchiya, K.Matsumoto, T.Kikuno
    • Journal Title

      Proc.10th Asia-Pacific Software Engineering Conference (APSEC2005) ISSN:1530-1362

      Pages: 549-558

    • NAID

      120006693741

    • Related Report
      2005 Annual Research Report
  • [Book] ディペンダブルシステム-高信頼システム実現のための耐故障・検証・テスト技術-2005

    • Author(s)
      米田友洋, 梶原誠司, 土屋達弘
    • Total Pages
      243
    • Publisher
      共立出版
    • Related Report
      2005 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi