Search Results for "code framework"

A subset of the TestCon project, ConAn builds on Roast to provide a testing framework for concurrent Java components. For more details on the development of ConAn and TestCon/Crom, see http://longbrothers.net/brad/papers/thesis.pdf

AceUnit (Advanced C and Embedded Unit): a comfortable C code unit test framework. AceUnit is JUnit 4.x style, easy, modular and flexible. AceUnit can be used in resource constraint environments, e.g. embedded software development.

DUnit is a framework of classes designed to support the Xtreme approach to software testing. This branch from the principal project, is for transform his visual interface to the new Firemonkey framework, know too as FMX. Current version is only for the old VCL framework. When project finish, it shall work for run unit test in Windows and Mac OS X.

jMINT is a integration fault injection tool which identifies data exchanges across classes and inject faults along those path. It is primarily based on the idea of program analysis and code mutation. The cross boundary data exchanges are identified by performing data flow analysis using java byte code analysis and transformation framework-soot. Mutant injection is also done via the soot framework. jMINT tool can be used to measure the effectiveness of integration test suites.

FITpro is built upon the Framework for Integrated Test (Fit). It provides integration with Eclipse and MS VS, and web UI. FITpro advanced features include code generation, suite support, and test to fixture links. See project's Wiki for more informatio

Orizon is a framework intended to provide tools and facilities to test java sources for security flaws. The main goal is to detect common threats as described in Owasp top 10 vulnerability document.

iValidator is a Java framework for automation of scenario and integration tests in complex environments. Features: automatic testing, reusability of unit tests, separation of code and data, Eclipse Plug-In, ANT tasks, support of all testing levels ...

Argus is a highly integrated Eclipse plug-in. The purpose of this plug-in is to add additional Errors and Warnings to the Eclipse Framework, assisting Java programmers to create bug free, high quality code.

Kelp is a source code annotation framework. Written in strict ISO C90 with support for Posix and Windows environments. Large file support. Supports both 32 and 64 bit platforms. Plugins for Vim and Eclipse are available.

QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.

Mutator (mutation code framework) allows to evaluate the quality of unit tests prepared for a Java software application.

MiniCppUnit another C++ port of the famous JUnit framework for unit testing. Unlike CppUnit, MiniCppUnit follows a minimalistic aproach: The basic features are the same but in only bout 500 lines of code! No library instalation is needed, etc.

The DBC framework uses reflection to inspect a type, it then generates source for a proxy object containing checks on predicates in attributes attached to members of the type. Proxy code is compiled into an in-mem assembly used to enforce DBC rules.

RUn (REBOL Unit) is a Unit Test Framework inspired from jUnit. It provides a way to develop TestCases and submit developped code in REBOL to their verification.

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.