• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

不具合特定能力を持つ実用的な組み合わせインタラクションテストの実現

研究課題

研究課題/領域番号 15K00098
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 ソフトウェア
研究機関大阪大学

研究代表者

土屋 達弘  大阪大学, 情報科学研究科, 教授 (30283740)

研究期間 (年度) 2015-04-01 – 2018-03-31
研究課題ステータス 完了 (2017年度)
配分額 *注記
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2017年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2016年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2015年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
キーワードソフトウェアテスト / 組み合わせインタラクションテスト / ロケーティングアレイ / ソフトウェア工学 / テスト / 組み合わせテスト
研究成果の概要

本研究では,ソフトウェアシステムに対する組み合わせインタラクションテスト(CIT)を発展させ,高不具合検出能力と低実行コストに加え,不具合の特定能力を持ち合わせるテストの自動設計実現を目的として,関連するテスト生成技術の開発を行った.特に,ロケーティングアレイという数学的構造に注目し,この構造の持つ組み合わせの網羅性と不具合検出特性を現実のテスト問題に利用できるようにした.具体的には,その定義を拡張するとともに,自動的に生成するアルゴリズムを開発した.さらに,いくつかの最小ロケーティングアレイの生成に成功し,開発したヒューリスティックな生成法との比較を行った.

報告書

(4件)
  • 2017 実績報告書   研究成果報告書 ( PDF )
  • 2016 実施状況報告書
  • 2015 実施状況報告書
  • 研究成果

    (11件)

すべて 2018 2017 2016 2015 その他

すべて 雑誌論文 (3件) (うち査読あり 2件、 謝辞記載あり 3件) 学会発表 (7件) (うち招待講演 1件) 備考 (1件)

  • [雑誌論文] Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms2017

    • 著者名/発表者名
      Teru Ohashi, Tatsuhiro Tsuchiya
    • 雑誌名

      Proceedings of 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'17)

      巻: - ページ: 78-85

    • 関連する報告書
      2016 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Finding Minimum Locating Arrays Using a SAT Solver2017

    • 著者名/発表者名
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proceedings of 10th IEEE International Conference on Software Testing, Verification and Validation Workshops

      巻: - ページ: 276-277

    • 関連する報告書
      2016 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] ソフトウェアテストと安全性2016

    • 著者名/発表者名
      土屋達弘
    • 雑誌名

      信頼性学会誌「信頼性」

      巻: 38 ページ: 80-85

    • 関連する報告書
      2015 実施状況報告書
    • 謝辞記載あり
  • [学会発表] ブール論理に基づく,情報システムのテスト・検証のためのアプローチ2018

    • 著者名/発表者名
      土屋達弘
    • 学会等名
      人工知能学会人工知能基本問題研究会 (SIG-FPAI)
    • 関連する報告書
      2017 実績報告書
    • 招待講演
  • [学会発表] 焼きなまし法によるロケーティングアレイの生成2017

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 ディペンダブルコンピューティング研究会(SIG-DC)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] SATソルバを使用したロケーティングアレイの生成手法について2017

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] ZDDアルゴリズムを用いた高強度テストケース生成法2016

    • 著者名/発表者名
      大橋輝,土屋達弘
    • 学会等名
      電子情報通信学会 ディペンダビリティコンピューティング研究会
    • 発表場所
      彦根勤労福祉会館(彦根市)
    • 年月日
      2016-10-27
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 貪欲法による組み合わせテスト集合生成における高速化について2015

    • 著者名/発表者名
      大橋 輝,土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      東大寺総合文化センター,奈良市
    • 年月日
      2015-10-13
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] 組み合わせテスト集合生成におけるテストケース候補数の最適化について2015

    • 著者名/発表者名
      大橋 輝,土屋達弘
    • 学会等名
      第14回情報科学技術フォーラム
    • 発表場所
      愛媛大学,松山市
    • 年月日
      2015-09-15
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理2015

    • 著者名/発表者名
      土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      機械振興会館,東京
    • 年月日
      2015-06-16
    • 関連する報告書
      2015 実施状況報告書
  • [備考] 土屋達弘個人のwebページ

    • URL

      http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/jp/

    • 関連する報告書
      2016 実施状況報告書

URL: 

公開日: 2015-04-16   更新日: 2019-03-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi