文献

J-GLOBAL ID：201702237105530216   整理番号：17A1730459

モデルベース試験のためのPetriネットを用いた制御フローモデル【Powered by NICT】

Control flow models using Petri nets for model based testing

著者 (1件)： Pospisil Tomas (CTU in Prague, Faculty of Electrical Engineering, Technicka ́ 2, 166 27, Czech republic)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： IDAACS  ページ： 553-557  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モデルベース試験自動化テスト生成,実行,評価に用いる試験方法である。試験システムの形式的行動モデルに基づいている。試験生成のための試験と制約プログラミングシステムの記述のためのPetriネットの高度変異体を利用した新しいテスト生成手法を提案する。提示された方法は,モデリングと分散試験と並列システム,自動車で一般的に使用されるのを目的としている。提案手法では,離散変数を持つPetriネットは,システム挙動モデルを記述した。Petriネット変異体は変数を持つネット,システム入力と出力として用いられるを拡張した。論文では,制約プログラミングを利用し,実際のテスト入力は組合せ問題の解決策として発生する新しい試験方法を示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *Petriネット ,  自動車 ,  組合せ問題 ,  モデリング ,  制約プログラミング ,  自動化
準シソーラス用語： 挙動モデル ,  並列システム ,  行動モデル ,  試験方法 ,  テスト生成 ,  *制御フロー ,  *モデルベース , 【Automatic Indexing@JST】

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (5件)： モデルベース ,  試験 ,  Petriネット ,  制御フロー ,  モデル