Ruby-BDD. Ruby-BDD ist eine BDD-Bindung für Rubin.
Jetzt downloaden

Ruby-BDD. Ranking & Zusammenfassung

Ruby-BDD. Stichworte

Bindung Rubin-Bibliothek BDD. BDD-Bindung. Rubin-BDD

Ruby-BDD. Beschreibung

Ruby-BDD ist eine BDD-Bindung für Rubin. Ruby-BDD ist eine BDD-Bindung für Ruby.BDDS (oder genauere Robdds) sind effiziente Datenstrukturen für die Darstellung der booleschen Formel. Sie werden in der formalen Überprüfung weit verbreitet, insbesondere symbolische Modellprüfung. Die Idee der symbolischen Modellprüfung besteht darin, die Sätze von Übergangsbeziehungen der Zustände als Formel darzustellen (und den Fixpunkt des Satzes aller erreichbaren Zustände für die Erreichbarkeitsanalyse berechnen) .bddy ist eine BDD-Bibliothek, die in C mit einer API mit einer API in CAGI geschrieben ist C und c ++. Es ist Entwickler mit einer einfachen Schnittstelle. Es unterstützt alle Standard-BDD-Operationen, variabler Bestellungen, Drucken, hat automatisierte Müllkollektion, und ist auf Unix- und Windows-Plattformen kompilierbar. Trotz der Skriptsprache ist eine leistungsstarke und saubere objektorientierte Sprache, die sehr leicht zu lernen ist, und benutzen. Insbesondere ist es für schnelle Prototyping- und Bildungszwecke geeignet. Ruby-BDD ist eine Bindung für Ruby basierend auf dem Buddy, der BDD-Klassen anbietet, BDDs in Ruby zu erstellen und zu manipulieren, die in dieser Version neu erstellt und manipuliert werden. durch eine Rubin-Stil-API.

Ruby-BDD. Zugehörige Software