DocumentCode :
1863429
Title :
A Method for Detecting Defects in Source Codes Using Model Checking Techniques
Author :
Aoki, Yoshitaka ; Matsuura, Saeko
Author_Institution :
Grad. Sch. of Eng., Shibaura Inst. Technol., Japan
fYear :
2010
fDate :
19-23 July 2010
Firstpage :
543
Lastpage :
544
Abstract :
This paper proposes a method of detecting troublesome defects in the Java source codes for enterprise systems using a model checking technique. A supporting tool also provides a function to automatically translate source code into a model which is simulated by UPPAAL model checker.
Keywords :
Java; formal verification; source coding; Java source code; UPPAAL; defect detection; model checking; source code translate; Analytical models; Business; Computational modeling; Inspection; Java; Software; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual
Conference_Location :
Seoul
ISSN :
0730-3157
Print_ISBN :
978-1-4244-7512-4
Electronic_ISBN :
0730-3157
Type :
conf
DOI :
10.1109/COMPSAC.2010.61
Filename :
5676307
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1863429
بازگشت