Proposal of a method to improve reliability for embedded software with testing and visualization

• Project/Area Number: 20500035
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: University of Miyazaki
• Principal Investigator: KATAYAMA Tetsuro 宮崎大学, 工学部, 准教授 (50283932)
• Project Period (FY): 2008 – 2011
• Project Status: Completed (Fiscal Year 2011)
• Budget Amount: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2010: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2008: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: ソフトウェアテスト / プログラムの可視化 / ソフトウェアの信頼性 / UML(Unified Modeling Language) / コントロールフローグラフ / 実行経路 / テスト容易化 / UML / UML (Unified Modeling Language) / 実行パス / シーケンス図

Research Abstract

This research proposes and evaluates a method to improve the reliability of embedded software from two viewpoints : software testing methods and program visualization methods. The research has been achieved the followings. (1) It has proposed to abstract test items from each element of a diagram of UML, and implemented a prototype of the test supporting system. (2) It has extended and evaluated the program visualization tool Avis to a testing support tool. (3) It has investigated and realized software testing methods for embedded software in consideration of hardware.

Research Products

• [Journal Article] Javaプログラム読解支援のためのプログラム自動可視化ツールAvisの実装と評価 (2012)
  • Author(s): 喜多義弘、片山徹郎、冨田重幸
  • Journal Title: 電子情報通信学会論文誌 Volume: J95-D-4
  • NAID: 110009436800
  • Peer Reviewed
• [Journal Article] Javaプログラム読解支援のためのプログラム自動可視化ツールAvisの実装と評価 (2012)
  • Author(s): 喜多義弘
  • Journal Title: 電子情報通信学会論文誌 Volume: Vol.J95-D(4月掲載)
  • Peer Reviewed
• [Journal Article] Proposal of an Execution Paths Indication Method for Integration Testing by Using an Automatic Visualization Tool Avis (2011)
  • Author(s): Y. Kita、T. Katayama、S. Tomita
  • Journal Title: J-13(電子データ配布)
  • Peer Reviewed
• [Journal Article] Proposal of an Execution Paths Indication Method for Integration Testing by Using an Automatic Visualization Tool 'Avis' (2011)
  • Author(s): Y.Kita
  • Journal Title: Proc.5th World Congress for Softw.Quality (5WCSQ)
  • Peer Reviewed
• [Journal Article] 状態遷移構文とテスト構文を導入した組込みソフトウェア向けプログラミング言語開発 (2010)
  • Author(s): 岡山直樹、片山徹郎
  • Journal Title: 情報処理学会組込みシステムシンポジウム2010(ESS2010) Pages: 43-48
  • Peer Reviewed
• [Journal Article] プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案 (2010)
  • Author(s): 喜多義弘、片山徹郎、冨田重幸
  • Journal Title: 情報処理学会論文誌 Volume: 51-9 Pages: 1859-1872
  • NAID: 40019543808
  • Peer Reviewed
• [Journal Article] 信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発 (2010)
  • Author(s): 岡山直樹、片山徹郎
  • Journal Title: 宮崎大学工学部紀要 Volume: 39 Pages: 301-306
  • NAID: 110008664664
• [Journal Article] 結合テストのためのプログラム自動可視化ツールAvisによる実行経路表示手法の提案 (2010)
  • Author(s): 喜多義弘、片山徹郎、冨田重幸
  • Journal Title: 火の国情報シンポジウム2010
• [Journal Article] プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案 (2010)
  • Author(s): 喜多義弘、片山徹郎、冨田重幸
  • Journal Title: 情報処理学会論文誌 Vol.51、No.9 Pages: 1859-1872
  • NAID: 40019543808
  • Peer Reviewed
• [Journal Article] 信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発 (2010)
  • Author(s): 岡山直樹、片山徹郎
  • Journal Title: 宮崎大学工学部紀要 No.39 Pages: 301-306
  • NAID: 110008664664
• [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
• [Journal Article] 結合テストのためのプログラム自動可視化ツール Avis による実行経路表示手法の提案 (2010)
  • Author(s): 喜多義弘
  • Journal Title: 火の国情報シンポジウム2010論文集
• [Journal Article] Extension and Evaluation of an Automatic Visualization Tool Avis for Programming Education (2009)
  • Author(s): Y. Kita、T. Tokunaga、T. Katayama、S. Tomita
  • Journal Title: On Software Eng Pages: 31-36
  • Peer Reviewed
• [Journal Article] Extension and Evaluation of an Automatic Visualization Tool "Avis" for Programming Education (2009)
  • Author(s): Y.Kita、T.Tokunaga、T.Katayama、S.Tomita
  • Journal Title: Proc. Int'l Association of Sci. and Tech. for Development(IASTED) Int'l Conf. on Softw. Eng. (SE 2009) Pages: 31-36
  • Peer Reviewed
• [Journal Article] Extension and Evaluation of an Automatic Visualization Tool“Avis" for Programming Education (2009)
  • Author(s): Y. Kita
  • Journal Title: Proc. Int'l Assoc. of Sci. and Tech. for Dev. (IASTED). Int'l Conf. on Softw. Eng. (SE2009) Pages: 31-36
  • Peer Reviewed
• [Journal Article] プログラミング教育支援のためのプログラム自動可視化ツールAvisにおける実行パス表示手法の改良 (2008)
  • Author(s): 徳永友樹
  • Journal Title: 宮崎大学工学部紀要 37 Pages: 325-332
• [Presentation] 命令セットシミュレータ(ISS)作成支援手法の改良について (2011)
  • Author(s): 東園修平、喜多義弘、片山徹郎
  • Organizer: 第13回組込みシステム技術に関するサマーワークショップ(SWEST13)
  • Place of Presentation: 下呂温泉水明館(岐阜県下呂市)
  • Year and Date: 2011-09-01
• [Presentation] ソフトウェアテスト講座～テスト戦略とテスト分析～ (2011)
  • Author(s): 片山徹郎
  • Organizer: 平成22年度福岡市主催「先進的組込みソフトウェア技術者育成事業」第4回
  • Place of Presentation: 福岡SRPセンタービル(福岡県福岡市)(招待講演)
  • Year and Date: 2011-07-14
• [Presentation] 組込みソフトウェア開発支援のための命令セットシミュレータ(ISS)作成手法の提案 (2010)
  • Author(s): 東園修平、片山徹郎
  • Organizer: 情報処理学会組込みシステム研究会
  • Place of Presentation: 熊本大学(熊本県熊本市)
  • Year and Date: 2010-12-06
• [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
• [Presentation] ソフトウェアのテスト技術～組込みシステムにおける品質確保のためのポイント～ (2009)
  • Author(s): 片山徹郎
  • Organizer: 第5回「組込みシステムの高信頼化-V & V」
  • Place of Presentation: 東京電機大学神田キャンパス(東京都千代田区)
  • Year and Date: 2009-11-11
• [Presentation] ソフトウェアのテスト技術～組込みシステムにおける品質確保のためのポイント～ (2009)
  • Author(s): 片山徹郎
  • Organizer: 情報処理学会連続セミナー2009「進化する組込みシステム技術」,第5回「組込みシステムの高信頼化-V&V」
  • Place of Presentation: 東京電機大学神田キャンパス(東京都千代田区)
  • Year and Date: 2009-11-11
• [Presentation] ソフトウェアのテスト技術～組込みシステムにおける品質確保のためのポイント～ (2009)
  • Author(s): 片山徹郎
  • Organizer: 情報処理学会連続セミナー2009「進化する組込みシステム技術」, 第5回「組込みシステムの高信頼化-V&V」
  • Place of Presentation: 東京電機大学神田キャンパス(東京都千代田区)
  • Year and Date: 2009-11-11
• [Presentation] 組込みソフトウェアの品質確保のためのソフトウェアテストからのアプローチ (2009)
  • Author(s): 片山徹郎
  • Organizer: マイクロソフトWindows Embedded組み込みセミナー博多
  • Place of Presentation: マイクロソフト九州支店(福岡県福岡市)
  • Year and Date: 2009-11-05
• [Presentation] 組込みソフトウェアの品質確保のためのソフトウェアテストからのアプローチ (2009)
  • Author(s): 片山徹郎
  • Organizer: マイクロソフト"WindowsEmbedded" 組み込みセミナー博多
  • Place of Presentation: マイクロソフト九州支店(福岡県福岡市)
  • Year and Date: 2009-11-05
• [Presentation] 組込みソフトウェアの品質確保のためのソフトウェアテストからのアプローチ (2009)
  • Author(s): 片山徹郎
  • Organizer: マイクロソフト "Windows Embedded" 組み込みセミナー博多
  • Place of Presentation: マイクロソフト九州支店(福岡県福岡市)
  • Year and Date: 2009-11-05
• [Presentation] コーディングの作業効率の向上を目的とした組込みソフトウェア向けプログラミング言語の開発 (2009)
  • Author(s): 岡山直樹
  • Organizer: 平成21年度電気関係学会九州支部連合大会
  • Place of Presentation: 九州工業大学 情報工学部(福岡県飯塚市)
  • Year and Date: 2009-09-29
• [Presentation] 組込みソフトウェアに適したプログラミング言語の開発に向けて-マルチコアへの対応- (2009)
  • Author(s): 岡山直樹
  • Organizer: 第11回組込みシステム技術に関するサマーワークショップ(SWEST11)
  • Place of Presentation: ホテルアローレ(石川県加賀市)
  • Year and Date: 2009-08-11
• [Presentation] プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案 (2008)
  • Author(s): 徳永友樹、喜多義弘、片山徹郎
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 山梨大学(山梨県甲府市)
  • Year and Date: 2008-10-17
• [Presentation] プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案 (2008)
  • Author(s): 徳永友樹
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 山梨大学
  • Year and Date: 2008-10-17
• [Book] 組込みソフトウェア開発技術(組込みシステム基礎技術全集Vol.3) (2011)
  • Author(s): 片山徹郎
  • Publisher: CQ出版社
• [Book] 組込みソフトウェア開発技術(片山徹郎、他9名)(組込みシステム基礎技術全集Vol.3) (2011)
  • Author(s): 情報処理学会組込みシステム研究会監修
  • Publisher: CQ出版社
• [Book] 組込みソフトウェア開発技術(組込みシステム基礎技術全集Vol.3) (2011)
  • Author(s): 情報処理学会 組込みシステム研究会 監修
  • Publisher: CQ出版社