QATestingTools.com

SCADE Suite® is a model-based development environment dedicated to critical embedded software.
With a native integration of the Scade language and its formal notation, SCADE Suite is the integrated design environment for critical applications spanning model-based design, simulation, verification, qualifiable/certified code generation, and interoperability with other development tools and platforms, including requirements traceability.

xTests is a simple, easy-to-use, efficient unit- and component-test library, for multiple languages. Combining high discoverability and low coupling, xTests is a lightweight solution designed for use in verifying other libraries.

The current version covers C and C++ testing. It is implemented in C++ and expresses a C/C++-API. Its primary design features are:

NBehave framework is based on the behavioral domain specific language (DSL) of Behavior Driven Design (BDD). The primary goal of NBehave is a framework for defining and executing application requirement goals. These characterizations are modeled after the Behavioral Driven Design (BDD) terms Story, Scenario, Given, When, Then. Relying on a syntax that is lightweight and targeted at product owners (a few "quotes" mostly), the code becomes an executable and self-describing requirements document. The definitions within the actual unit test of the application along with the nature of the architecture and the domain model makes these concepts a sound framework.