loader image

モデルベース開発向けのテストソリューション

必数百万ものシナリオをどのようにして作成するか?

テスト数の爆発的増大を避けるには?

テストの合格・不合格をどのように見分けるか?

堺 勝洋

堺 勝洋は新座総合技術高等学校の電子機械科を卒業しました。BTC Japanには2011年に入社し、セールスエンジニアとして機能安全規格準拠の形式記述、形式検証、テスト自動化導入サポートに従事して参りました。現在は営業技術部に所属しています。