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

2010 Fiscal Year Annual Research Report

テスト技法と可視化手法とによる組込みソフトウェアの信頼性向上手法の提案

Research Project

Project/Area Number 20500035
Research InstitutionUniversity of Miyazaki

Principal Investigator

片山 徹郎  宮崎大学, 工学部, 准教授 (50283932)

Keywordsソフトウェアテスト / プログラムの可視化 / ソフトウェアの信頼性 / UML / コントロールフローグラフ / 実行経路 / テスト容易化
Research Abstract

本研究の目的は、モデリング言語UML(Unified Modeling Language)を利用したテスト技法、および、プログラムの可視化手法の2つの観点から、組込みソフトウェアに特化した信頼性向上手法の提案し、来たるべきユビキタス社会における情報技術への要求に、迅速に対応できる基盤を与えることにある。今年度は以下のことを行った。
1.プログラムのソースコードから、制御の流れを可視化し、動作理解の支援を行うことを目的とし、昨年度までに、Javaプログラムを入力として、コントロールフローグラフ、実行経路、および、UMLのシーケンス図を、ユーザに提示するツールAvisを試作し、テスト支援ツールへの拡張を行い、その有用性を評価した。今年度は、このAvisの評価を進め、情報処理学会論文誌にて発表した。
2.組込みシステムにおけるハードウェアを考慮した上での、組込みシステムに適したプログラミング言語とその実行のためのコンパイラについて、昨年度までに、その実現のための具体的な手法を提案した。今年度は、その有用性と実用性について評価し、SWEST12やESS2010などで発表した。また、テスト環境構築について、今年度は、ハードウェアを仮想的に実現する具体的な手法を提案し、電気関係学会九州支部連合大会や組込みシステム研究会にて発表した。
3.組込みシステムを対象とした、品質確保のためにテスト法から考慮できることについて、昨年度までの研究実績を含めて、情報処理学会中国支部主催の講演会にて講演した。また、具体的なテスト分析手法について、福岡市主催の講演会にて講演した。

  • Research Products

    (9 results)

All 2011 2010

All Journal Article (3 results) (of which Peer Reviewed: 2 results) Presentation (5 results) Book (1 results)

  • [Journal Article] 信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発2010

    • Author(s)
      岡山直樹
    • Journal Title

      宮崎大学工学部紀要

      Volume: Vol.39 Pages: 301-306

  • [Journal Article] プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案2010

    • Author(s)
      喜多義弘
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.51 Pages: 1859-1871

    • Peer Reviewed
  • [Journal Article] 状態遷移構文とテスト構文を導入した組込みソフトウェア向けプログラミング言語開発2010

    • Author(s)
      岡山直樹
    • Journal Title

      情報処理学会 組込みシステムシンポジウム2010(ESS2010)

      Pages: 43-48

    • Peer Reviewed
  • [Presentation] 組込みソフトウェア開発支援のための命令セットシミュレータ(ISS)作成手法の提案2010

    • Author(s)
      東園修平、片山徹郎
    • Organizer
      情報処理学会組込みシステム研究会
    • Place of Presentation
      熊本大学(熊本県熊本市)
    • Year and Date
      2010-12-06
  • [Presentation] 組込みソフトウェア開発効率向上を目的とした命令セットシミュレータ(ISS)作成支援ツールの試作2010

    • Author(s)
      東園修平
    • Organizer
      平成22年度(第63回)電気関係学会九州支部連合大会
    • Place of Presentation
      九州産業大学(福岡県福岡市)
    • Year and Date
      2010-09-26
  • [Presentation] 組込みソフトウェア向けプログラミング言語開発における状態遷移構文とテスト構文の導入について2010

    • Author(s)
      岡山直樹、片山徹郎
    • Organizer
      第12回組込みシステム技術に関するサマーワークショップ(SWEST12)
    • Place of Presentation
      ホテル日航豊橋(愛知県豊橋市)
    • Year and Date
      2010-09-02
  • [Presentation] ソフトウェアテスト講座-テスト分析の実践-2010

    • Author(s)
      片山徹郎
    • Organizer
      平成22年度福岡市主催「先進的組込みソフトウェア技術者育成事業」第4回
    • Place of Presentation
      福岡SRPセンタービル(福岡県福岡市)
    • Year and Date
      2010-08-09
  • [Presentation] ソフトウェアの品質確保のためのテストからのアプローチ2010

    • Author(s)
      片山徹郎
    • Organizer
      情報処理学会中国支部主催講演会
    • Place of Presentation
      岡山大学(岡山県岡山市)
    • Year and Date
      2010-06-30
  • [Book] 組込みソフトウェア開発技術(組込みシステム基礎技術全集Vol.3)2011

    • Author(s)
      情報処理学会 組込みシステム研究会 監修
    • Total Pages
      227-269
    • Publisher
      CQ出版社

URL: 

Published: 2012-07-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi