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
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;
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
DOI :
10.1109/ICIME.2010.5477762