文献

J-GLOBAL ID：202102213242043395   整理番号：21A1145821

試験に基づく形式的検証から導出された故障位置決めアプローチ【JST・京大機械翻訳】

A Fault Localization Approach Derived From Testing-based Formal Verification

著者 (3件)： Wang Rong (Hosei University,Department of Computer Science,Tokyo,Japan) ,  Liu Shaoying (School of Informatics and Data Science, Hiroshima University,Tokyo,Japan) ,  Sato Yuji (Hosei University,Department of Computer Science,Tokyo,Japan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ICECCS  ページ： 165-170  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 安全クリティカルシステムの急速な発展は,プログラムの正当性を確保するために,形式的検証または膨大な試験に必要としている。記号的実行(TBFV-SE)による試験ベースの形式的検証,形式的検証と試験の両方を統合する技術,はそのようなニーズを満たすため,非常にコストなしで両方の方法の利点を取り入れた。TBFV-SEが不正確なプログラム経路を与えるとき,符号における問題位置をさらに指摘するために,著者らは,TBFV-SEによって提供される情報の利用を通して,本研究を行うための故障位置確認アルゴリズムを記述した。事例研究は,著者らのアルゴリズムが符号の疑わしい線のスケールをより効果的に効率的に縮小できることを示した。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件)： 試験 ,  形式的検証 ,  導出 ,  故障