文献

J-GLOBAL ID：202002266211927916   整理番号：20A1865674

パターンベース時間仕様のためのモデル駆動トレース診断【JST・京大機械翻訳】

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

著者 (3件)： Dou Wei (University of Luxembourg, Luxembourg) ,  Bianculli Domenico (University of Luxembourg, Luxembourg) ,  Briand Lionel (University of Luxembourg, Luxembourg)
資料名： ACM Proceedings  (ACM Proceedings)
号： MODELS ’18  ページ： 278-288  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： オフライントレースチェックツールは,仕様が実行時間で記録されたイベントのログに留まるかどうかをチェックする。それらは,検査工程が終わるとき,検証証明書(典型的にはボレア値)を与える。verdictが誤りである場合,ソフトウェアエンジニアは,その原因を理解し,必要ならば,システム上で実行される修正行動の決定のために,トレースで見出される特性違反を診断する必要がある。しかし,ボレアの動詞は,違反の原因に関する有用な情報を提供しないため,また複数の理由に違反できるので,トレース診断を行うのに十分な情報ではないかもしれない。本論文の目標は,パターンベースの仕様言語であるTemPsyで表現される時間的特性のモデル駆動トレースチェックの設定において,トレース診断問題を解くための実用的でスケーラブルな解決策を提供することである。本論文の主な貢献は,TemPsyで表現されたパターンベースの時間特性のトレース診断のためのモデル駆動アプローチであり,それはトレースメタモデルの実例に関するOCLクエリの評価に依存する。TemPsy-Reportツールにおけるこのトレース診断手順の実施;TemPsy-Reportのスケーラビリティの評価を,著者らの産業パートナーの事例研究から導いた実際の特性の違反の診断に使用した。結果は,TemPsy-Reportが10秒以下の大きなトレースから診断情報を収集できることを示した。TemPsy-Reportは,トレースの長さに関して線形にスケールし,違反の数が増加するにつれてほぼ一定の性能を維持した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 線形性 ,  事例研究 ,  *動詞 ,  システムエンジニア ,  仕様記述言語
準シソーラス用語： 証明書 ,  実行時間 ,  クエリー ,  メタモデル ,  オフライン , 【Automatic Indexing@JST】

著者キーワード (6件)： OCL ,  オフライントレース検査 ,  実行時検証 ,  仕様パターン ,  時間的制約 ,  トレース診断

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 仕様 ,  モデル ,  トレース ,  診断