抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
誤差伝搬解析(EPA)は,誤差がプログラムの実行とresultinプログラム障害にどのように影響するかforunderstanding技術である。この目的のために,EPAは,通常,無欠陥(ゴールデン)のthetracesを比較し故障操作のプログラムからのものであった。multithreadedprogramsの脆性既存EPAアプローチ,典型的にはdeterministicgoldenを持たないを示した。本論文では,マルチスレッドプログラムにおけるgoldenrun基づくEPAの代替としての自動化アプローチによってinvariantsgeneratedの使用を検討した。InvariantPropagation解析(IPA),アプローチとフレームワークforautomaticallyマルチスレッドプログラムのための不変量を導出し,EPAの不変量を提示した。断層injectionexperimentsによる六種類の代表的なプログラムを横切る異なるfaulttypesの被覆率におけるIPAによるinvariantsderivedを評価した。安定な不変量をallsixプログラムにおける推論できることを見出したが,断層の被覆率はtheapplicationと故障タイプに依存した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】