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

帰納的デバッグに基づくソフトウェアテストプロセスモデルとその評価尺度に関する研究

Research Project

Project/Area Number 08780274
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionOsaka University

Principal Investigator

楠本 真二  大阪大学, 基礎工学部, 講師 (30234438)

Project Period (FY) 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1996: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywordsデバッグ / ソフトウェアプロセス / スライシング / テスト / レビュー / オブジェクト指向
Research Abstract

次の(1)〜(4)に示す研究計画に従って研究を行った.
(1)文献調査:ソストウェアテスト,レビュー,デバッグ,ソフトウェアプロセスの改善を議論している代表的な論文,専門書の中から,テストプロセスに発生する一般的な問題点やテストプロセスの改善方法について調査を実施した.その結果,帰納的デバッグにおいてはフォールトの位置特定作業を支援する手法の整備が必ずしも十分でないことが確認できた.
(2)スライシングを用いたデバッグ手法の提案:フォワードトラッキングとプログラムスライス法を組み合わせた新しいフォールト特定手法を提案した.先ず,フォワードトラッキングを行い,プログラム中でフォールトが存在すると考えられる範囲を特定する.次に,特定された箇所に対してプログラムスライス法を適用して,フォールトの存在範囲を更にしぼりこむ.フォワードトラッキングを行う時に,標準的な設計仕様書の情報を用いるところに特徴がある.また,提案した手法を実際のプログラムに適用し,その有効性の確認を行った.
(3)オブジェクト指向開発プロセスの観察実験:提案した手法をオブジェクト指向開発プロセスに適用し,評価するための準備として,教育環境におけるオブジェクト指向開発プロセスを対象に,各種のプロセス・プロダクトデータの収集と分析を行った.具体的には,(A)オブジェクト指向プログラムに特有なフォールトを整理・分類し,開発コスト,品質に大きな影響を与えるフォールトを分析した.(B)データ収集を支援するためのツールの試作を行った.(C)既存のオブジェクト指向プログラムの複雑度を評価するためのメトリクスの有効性とその適用方法について検討した.
これらの結果に基づいて,今後はオブジェクト指向開発プロセスを対象としたデバッグ手法の開発をその評価方法について検討していく予定である.

Report

(1 results)
  • 1996 Annual Research Report
  • Research Products

    (6 results)

All Other

All Publications (6 results)

  • [Publications] Shinji Kusumoto: "Experimental evaluation of time allocation procedure for technical reviews" Journal of Systems & Software. 35・2. 119-126 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 金恩美: "C++プログラムに対する複雑さメトリクスの提案と大学環境での実験的評価" 電子情報通信学会論文誌D-I. J79-DI・10. 729-737 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Eum Mi Kim: "A・new verification framework of object-oriented design specification for small scale software" Trans.on Information and Systems. IEICE. E80-D・1. 51-56 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Lin Lian: "A now fault localizing method for program delnyging process" Information and Software Technology. (to appear).

    • Related Report
      1996 Annual Research Report
  • [Publications] Shinji Kusumoto: "A promising approach to two-person software review in educational environment" Journal of Systems & Software. (to appear).

    • Related Report
      1996 Annual Research Report
  • [Publications] 楠本真二: "教育環境におけるオブジェクト指向開発プロセスの分析" 平成8年電気関係学会関西支部連合大会論文集. 1. G359 (1996)

    • Related Report
      1996 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi