Search Results for "c programming framework" - Page 2

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.

Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.

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.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

libeasycgi is designed to be an easy to use and ASP-like library for CGI programming. It will provide an interface for CGI programming in an ASP style and tries to go beyond this. Also, it is designed to be easy for automated test on CGI programs.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...

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

OpenALM is an open-source application lifecycle management system. It is intended to be a framework to implement software development team's process. It also intends to provide an API to plug-in with version control system.

S.T.R.E.S.S.(Stress Testing and Reverse Engineering for System Security) is a framework for functional testing, conventional testing and security assessment about network software and firmware device.