Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Integration of a code checker into the experienced-based inspection tool ISI

: Feng, Yue
: Rombach, H. Dieter; Snoek, Björn; Elberzhager, Frank

Kaiserslautern, 2008, IX, 51 S.
Fraunhofer IESE ()
software inspection; inspection tool; code checker

An inspection tool called ISI (Intelligent Support for Inspections) has been developed at the Fraunhofer IESE. It supports the user during code inspections in the phases of planning and defect detection with providing possible defects in the code. For the automated defect detection of ISI an experience base is used and organizer as well as inspector will be comfortable supported with a GUI of ISI that comes as an Eclipse-plugin. The automatic defect detection is thereby the core of ISI and it will be reinforced with static code checkers in this work.
Static code checkers are quite effective at finding certain types of defects, such as convention, data-flow or control-flow errors and anomalies. But they can not find all types of defects. An integration of code checker into ISI is proposed as an improvement of the defect detection. On the one hand, code checkers help ISI to detect more specific errors; on the other hand, the integrated system could provide a prioritized checklist, which allows the inspector to concentrate on possible defects with the highest probability to be a real defect in the software.
In this work more than 40 code checkers have been analyzed, three candidates for a possible Integration have been identified and the most promising candidate has been integrated into ISI. In parallel to the integration the architecture has been enhanced in a way that allows later integration of further code checkers. The results have been evaluated and tested examples of software code (about 300 lines of code with more than 30 bugs).