Krokopat Crocopat ist ein Werkzeug zur einfachen und effizienten relationalen Berechnung.
Jetzt downloaden

Krokopat Ranking & Zusammenfassung

Krokopat Stichworte

relational. Strukturell Berechnung relationale Berechnung Strukturanalysen BDD Variablen

Krokopat Beschreibung

Crocopat ist ein Werkzeug für eine einfache und effiziente relationale Berechnung. Crocopat ist ein Werkzeug für einfache und effiziente relationale Rechenrechnung. Seine einfache und ausdrucksstarke Abfrage- und Manipulationssprache basiert auf Prädikatkalculus erster Ordnung. Die Implementierung basiert auf dem binären Entscheidungsdiagramm der Datenstruktur (BDD), das als kompakte Darstellung großer Beziehungen in der computergestützten Verifizierung bekannt ist. Crocopat ist einfach, mit anderen Tools zu integrieren, da er Beziehungen von und zu Dateien in einem einfachen Tupel-Format liest und schreibt, und die Bewertung großer Softwaresysteme.Manische Strukturanalysen von Softwaresystemen können als relationale Abfragen formalisiert werden, beispielsweise der Nachweis von Gestaltungsmuster, von Muster des problematischen Designs, von Codeklonen, von totem Code und der Unterschiede zwischen der als gebauten und der entworfenen Architektur. Durch seine Effizienz und ihre ausdrucksstarke Sprache ermöglicht Crocopat praktisch wichtige Analysen von Real-World-Softwaresystemen, die mit anderen Graph-Analysewerkzeugen nicht möglich sind, insbesondere Analysen, die transitive Verschlüsse und die Erkennung von Mustern in Graphen beinhalten. High Level BDD-Paket, auf das Standard-BDD-Pakete Operationen zur Manipulation der Beziehungen über Bits bereitstellt, ermöglicht die Crocopat-Bibliothek die Manipulation der Beziehungen über Saiten. Es lindert Programmierer von Mapping-Zeichenfolgen an BDD-Kodierungen und Benutzervariablen an BDD-Variablen. Was in dieser Version neu ist: · Nur Wartungstätigkeiten (Erstellen Sie es für MacOS, Fehlerbehebungen).

Krokopat Zugehörige Software