CppCondite is a contract directed testing framework for C++. A formally specified "contract" (and a little human help) can be used to generate tests (similar to unit tests) verifying that a component implements the contract correctly.
Writing Testbenches for FPGA/ASIC design is always a very fastidious and boring task.
This project helps any FPGA/ASIC designer by providing a full RTL test environment with C support.
TUT performs all required tasks that one can expect from unit test framework, but at the same time is small and robust (about 2.5k SLOC with 98% self-test coverage). Deploying TUT is very fast, since it is a header-only library.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
This project shows how to make a device that, through the PC USB interface, allows data acquisition from the peripherals of a microcontroller and managing devices TWI or I2C. It can be used on Linux and Windows without any additional driver.
Auxiliary tools for Boost uBLAS library. Has several strategy-driven functors for:
1) random-generating of vectors & matrices
2) Nice & suitable stream output of them
3) Equality-compare capacibility for vectors and matrices and approximate comparing.
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
Please note the project has moved to GitHub, see http://benilovj.github.com/dbfit
DbFit is a set of fixtures which enables FIT/FitNesse tests to execute directly against a database, enabling developers to manipulate database objects in a relational form, making database TDD much easier then with xUnit-style tools.
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
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.
ebizzy is designed to generate a workload resembling common web
application server workloads. It is highly threaded, has a large
in-memory working set, and allocates and deallocates memory
frequently.
STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing
A framework for abstract access to CM / SCM / SCCM / ALM systems (Bugzilla, ClearCase, Mantis, StarTeam, etc.). The project offers one SDK for Bugzilla, ClearCase, Mantis, StarTeam, etc.
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
Jdptool is a debug and profiler tool which based on JPDA; It provide both swing based and browser based GUI. It has sophisticated debugger without user interfere. It also provide profiler to memory usage and threads with numerous new feature
A easy to use memory debugger lib for C++ projects. Tracks and logs (if desired) memory allocations, deallocations, memory leaks. A support template class is also provided to check for memory invasions in dynamically allocated memory using operator [].
NSqlUnit is an NUnit extension that enables testing of databases from within NUnit . If you don't know what unit-testing is (or don't use it), you aren't producing good code, and database interactions are no exception.
DbgProfiler provides an easy mechanism for profiling certain hotspots of an application by just adding a few macros to the C++ source code. A hierarchy of the callers and callees is generated automatically and allows a detailed analysis of the results.