必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
開発プロジェクトで生じる不具合の多くは機能要求の矛盾や 不正確さが明らかになるのが遅すぎることが原因です。システム実装後のシステムテストで問題が見つかることは良くあります。
BTC Embedded Platformの要求分析では機能安全要求の完全性（Completeness）、正当性（Correctness）、一貫性（Consistency）を検出できますのでこのような問題の検出を要求定義の初期段階に引き上げることが出来ます。
“ソフトウェアシステムの構築において最も困難な部分は何を構築するかを明確に決定することである。概念上の作業で詳細な技術的要求を確立することほど困難な作業は他にない。もし誤りがあった場合に、この作業ほどの損害を結果に与えるものはない。後の修正がこれほど困難な部分は無い。”
[Frederick Brooks (IBM) 1987 Software Engineer and Computer Scientist (National Medal of Technology and the Turing Award)]
“完全、正当、明瞭なソフトウェア要求を作成することが不可能であることは、今日においても依然としてソフトウェア不具合の主な原因であると認識されている。”
[Merlin Dorfman (Cisco) 1997 Quality Systems Advisor Engineer]
BTC EmebeddedPlatfromは、Universal Pattern.で指定された形式要求の完全性（Completeness）、正当性（Correctness）、一貫性（Consistency）（CCC）を分析する要求分析をサポートしています。
一つの形式要求RUT(Requirement Under Test)は、他の形式要求SUR(SUrrounding Formal Requirements)の集合に対して、SURに違反する事無くRUTを満たせるとき、完全である(conplete)と呼ばれます。
RUTがSURに対して完全でない(incomplete)場合、インプリメンテーションは存在しません。
要求群に対して定義されたすべてのテストケースが正常に実行でき、かつ実行結果が「passed」であるとき、形式要求群は正確である(correct)と呼ばれます。
正常に実行できるとは、以下のことを意味します。
テストケースに対する形式要求の評価中に、要求の矛盾や不整合が生じないという意味で、同時に評価が可能です。
ある一つの形式要求RUT(Requirement Under Test)は、他の形式要求SUR(SUrrounding Formal Requirements)に対して、SURの振舞いがRUTに違反するとき、一貫していない(inconsistent)と呼ばれます。
そのような違反が存在し得ない場合、RUTは一貫している(consist)と言われます。
定義されたテストケースに対して要求のシミュレーションを行えます。一般的に要求は抽象的でありシミュレーションを行うには具体性に欠けます。しかし、モデルチェック技術により、要求のみのシミュレーションが可能になりました。この技術により、BTC EmbeddedPlatformはいずれの要求にも違反しないシミュレーションの実行が可能になりました。
この機能は、要求の不整合や正確性をデバッグするのにも役立ちます。
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
Copyright © 2022 BTC Embedded Systems & BTC Japan
