A method for detecting unusual defects in enterprise system using model checking techniques

Yoshitaka Aoki, Saeko Matsuura

研究成果: Conference contribution

4 被引用数 (Scopus)

抄録

This paper proposes a method based on model checking for detecting hard-to-discover defects in enterprise systems. Source codes are transformed into an appropriate phased abstract model so that we can observe the phenomena. UPPAAL, which is a typical model checking tool, makes an exhaustive checking of the model and provides a result whether the model can reach the specified state or not. We have developed a supporting tool to narrow the range of model checking and to generate UPPAAL model automatically. We discuss our method in detail on the basis of the results of a case study.

本文言語English
ホスト出版物のタイトルRecent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11
ページ165-171
ページ数7
出版ステータスPublished - 2011 6 17
イベント10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11 - Cambridge, United Kingdom
継続期間: 2011 2 202011 2 22

出版物シリーズ

名前Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11

Conference

Conference10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11
国/地域United Kingdom
CityCambridge
Period11/2/2011/2/22

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「A method for detecting unusual defects in enterprise system using model checking techniques」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル