Blog
- Inhouse applications and solutions have their own appeal.
- But they also bring some challenges like maintainability and tool qualification.
- In the long-run, industry standard tools are often the better choice.
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
Universal Patternで形式化した要求
要求群はソフトウェアやシステムの意図した振る舞いを正しく表現できていますか？
要求はシステム開発における中心的役割を担うため、メンテナンスを効果的に行うためのプロセスの確立が求められます。しかし一方で、プロジェクトがうまくいかない主要な原因は、要求が不明瞭であったり不完全であったりすることであると良く知られています。
BTC EmbeddedPlatform上での形式記述は、要求を明瞭にしてコンピュータが理解できるようにするだけでなく、開発プロセスの早期に解析することさえ可能にします。
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
形式手法によって進歩したRequirements-basedテスト
Copyright © 2022 BTC Embedded Systems & BTC Japan
