>>top >>lab

片山研究室では、ソフトウェア工学と組込みシステムについて研究しています。

ソフトウェア工学

・プログラム設計支援、および、初心者教育支援のための、フローチャートと2種類の実行経路を用いた、 　Javaプログラムの可視化に関する研究(Avisの開発) ・テストケースを可視化し、俯瞰するテスト用ダイアグラムの提案 ・Javaプログラムのためのテスト自動化手法の研究(Jvisの開発) ・形式手法(formal method)を用いた信頼性の高いソフトウェア開発手法の構築

組込みシステム

・ライントレースカーを題材とした、組込みソフトウェアの設計開発、ならびに、動作検証のためのシミュレータの開発 ・ハードウェア検証技法とソフトウェアテスト技法の一体化 ・組込みソフトウェア向けプログラミング言語の開発 ・命令セットシミュレータ(ISS)作成支援手法の開発