組込みソフトウェアテスト・静的解析ツール部門で注目

ガイオ QTE

ガイオ・テクノロジー株式会社

MC/DCまでのカバレッジを計測し未充足の条件を示すツール

ガイオ・テクノロジーの組込みソフトウェア開発向けのカバレッジ計測・充足データ解析支援ツール（Quality Town for Embedded grade）。AIでGoogleTestのテストコードを書けても、&&や||を含む複雑な条件文を通す入力値を正しく導けないという課題に向けた製品。MC/DCまでのカバレッジを計測し、満たせていない条件を解析して、満たすために必要な情報をAIで扱いやすい形で出力する。C1カバレッジの計測結果の解析と追加情報の提示にも対応する。ISO 26262とIEC 61508のツール認証を取得している。自動車、ロボット、FA、医療などの組込みソフトウェア開発を対象にしている。