文献

J-GLOBAL ID：202002270531996580   整理番号：20A0911672

診断支援による自動FlTL試験オラクルの拡張【JST・京大機械翻訳】

Extending Automated FLTL Test Oracles with Diagnostic Support

著者 (2件)： Pill Ingo (Graz University of Technology) ,  Wotawa Franz (Graz University of Technology)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： ISSREW  ページ： 354-361  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： テストは,システムが著者らの期待を満たすかどうかを検証するために,多用途で実際にも優位な技術である。テストケースを実行した後,テストオラクルを用いて実行が失敗するか通過するかを判断する。FLTlのような時間的論理における特性を考慮した完全自動化オラクルは,完全に自動化されたプロセスにおいてそのような正当性を引き出すことを可能にする。本論文では,診断支援によりそのようなオラクルを拡張する方法を示した。特に,モデルベースの診断(MBD)に基づいて,特性の部分が失敗したテストケースに対して違反されたことを正確に分離する。このようなデータはシステム自身に焦点を合わせたMBDに直交しており,故障したシステム構成要素を分離する。著者らの診断によって,著者らはこのように,テスト実行が特性を侵害する方法に関して,その後のデバッギングと修理プロセスのために価値ある情報を提供した。この診断を導出するための対応する多項式サイズSATモデルを容易に導出できることを示した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  *自動化 ,  デバッギング
準シソーラス用語： *オラクル ,  モデルベース ,  テストケース , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (5件)： 診断 ,  支援 ,  試験 ,  オラクル ,  拡張