万博1manbetxSimulink的测试
シミュレーションベースのテストの开発,管理,実行
万博1manbetxSimulink的测试™には,モデル,生成コード,仮想ハードウェア,および実ハードウェアの体系的なシミュレーションベースのテストを作成,管理,実行するためのツールが用意されています。万博1manbetx仿真软件测试の提供するシミュレーション,ベースライン,等価性テストのテストテンプレートにより,ソフトウェアインザループ(银),プロセッサインザループ(公益诉讼),リアルタイムハードウェアインザループ(边境)のモードを使用して機能テスト,ユニットテスト,回帰テスト,背靠背テストを実行できます。
万博1manbetxSimulink的测试を使用すると,テストハーネスを作成してテスト対象のコンポーネントを分离できます。テキストベースの言语を使用して要求仕様ベースの评価を定义し,微软®高强®を含むさまざまな形式でテスト入力,出力の期待値,許容誤差を指定できます.万博1manbetxSimulink测试には複雑なテストシーケンスや評価を定義するための测试序列ブロック,および,テストの管理や実行のためのテストマネージャーが含まれています.Observerブロックを使用すると,モデルやモデルのインターフェイスを変更せずにモデル内の任意の信号にアクセスできます。大規模なテストを編成して,並列に実行したり,継続的インテグレーションシステムで実行したりすることができます。
テストから要件にトレースしたり(万博1manbetxSimulink的要求™を使用します),万博1manbetxSimulink的覆盖™から得られるテストカバレッジ情报を含むレポートを生成したりすることができます。
業界標準には,IEC认证工具包(IEC 61508およびISO 26262用)およびDO资格套件(- 178用)によって対応しています。
詳細を見る:
复数のソースを使用したテストデータの定义
テストシナリオの入力データ,出力の期待値,および许容误差はの期待値,MATファイルまたは的Excelスプレッドシートを使用して定义できます。以下を行うことができます。
- 信号编辑器ブロックを使用して入力データをグラフィカルに作成する。
- 测试序列ブロックを使用してプログラミングでテスト入力シーケンスを定义する。
- 万博1manbetxSimulink设计验证器™を使用してテスト入力を自動的に生成する。
テストハーネスによるテスト対象コンポーネントの分离
テストハーネスは,万博1manbetx®モデルまたはモデルコンポーネントを分離する統合シミュレーション環境を提供います。設計からテスト環境が分離されます。モデルとテストハーネスの間で設計の変更を同期しながら,モデルまたはモデルコンポーネントでテスト固有のシミュレーションを実行できます。
要件検証のための時間的評価
设计の要件には,テストで形式化しにくい,タイミングに依存するロジックを含めることができます。自然言语の形式で正确なセマンティクスを持つ时间的评価を含むテストを作成し,时间に依存する,条件,イベント,信号値,遅れを伴う复雑な挙动を正确にテストできます。
テストシーケンスおよび評価の作成
MATLAB®言語機能のサブセット(時相演算子,信号生,成条件付き構造)を使用して,ステップベースおよび時相テストのシーケンスを含むテストを作成し,シミュレーション結果を評価できます。
モデル変更を伴わない信号の観測
オブザーバーを使用すると,テスト専用のポート,ブロック,接続,インターフェイスを追加せずに模万博1manbetx型信号のデバッグやテストを行えます。別個の検証モデルを作成してシステムの設計を検証できます。
全シミュレーションモードのサポート
テストは,ノーマルシミュレーションモード,アクセラレータモード,ラピッドアクセラレータモードソフトウェアインザループ(SIL)モード,プロセッサインザループ(PIL)モード,または万博1manbetxSimulink的实时™を使用して,アルタイムモードで実行します。
复数リリースのサポート
复数のMATLABリリースを使用してテストケースを実行できるので,R2011b以降の量产バージョンでモデルを実行すると同时に,Sim万博1manbetxulink的测试の最新の検证机能も利用できます。
モデルカバレッジとコードカバレッジの测定
万博1manbetxSimulink的覆盖™ではカバレッジメトリクス(判定,条件,改良条件/判定カバレッジ(MC / DC)、関係演算子の境界カバレッジ)を収集できます。万博1manbetxSimulink设计验证を使用することで,テストマネージャーのカバレッジ結果から未達カバレッジに対するテストケースを生成できます。
テスト结果の可视化,エラーのデバッグ,テストの更新
万博1manbetxSimulink的测试は,指定した许容误差を満たさない信号を特定してグラフィカルに表示し,パス/失败の结果を判别します。シミュレーション出力および记录された信号を指定の出力期待値とともに确认し,偏差を许容できる场合はベースラインデータを更新できます。
テスト结果の管理とアーカイブ
万博1manbetx仿真软件测试は実行されたテストの要約と詳細を表示します。各テスト結果の概要ページには,シミュレーション出力,ベースライン比較または等価性比較,テストの結果(パス,失敗,または未テスト)が表示されます。他のユーザーと結果を共有するには,テスト結果をファイルにエクスポートします。このファイルを,後からテストマネージャー上でレビューできます。
レポートの生成
結果を文書にアーカイブするには,レポートを生成します。レポートには,テストの結果,テストの概要,およびテストでの比較に使用した基準を含めることができます。標準レポートをHTML、PDF、多克斯形式で生成できるほか,万博1manbetxSimulink的报告生成器™でカスタマイズすることもできます。
テストスクリプトとバッチワークフロー
テストは,個別に実行することも,一括実行してテストを自動化し,標準的なテスト環境を設定することもできます。プログラムによってテストケースを作成し,テストケースの基準を指定し,テストを実行して結果を生成できます。
継続的インテグレーション
MATLABのユニットテストを使用してモデルテストを実行し,継続的インテグレーション(CI)システム(詹金斯™など)内に统合できます。モデルテストは,MATLABユニットテストのスクリプト,关数,およびクラスと一绪に実行できます。
並列実行によるスケーリング
大規模または複雑な仿万博1manbetx真软件モデルをテストする場合,并行计算工具箱™を使用すれば,テストを并列に実行してテストの実行时间を短缩できます。
の使用Stateflow中で复雑なテストシナリオを定义
シミュレーション后カバレッジワークフロー
テストマネージャーからシミュレーションを再実行することなくカバレッジフィルターの作成や使用
Stateflowチャートでの验证キーワードのサポート
Stateflow中で状态ベースのテスト実行时にテスト结果の评価
SIL / PILテストハーネス生成のための生成コードの再利用
コード再生成することなく,以前のリリースからの生成コードを検证
子系统参考ブロックのテストハーネスサポート
ユニットテスト用に子系统参考ブロックを分离
要件検证のための时相评価
文书化された要件を,正确なセマンティクスを持つ実行可能な评価として记述
オブザーバーブロック
设计モデルに影响を及ぼさずに信号を取得
これらの機能および対応する関数の詳細については,リリースノートを参照してください。