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

2011 年度 研究成果報告書

• 研究課題/領域番号: 20500035
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 宮崎大学
• 研究代表者: 片山 徹郎 宮崎大学, 工学部, 准教授 (50283932)
• 研究期間 (年度): 2008 – 2011
• キーワード: ソフトウェアテスト / プログラムの可視化 / ソフトウェアの信頼性 / UML(Unified Modeling Language) / コントロールフローグラフ / 実行経路 / テスト容易化

研究概要

本研究は、ソフトウェアテスト技法、および、プログラム可視化手法の2つの観点から、組込みソフトウェアに特化した信頼性向上手法を提案し、評価する。その実現のため、次のことを行った。(1) UMLのダイアグラムからテスト項目の抽出とテスト支援システムの試作。(2)プログラム可視化ツールAvisのテスト支援ツールへの拡張および定量的な評価。(3)ハードウェアを考慮したソフトウェアテスト手法の検討と実現。

研究成果

• [雑誌論文] Javaプログラム読解支援のためのプログラム自動可視化ツールAvisの実装と評価 (2012)
  • 著者名/発表者名: 喜多義弘、片山徹郎、冨田重幸
  • 雑誌名: 電子情報通信学会論文誌 巻: J95-D-4
  • 査読あり
• [雑誌論文] Proposal of an Execution Paths Indication Method for Integration Testing by Using an Automatic Visualization Tool Avis (2011)
  • 著者名/発表者名: Y. Kita、T. Katayama、S. Tomita
  • 雑誌名: J-13(電子データ配布)
  • 査読あり
• [雑誌論文] 状態遷移構文とテスト構文を導入した組込みソフトウェア向けプログラミング言語開発 (2010)
  • 著者名/発表者名: 岡山直樹、片山徹郎
  • 雑誌名: 情報処理学会組込みシステムシンポジウム2010(ESS2010) ページ: 43-48
  • 査読あり
• [雑誌論文] プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案 (2010)
  • 著者名/発表者名: 喜多義弘、片山徹郎、冨田重幸
  • 雑誌名: 情報処理学会論文誌 巻: 51-9 ページ: 1859-1872
  • 査読あり
• [雑誌論文] 信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発 (2010)
  • 著者名/発表者名: 岡山直樹、片山徹郎
  • 雑誌名: 宮崎大学工学部紀要 巻: 39 ページ: 301-306
• [雑誌論文] 結合テストのためのプログラム自動可視化ツールAvisによる実行経路表示手法の提案 (2010)
  • 著者名/発表者名: 喜多義弘、片山徹郎、冨田重幸
  • 雑誌名: 火の国情報シンポジウム2010
• [雑誌論文] Extension and Evaluation of an Automatic Visualization Tool Avis for Programming Education (2009)
  • 著者名/発表者名: Y. Kita、T. Tokunaga、T. Katayama、S. Tomita
  • 雑誌名: On Software Eng ページ: 31-36
  • 査読あり
• [学会発表] 命令セットシミュレータ(ISS)作成支援手法の改良について (2011)
  • 著者名/発表者名: 東園修平、喜多義弘、片山徹郎
  • 学会等名: 第13回組込みシステム技術に関するサマーワークショップ(SWEST13)
  • 発表場所: 下呂温泉水明館(岐阜県下呂市)
  • 年月日: 2011-09-01
• [学会発表] 組込みソフトウェア開発支援のための命令セットシミュレータ(ISS)作成手法の提案 (2010)
  • 著者名/発表者名: 東園修平、片山徹郎
  • 学会等名: 情報処理学会組込みシステム研究会
  • 発表場所: 熊本大学(熊本県熊本市)
  • 年月日: 2010-12-06
• [学会発表] 組込みソフトウェア向けプログラミング言語開発における状態遷移構文とテスト構文の導入について (2010)
  • 著者名/発表者名: 岡山直樹、片山徹郎
  • 学会等名: 第12回組込みシステム技術に関するサマーワークショップ(SWEST12)
  • 発表場所: ホテル日航豊橋(愛知県豊橋市)
  • 年月日: 2010-09-02
• [学会発表] ソフトウェアのテスト技術～組込みシステムにおける品質確保のためのポイント～ (2009)
  • 著者名/発表者名: 片山徹郎
  • 学会等名: 第5回「組込みシステムの高信頼化-V & V」
  • 発表場所: 東京電機大学神田キャンパス(東京都千代田区)
  • 年月日: 2009-11-11
• [学会発表] 組込みソフトウェアの品質確保のためのソフトウェアテストからのアプローチ (2009)
  • 著者名/発表者名: 片山徹郎
  • 学会等名: マイクロソフトWindows Embedded組み込みセミナー博多
  • 発表場所: マイクロソフト九州支店(福岡県福岡市)
  • 年月日: 2009-11-05
• [学会発表] プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案 (2008)
  • 著者名/発表者名: 徳永友樹、喜多義弘、片山徹郎
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 山梨大学(山梨県甲府市)
  • 年月日: 2008-10-17
• [図書] 組込みソフトウェア開発技術(組込みシステム基礎技術全集Vol.3) (2011)
  • 著者名/発表者名: 片山徹郎
  • 総ページ数: 227-269
  • 出版者: CQ出版社