文献

J-GLOBAL ID：202102277753247247   整理番号：21A0891072

デバッギング行動モデルのための故障状態のクラスタ【JST・京大機械翻訳】

Clusters of Faulty States for Debugging Behavioural Models

著者 (2件)： Faqrizal Irman (Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG 38000,Grenoble,France) ,  Salaun Gwen (Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG 38000,Grenoble,France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： APSEC  ページ： 91-99  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 設計および開発分散ソフトウェアは,常に退屈で誤りやすいタスクであり,そして,絶えず増加するソフトウェア複雑性は,さらに悪くなる。モデル検査は,モデルが与えられた時間特性を満たすことを検証することによって,自動的にバグを見つけるための確立された技術である。モデルが特性に違反するとき,モデルチェッカーは,特性が満たされない状態に導く一連の作用である反例に戻る。仕様またはプログラムをデバッギングするためのこの反例の理解は,反例が問題の源の部分的な見解のみを与えるので,複雑なタスクであり,通常,問題の源を同定するのに反例を超えた。本論文では,行動モデル(Labeled遷移システム)に焦点を当て,誤りモデルのデバッギングを単純化するためのいくつかの技法を提案した。最初に,モデルの誤った部分に焦点を当て,特定の状態(故障状態と呼ぶ)を検出し,そこでは,正しい挙動の実行とモデルの誤った部分への落下の間の選択が可能である。本論文の目的は,これらの故障状態をクラスタにグループすることである。クラスタは,状態の各クラスタがバグに関するいくつかの情報を提供するので,ユーザがバグのソースを同定するのを助ける。この技術をツールに実装し,故障モデルの可視化とクラスタの計算を可能にした。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 簡素化 ,  *故障 ,  可視化 ,  *デバッギング ,  *クラスタ ,  ソフトウェア ,  ソフトウェア障害 ,  遷移システム ,  モデル検査
準シソーラス用語： 退屈 ,  故障モデル ,  反例 ,  複雑性 ,  行動モデル , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： デバッギング ,  行動モデル ,  故障 ,  クラスタ