Rubí-bdd Ruby-BDD es un enlace BDD para Ruby.
Descargar ahora

Rubí-bdd Clasificación y resumen

Rubí-bdd Etiquetas

vinculante biblioteca de rubí Bdd BDD enlace Rubí-bdd

Rubí-bdd Descripción

Ruby-BDD es un enlace BDD para Ruby. RUBY-BDD es un enlace BDD para RUBY.BDDS (o más precisamente robds) son estructuras de datos eficientes para representar la fórmula booleana. Son ampliamente utilizados en la verificación formal, en particular la verificación de modelos simbólicos. La idea de la verificación de modelos simbólicos es representar a los conjuntos de relaciones de transición como fórmula (y para calcular el punto fijo del conjunto de todos los estados accesibles para el análisis de accesibilidad) .Buddy es una biblioteca de BDD escrita en C con una API ambas en C y C ++. Es fácil de desarrollar con una interfaz simple. Admite todas las operaciones estándar de BDD, la ordenación variable, la impresión, tiene la recolección de basura automatizada y se compilan en las plataformas de UNIX y Windows.Ruby, a pesar de ser un lenguaje de scripting, es un lenguaje orientado a objetos potente y limpio que es muy fácil de aprender y usar. En particular, es adecuado para propósitos de prototipos rápidos y educación. Ruby-BDD es un enlace para Ruby basado en Buddy que proporciona clases BDD para crear y manipular a BDD en Ruby. Lo nuevo en esta versión: · Esta versión agrega soporte para vectores de bits y dominios finitos. · La mayoría de la biblioteca de amigos ya está disponible. A través de una API de estilo rubí.

Rubí-bdd Software relacionado