DocumentCode :
2547017
Title :
Java code reviewer for verifying object-oriented design in class diagrams
Author :
Jinto, Kanit ; Limpiyakorn, Yachai
Author_Institution :
Dept. of Comput. Eng., Chulalongkorn Univ., Bangkok, Thailand
fYear :
2010
fDate :
16-18 April 2010
Firstpage :
471
Lastpage :
475
Abstract :
Verification and Validation (V&V) processes play an important role in quality control. The earlier defects are detected, the less rework incurs. According to the findings from literature, most of the defects occurred during the design and coding phases. Automatic detection of these defects would alleviate the problem. This research therefore invented an automatic code reviewer to examine Java source files against the object-oriented design described in UML class diagrams. Prior to the review process, the class diagrams are converted into XML format so that the information of classes and relations could be extracted and used to generate the review checklists. The code reviewer will then follow the checklist items to verify whether all defined classes exist in the code, the class structures with encapsulated methods and parameters are correctly implemented, all relations of associated classes are valid. Finally, the summary report will then be generated to notify the results.
Keywords :
Java; Unified Modeling Language; XML; formal verification; object-oriented programming; Java code reviewer; Java source files; UML class diagrams; XML format; automatic detection; object-oriented design; quality control; validation process; verification process; Data mining; Design engineering; Inspection; Java; Logic programming; Programming profession; Quality control; Software quality; Unified modeling language; XML; class diagram; code review; verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Management and Engineering (ICIME), 2010 The 2nd IEEE International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-5263-7
Electronic_ISBN :
978-1-4244-5265-1
Type :
conf
DOI :
10.1109/ICIME.2010.5477762
Filename :
5477762
Link To Document :
بازگشت