Search Results for "test case generation"

Randon number generation & testing. The best suite of statistical tests for fast PRNGs anywhere. Multithreaded for speed, command line tools for automation, no upper limit on data size. Also, a variety of C++ pseudo-random number generators with well designed interfaces aimed at practical uses, not just research.

An open source software-defined Global Navigation Satellite Systems (GNSS) receiver written in C++ and based on the GNU Radio framework.

...Currently the platform incorporates MC models for the GE Advance, GE Discovery ST and Siemens mCT. More models are on the way. You can also access all the previously simulated datasets from the dev team to test your quantification pipeline (Files section in this page). This project is an open collaboration between IDIS (www.idisantiago.es), Qubiotech (www.qubiotech.es), and FGUMA (www.fguma.es).

The main purpose of this program is to provide functionality for extract hardcoded subtitles (hardsub) from video. It provides two main features: 1) Autodetection of frames with hardcoded text (hardsub) on video with saving info about timing positions. 2) Generation of cleared from background text images, which allows with usage of OCR programs (like FineReader, Subtitle Edit, Google Drive) to generate complete subtitles with original text and timing. For working of this program on Windows will be required "Microsoft Visual C++ Redistributable runtime libraries 2022": https://support.microsoft.com/en-us/help/2977003/the-latest-supported-visual-c-downloads Latest versions were built and tested on: Windows 10 x64, Ubuntu 20.04.5 LTS, openSUSE Leap 15.4, Arch Linux (EndeavourOS Cassini Nova 03-2023) For faster support in case of bug fixes please contact me in: https://vk.com/skosnits For donate: https://sourceforge.net/projects/videosubfinder/donate

The archive has been moved to https://ftp.gnu.org/gnu/gama/windows/ GNU Gama is a project dedicated to adjustment of geodetic networks. It is intended for use with traditional geodetic surveying which are still used and needed in special measurements (e.g., underground or high precision engineering measurements) . Qgama is a Qt based user interface for GNU Gama adjustment of geodetic networks in which XML input is complemented with a database. The most simple case is Sqlite3 file...

Visual Test Shell (VTS) is an application for testing the BACnet functionality of devices used in building automation systems.

TSPSG is intended to generate and solve Travelling Salesman Problem (TSP) tasks. It uses Branch and Bound method for solving. An input is a number of cities and a matrix of city-to-city travel prices. The matrix can be populated with random values in a given range (useful for generating tasks). The result is an optimal route, its price, step-by-step matrices of solving and solving graph. The task can be saved in internal binary format and opened later. The result can be printed or saved as...

A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.

RoboComp is a robotics framework providing a set of open-source, distributed, real-time robotic and artificial vision software components and the necessary tools to create and manage them.

This software and hardware system adapts your 92-95 Honda diagnostic port to an OBD II standard port, readable by any generic scan tool. In 1996 the federal government along with the state of California mandated that all cars be equipped with comprehensive emissions reduction equipment and a standardized emissions diagnostic system. Before this year, each independent vehicle manufacturer had its own proprietary, undocumented diagnostic interface. These interfaces provide essential...

...If you like, hate or simply use this software, if you find any bug or have any request, please do not hesitate to let me know through the services offered by the site that hosts the project or through my Facebook page (http://facebook.com/koalakoker). And (if you think it's the case) do not hesitate to recommend the program to your friends.

FPGAsm is a low-level alternative to verilog and VHDL. A near-instant 'assembler for FPGAs', this simple yet powerful language facilitates bottom-up design, layout and wiring of modules, and generation of .xdl output. With about 10 keywords to learn, you can start making circuits in minutes. Now you can focus on learning the ins and outs of the FPGA instead of complex tools and languages. Fast turnaround time and bottom-up approach invite exploration, experimentation, live circuit testing and physical test harness creation, radically changing the workflow. ...

TSL-TGE -- Test Specification Language-Test Generation Engine Specify independent and dependent factors in an XML file, TSL. Then TGE makes substitutions of generated combinations into a template file. For use in Factorial Test Design.

Tailorshop: Optimization based Analysis and data Generation tOol. Support tool for the computer test scenario "Tailorshop" that is the basis for many psychological studies. Data can be generated, visualized, and provided to optimization solvers.