おきなわ新産業創出投資事業

■　テーマ
製品の苦情・問い合わせから欠陥箇所を特定する高度テスト技術に関する研究

■　研究内容
・自動車、デジタル家電、複写機などにかかせない組込みソフトウェアが大規模化しており、このソフトウェアの品質問題が大きな課題となっている。
現在、有効なモデリング手法は、組込みソフトウェアの設計品質向上に一定の効果はあるが、設計段階で想定できない使用方法、使用環境によって製品の欠陥が生じるケースが深刻な問題となっている。
・本事業では、製品ユーザからの苦情・問い合わせから、組込みソフトウェアの欠陥箇所を特定できるテスト技術を研究する。具体的には「想定外モデルの自動生成」、「同モデルからのテストスクリプト、要件モデルの自動生成」である。