Rubino-bdd. Ruby-BDD è un legame BDD per Ruby.
Scarica ora

Rubino-bdd. Classifica e riepilogo

Rubino-bdd. Tag

rilegatura Biblioteca di rubino BDD BDD Binding. Rubino-bdd.

Rubino-bdd. Descrizione

Ruby-BDD è un legame BDD per Ruby. Ruby-BDD è un legame BDD per Ruby.BDDS (o più precisamente robdds) sono strutture di dati efficienti per rappresentare la formula booleana. Sono ampiamente utilizzati in verifica formale, in particolare il controllo del modello simbolico. L'idea del controllo del modello simbolico è rappresentare le serie di stabilire relazioni di transizione come formula (e per calcolare il punto di fissaggio del set di tutti gli stati raggiungibili per l'analisi di raggiungibilità) .Buddy è una biblioteca BDD scritta in C con API sia in C e C ++. È sviluppatore amichevole con un'interfaccia semplice. Supporta tutte le operazioni BDD standard, l'ordinamento variabile, la stampa, ha automatizzato la raccolta dei rifiuti e è compilabile su piattaforme Unix e Windows.ruby, nonostante sia un linguaggio di scripting, è un linguaggio orientato all'oggetto potente e pulito che è molto facile da imparare e uso. In particolare è ben adatto per scopi di prototipazione rapida e istruzione. Ruby-BDD è un legame per Ruby basato su Buddy che fornisce lezioni BDD per creare e manipolare BDDS in Ruby. Che cosa è nuova in questa versione: · Questa versione aggiunge supporto per bit vettori e domini finiti. · La maggior parte della libreria Buddy è ora disponibile attraverso un'API in stile rubino.

Rubino-bdd. Software correlato