HOME>組織の紹介>システム検証技術

システム検証技術

テストフレームワーク
我々は、組込みネットワークシステムを対象として、「テストフレームワーク(Formal Model-Based Testing, FMBT)」と「クラスタシミュレーションテスト(Cluster In The Loop Simulation, CILS)」の2つの最先端技術を組み合わせた新しいテストフレームワークの開発に取り組んでいます。
フロントローディング化技術
本研究では,鉄道の駅務機器に搭載されるソフトウェアを対象に,形式手法を用いて上記の問題点を解決することを目的として、適用実験を行っています。

▲ページ先頭へ