文献

J-GLOBAL ID：201202253163007412   整理番号：12A1313268

モデル検査ツールにより出力された反例に基づく誤り特定に関する研究

Error Localization Based on the Counterexamples Generated by Model-Checker

著者 (2件)： CHEN Shi (北陸先端科学技術大学院大) ,  青木利晃 (北陸先端科学技術大学院大)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2012  号： 2  ページ： ROMBUNNO.SE-177,NO.6  発行年： 2012年08月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： モデル検査ツールにより出力される反例の自動解析において,既存研究では誤りの特定までは至っていないが,本研究では,並行計算によくあるrace conditions問題を対象として取り上げ,race conditions問題の特徴を付加情報としてモデルの誤り自動特定法を提案した。また,提案手法に従って反例解析ツールを実装して,race conditions問題のモデル例に適用し,提案手法の評価を行った。(著者抄録)

シソーラス用語： *モデル検査 ,  誤り検出 ,  定理証明 ,  *並列演算 ,  問題 ,  競争 ,  プログラム解析 ,  支援プログラム ,  誤り
準シソーラス用語： 反例 ,  *並行計算 ,  race conditions問題 ,  競合 ,  ソフトウェアツール

分類 (2件)： 計算理論  (JB02000A) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (5件)： モデル検査 ,  ツール ,  反例 ,  誤り ,  研究