研究課題
基盤研究(C)
本研究課題の目的は、モデリング言語UML (Unified Modeling Language)を利用したテスト技法、および、プログラムの可視化手法の2つの観点から、組込みソフトウェアに特化した信頼性向上手法の提案し、来たるべきユビキタス社会における情報技術への要求に、迅速に対応できる基盤を与えることにある。(1)UMLのダイアグラムからテスト項目の抽出とテスト支援システムの試作UMLのダイアグラムの1つであるシーケンス図からユーザアクションのタイミングに着目してテスト項目を抽出するテスト手法を既に提案しており、その方法論の正しさについて証明できていたが、実用性は不明であった。そこで、シーケンス図を入力としテスト項目を出力するテスト支援システムを試作し、実用性を検証する。(2)プログラム可視化ツールAvisの拡張コンパイラの技法(字句解析と構文解析)を援用することにより、Javaプログラムを入力として、コントロールフローグラフ、実行経路、および、UMLのシーケンス図を、ユーザに提示するツールAvisを既に試作していた。このAvisの次の拡張方針を定め、ユーザがプログラムの動作をより理解しやすい形で可視化できるようAvisを改良する。さらに、Avisのテスト支援ツールへの拡張も視野に入れる。具体的には、ソフトウェアテストの1工程である結合テストに焦点を当てたテスト支援ツールへの拡張について検討する。(3)ハードウェアを考慮したソフトウェアテスト手法の検討(1)組込みシステムに適したプログラミング言語とその実行のためのコンパイラについて検討する。その際の検討方針として、コードの記述量が少なくテスト実行が容易に進められるような特徴を持たせる。検討結果に基づいて、実際にプログラミング言語を提案する。(2)組込みソフトウェアのテスト環境構築について検討する。組込みシステムはその用途に応じて、システムの形態や構成は多種多様であるが、実際にソフトウェアが動作する際には、特定のハードウェア上で動作することが多い。そこで、ソフトウェアが動作するハードウェアを仮想的に実現することを試み、その仮想ハードウェア上でソフトウェアのテストが実施できるような環境の構築について、その実現性を含めて検討する。
すべて 2011 2010 2009 2008
すべて 雑誌論文 (5件) (うち査読あり 3件) 学会発表 (5件) 図書 (1件)
情報処理学会組込みシステムシンポジウム2010(ESS2010)
ページ: 43-48
火の国情報シンポジウム2010
情報処理学会論文誌 Vol.51、No.9
ページ: 1859-1872
宮崎大学工学部紀要 No.39
ページ: 301-306
Proc. Int'l Association of Sci. and Tech. for Development(IASTED) Int'l Conf. on Softw. Eng. (SE 2009)
ページ: 31-36
