仕様モデルモデル -MATLAB和SI金宝appMULINK- MATHWORKS日本 - 金宝app,下载188bet金宝搏,金宝搏官方网站

仕様モデルとは

モデルを体系的に検证场合场合开発プロセスにに要件に対するに対するテストテストケースケースケースのの生成含ま含まれれますます。。これらののテストはは，量产コードコード生成が要件ことについて信頼ををのにです。。。。仕様仕様モデルモデルは，金宝app^®设计验证器™机能をことにより要件に基づくをできる実行可能なエンティティです。

simulink simulinkをををたたたれた金宝app一连ををををししてててそれらそれらそれらそれらそれらをを形式的的的的的なななななななななななななななななななななななそれらそれらそれらそれらそれらそれらそれらそれらそれらそれらそれらそれらそれらそれらとなり设计モデルは异なり，モデル指定指定できるのは“実行す，方法ではあり”。んませは，上位の要件を取得し，下位下位の详细ははは非非

仕様モデル使用利点は次のとおりです。

体系的方法一连のを検证します。
要件にテストを化します。
不足し要件设计エラーまたはにおけるをし，，开発段阶の初期初期にモデルモデルを设计するする场合场合

要件にテストに対する仕様使用使用

要件基づくは，仕様モデル生成されたテストケース使用ししてて，，，要件要件に対して设计设计モデルをを検证検证しします。。仕様モデルモデルををを使用たたたた

要件エディター要件を作成。。设计対象のを说明する自然で要件を记述し。
仕様モデルをする。仕様モデルの可能な表现として。このアクティビティにより，要件のの绞り込みにつながるつながる问题が明らか明らかににになる
要件をリンク。个别のまたはを仕様モデルのにリンクします。
仕様モデルテストを生成。。その要件适合性をテストテストをごとに少なくとも少なくとも少なくとも少なくともつつ生成しますます
テスト変换システムを作成。。仕様モデルモデル同じ同じインターフェイスををし可能性がますます。。。テストテストテスト変换変换変换変换システムシステムををししし，，，手顺手顺手顺手顺手顺手顺手顺手顺手顺手顺手顺手顺手顺でででで
设计モデルをする。要件ドキュメントしてモデル个别にします要件を设计モデルモデルにリンクリンク。。。
设计をし，を解析する。5でででたテスト，，手顺手顺手顺手顺されモデルモデルで実行実行ししし，结果が仕様モデルモデルおよびおよび要件要件と一致一致するするかかどうどうどうかかますますます。。。て，にて要件を绞り込み。。

规范模型工作流程

仕様モデルの作成

要件にテストに対する仕様使用使用に示すモデルについて考え。。，はは论理的开ループ条件とと时间的开开ループ条件条件条件でで

要件に対してを作成には，のににますます。

仕様モデルインターフェイス特定

要件に仕様の信号と信号リストます。。対象の要件に关连ししないない信号は无视无视

要件に自动コントローラー入力信号はのとおりです。

自动操縦のスイッチ：自动操縦/无效/无效にする
机首の系合スイッチ：系合系合と，hdg_hold_modeが有效なる。そうでない，，Roll_hold_modeはアクティブである
ロール参照ターゲットノブ：目的の角値を操縦コントローラーにダイヤルダイヤル
机首参照回転ノブ：机首方位の设定をするする
航空机ロール角：航空机の现在瞬时ロール角

出力信号次のとおり。。

aileronコマンド：补助翼补助翼へ出力出力
滚动参考：补助翼アクチュエータ设定値示す表示ウィンドウ出力出力

信号値上位レベル表现を使用する

一部の仕様上位レベルで表现れ。仕様のの范囲などなど，，，上位上位上位レベルの表现をを使用ししししててて

入力信号机角について考えますます。は，航空机现在现在现在のロールロールロール角角-180 +180 +180〜〜〜〜〜度度

要件は操縦の动作ゾーンので说明ます。これらのゾーンは列挙型范围を使用てモデルされます。

5 5つのゾーン次図にに。。。

上位レベル动作モードをするする

要件はのよう上位レベルののコントローラーモードとそれぞれのアクティブな条件条件を指定しし。

自动操縦モード	自动操縦のスイッチ	机首の系合スイッチ
`离开`	オフ	不在乎
`Roll_hold_mode`	オン	オフ
`hdg_hold_mode`	オン	オン

各要件前提，，期待さ出力を特定する

次のについて考えます。

“コックピットのノブのロール参照ターゲットノブ（（roll_ref_tk）が正常（[-30，-3]度[+3，+30]度）ででしいるは，，ロール参照（（roll_ref_cmd）はroll_ref_tkに设定さ。

前提条件影响特定する--2つはつつ项构成され。。。

前提：：roll_ref_tkは[-30，-3]またはまたは正の[+3，+30]ののかか。。。。。。
この前提な论理论理论理论理子ので，値表使用使用してて论理前提条件。。。
效果：roll_ref_cmdをroll_ref_tkにし。の项，想定れる范囲出力信号値を指定指定。。。

要件の项はアクティブなるなるし效果效果の项はアクティブになっなった后にに実行するするする要件要件

上记の要件，aileronコマンドail_cmd出力に影响ないため范围とみなさ取り得るすべて一连の値表し。。。

要件の値表をするする

要件ののを真理表[条件テーブル]セクションセクション效果のを[アクションアクションをを
各要をに追迹するには，ローカル変数変数変数変数変数変数変数変数
金宝appSimulink设计验证者ののをステートメントステートメントsldv.test（req_id == 2.1）を[アクションテーブル]ににします金宝appSimulink设计验证者はreq_id 2.1ががさとテストを検索。。。