I detta dokument presenteras utformningen och genomförandet av CD-Form (Clone Detector baserad på FORmal Methods), ett verktyg inriktat på att upptäcka typ 2-kloner i Java-kod. CD-Form bygger på en ny metod för att upptäcka kodkloner. Den metod som används utför analysen på Java bytecode och inte på den ursprungliga Java källan. Bytekoden omvandlas till CCS-processer (Calculus of communicating Systems), som successivt kontrolleras för likvärdighet. Efter en grundlig beskrivning av den metod som används för att upptäcka kloner presenteras verktygets utformning. De resultat som erhålls genom att utvärdera Java-koder valideras genom att jämföra dem med dem som erhålls genom ett toppmodernt verktyg för klondetektering.
CD-Form, föreslås av Cuomo et al. REF, konverterade Java bytecode till beräkning av kommunikationssystem format, och upptäckt kod kloner på metodnivå.
CD-Form: A Clone Detector based on Formal Methods
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}