The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS
Transactions ID Number: 53-317
Full Name: Yoshitaka Aoki
Position: Student
Age: ON
Sex: Male
Address: 307 Fukasaku, Minuma-kuSaitama-City, Saitama, Japan
Country: JAPAN
Tel:
Tel prefix:
Fax:
E-mail address: m109002@shibaura-it.ac.jp
Other E-mails: yaoki4@nifty.ne.jp
Title of the Paper: A Reliable Method for Detecting Unusual Latent Defects Using Model Checking Techniques - A Case Study of Defects Detecting in Enterprise System -
Authors as they appear in the Paper: Yoshitaka Aoki,Saeko Matsuura
Email addresses of all the authors: m109002@shibaura-it.ac.jp,matsuura@se.shibaura-it.ac.jp
Number of paper pages: 10
Abstract: This paper proposes a method based on model checking for detecting hard-to-discover defects in enterprise systems. Such hard-to-discover defects often arise from the programmer's inappropriate misunderstanding of business rules, so it becomes difficult to detect by reviewing and testing of the source code alone. Our approach to detect such defects is that 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. Using a supporting tool, the inspector can detect errors in the manner in which business rules and the required conditions are combined. Moreover, he/she can confirm whether the designer's intentions have been correctly satisf!
ied. The tool translates the target source code into a model that can be checked by the model-checking tool UPPAAL. We discuss our method in detail on the basis of the results of a case study.
Keywords: Model checking, bugs, UPPAAL, Software Debugging, Process Modeling
EXTENSION of the file: .pdf
Special (Invited) Session:
Organizer of the Session:
How Did you learn about congress:
IP ADDRESS: 111.64.227.193
