Bdd

Interactive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Ordered Binary Decision Diagrams. It allows the student to work with ROBDDs without learning a complex C or C++ interface to an ROBDD package. One can enter the...

BDD BuDDy is a Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more. The BDD package presented here was made as part of a PhD project...

JSpec is an extremely light BDD framework aimed at a simple, logical syntax with nearly no learning curve.Download the module from http://github.com/visionmedia/jspec-drupal (downloads page)View details at http://jspec.infoBoth JSpec and this module created and maintained by Vision Media


Platforms: PHP

bdd Business is a database software manager for small and medium companies. Its main purpose is to help business owners handle their information in a more efficient way by providing them with a powerful tool to manage their products, clients and invoices as well as a very complete set of reports...


Platforms: Mac

bdd Business is a database software manager for small and medium companies. Its main purpose is to help business owners handle their information in a more efficient way by providing them with a powerful tool to manage their products, clients and invoices as well as a very complete set of reports...


Platforms: Mac

JDave project is a behavior-driven development framework that provides an easy way to specify the behavior of your Java classes. Behavior Driven Development (BDD) is a refinement for Test Driven Development (TDD). It is not a radical change from TDD, in fact the actual process of doing BDD is...


Platforms: *nix

This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy. JDD: a native Java library supporting BDD, Z-BDD and more (graph/automata/Petri nets/SAT)


Platforms: Windows, Mac, Solaris, Linux

pyvows is a BDD (Behaviour Driven Development) inspired by Vows for node.js More documentation about pyvows can be found at the project homepage


Platforms: *nix

SpecLoud is a Python module to use nosetests and plugins to take BDD specifications easier. Installation The easiest way to install specloud is using pip and requirements file: pip install --no-deps specloud -r http://github.com/hugobr/specloud/raw/master/requirements.txt Or you can try...


Platforms: *nix

PyCukes is a Cucumber-like BDD tool built on top of Pyhistorian. It was created to fill the gap pyhistorian left, so with it is possible to talk to your stakeholders first with text files, instead of simple understendable python files like Pyhistorian. Usage: First, make sure you have installed...


Platforms: *nix

EXTasy ======= EXTasy is a Cucumber-like BDD tool for ExtJS developers. It is written in python and built on top of Pycukes. Installation ===== You can install it using Python's easy_install:: $ easy_install extasy Or You can download source code and install using setup.py script:: $...


Platforms: Windows, Windows 7

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...


Platforms: *nix

Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.


Platforms: Windows, Mac, Linux

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus.The implementation is based on the data structure binary decision diagram (BDD), which is well-known as...


Platforms: C and C plus plus

Drupal implementation of the Cucumber testing tool.Drucumber allows you to execute feature documentation, written in plain text (of course there are some restrictions). It will generate simpletest tests from the specification, and the execute them as tests. It will also take advantage of the...


Platforms: PHP

Robot Framework is a generic test automation framework for acceptance testing and acceptance test-driven development (ATDD). It has easy-to-use tabular test data syntax and utilizes the keyword-driven testing approach. Its testing capabilities can be extended by test libraries implemented either...


Platforms: Mac

JavaBDD is a Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc. For an excellent overview of the BDD data structure, see this set of lecture notes by Henrik Reif...


Platforms: *nix

Concordion is an open source framework for Behavior Driven Development (BDD) that enables developers, testers and business analysts to build executable specifications in free-form using plain English. A Concordion active specification consists of two parts: a well-formed XHTML document...


Platforms: Windows, Mac, *nix, Windows 7, Java

Miraplacid Binary and Text DOM SDK represents two complementary technologies - BinaryDOM and TextDOM. This is redistributable software library component (dll) which works on .Net platform accompanied with documentation, data files and examples. Miraplacid Binary Document Object Model (Binary...


Platforms: Windows, *nix, Windows 7, Windows Server, Other