Play now
動画再生
Play now
動画再生
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
直感的な機能要求の形式記述
要求の形式化は要求をコンピュータで読み取り可能な記述に変換します。これは自動化の基礎となりテストと検証のステップにおける手作業をインテリジェントな技術に置き換えます。
BTC EmbeddedPlatformでは、容易に要求を形式化することができます。
現在、多くの開発プロジェクトでは要求はな自然言語で作成および管理されています。
自然言語には解釈の余地があることから、開発者やテストエンジニアが最終的に意図と異なる振舞いを実装してしまう可能性があります。
BTC EmbeddedPlatformの準形式化または形式的な記述法を使えば、安全要求を明確で曖昧さのない、コンピュータが理解できる表現に変換できます。これにより、要求の品質を向上させ以降の開発ステップでより質の高い成果物が期待できます。
形式記述の専門知識を持たずとも簡単に読み書きを可能にします。BTC EmbeddedPlatformのグラフィカルで直感的な形式言語であるUniversal Patternにより実現されます。Universal Patternは要求の記述に適した宣言型言語です。一連の要求で開発中のシステムやソフトウェアを簡単に記述できます。
個々の要求は、ニーズとそれに関連する制約や条件を表現するステートメントです。Universal Patternは、要求をトリガとアクションの関係で表現します。各トリガ/アクションの段階は条件とタイミングからなり、それらはマクロで埋められます。このマクロは、後に開発中のシステム/ソフトウェアのインタフェースにマッピングされます。このような構造により、要求は可読性を保ちつつ、コンピュータで読むこともできます。
「ACC追従制御」及び「ACC速度制御」状態において、運転者がブレーキを踏んだら100ms以内にACC機能を停止させること。
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
自動化の基礎となる機能要求の直感的な形式要求
Copyright © 2022 BTC Embedded Systems & BTC Japan
