小間番号
BG-12
リベラルロジック株式会社
AI
組込ソフト
開発環境
開発支援
オートモーティブ ソフトウェア
AI駆動開発
企業名
リベラルロジック株式会社
所在地
〒2200012 神奈川県 横浜市西区みなとみらい 3-7-1 オーシャンゲートみなとみらい8階
AI時代の論証支援ツール「EAUNIT」
EAUNIT は、要求、設計、仕様、実装、テストのトレーサビリティと単体テストの結果を、Enterprise Architect のひとつのモデルに集めます。設計者も実装者もアセッサーも、同じモデル上で、システムが要求を満たすことの論証を、根拠とともに組み立てられます。
製品・サービス
01 人が書いた時代
2025年より前は、コードもユニットテストも人が書いていました。対象を理解しなければ、どちらも書けません。人は書きながら学び、理解を深めました。だから、なぜ正しいのかを自分の言葉で説明できました。
02 AIが書く時代
今はAIが、要求から設計、実装、ユニットテストまでを書き、動くものを出します。テストに通っていても、それはAIがテストを通すために書いたテストかもしれません。書いていない人は、なぜ正しいのかを説明できません。
03 EAUNIT|AI時代の論証支援ツール
書かなくても、確かめながら理解する。EAUNITは、ニーズからユニットテストの結果までの成果物を、Enterprise Architectのモデル上で接続します。人はその接続を一つずつ確かめながら理解を深め、システムがニーズを満たすことを根拠とともに論証できます。
関連動画
EAUNIT - 実践的ソフトウェア開発フロー
実践的ソフトウェア開発フローの実現は単純で明解です。 このビデオでは、開発フローの実現順序を確認できます。EAUNITは、実装情報が設計情報にフィードバックされにくい従来型開発の課題を考慮。Enterprise Architectを使って開発を進める事で、効率的な開発を可能にする組織文化を実現できます。