Abstract-Calculating med grafer och relationer har många tillämpningar i analysen av mjukvarusystem, till exempel upptäckt av mönster design eller mönster av problematisk design och beräkning av designmått. Dessa tillämpningar kräver ett uttryckligt frågespråk, särskilt för att upptäcka grafmönster, och en effektiv utvärdering av frågorna även för stora grafer. I den här artikeln introducerar vi RML, ett enkelt språk för att fråga och manipulera relationer baserade på predicate calculus, och CrocoPat, en tolk för RML program. RML är allmänt eftersom det möjliggör manipulering inte bara av grafer (dvs. binära relationer), men av relationer av godtycklig raritet. CrocoPat utför RML program effektivt eftersom det internt representerar relationer som binära beslut diagram, en datastruktur som är känd som en kompakt representation av stora relationer i datorstödd verifiering. Vi utvärderar RML genom att ge exempel på program för flera mjukvaruanalyser och CrocoPat genom att jämföra dess prestanda med miniräknare för binära relationer, ett Prolog-system och ett relationellt databashanteringssystem.
Crocopat REF ger ett effektivt språk för att manipulera relationer av aritualitet med ett enkelt och uttrycksfullt fråge- och manipuleringsspråk.
Efficient relational calculation for software analysis
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}