Search Results for "model based testing tool"

OSTree is a tool that combines a Git-like model for managing bootable, immutable filesystem trees with a deployment mechanism for Linux-based operating systems. It enables atomic upgrades and rollbacks, ensuring system integrity and consistency. OSTree is particularly useful for scenarios where reliable and reproducible system deployments are critical. ​

cpu_features is a cross-platform C library developed by Google that provides a simple and efficient way to detect available CPU features at runtime across a wide range of architectures and operating systems. It enables applications to determine which instruction sets (such as SSE, AVX, or NEON) are supported on the host machine, allowing developers to optimize performance dynamically. The library supports numerous architectures—including x86, ARM, AArch64, MIPS, POWER, RISCV, LoongArch, and...

QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. ...

Real-ESRGAN ncnn Vulkan is an optimized, cross-platform implementation of Real-ESRGAN using the ncnn neural network inference engine and Vulkan for hardware acceleration. Unlike the standard PyTorch-based Real-ESRGAN code, this variant is written in C/C++ and designed to run efficiently on many platforms (including Windows, Linux, and possibly Android) without requiring heavy frameworks like CUDA or Python. It provides command-line tools for upscaling images with selected models, allowing...

sysbench is a scriptable multi-threaded benchmark tool based on LuaJIT. It is most frequently used for database benchmarks, but can also be used to create arbitrarily complex workloads that do not involve a database server. extensive statistics about rate and latency is available, including latency percentiles and histograms. Low overhead even with thousands of concurrent threads. sysbench is capable of generating and tracking hundreds of millions of events per second. New benchmarks can be...

httest is a script based tool for testing and benchmarking web applications, web servers, proxy servers and web browsers. httest can emulate clients and servers in the same test script, very useful for testing proxys.

...The framework can run stand-alone on Windows, Linux, and Mac as well as integrate the use of IBM Rational Functional Tester, IBM Rational Robot, Smart Bear/AutomatedQA Test Complete, Apple XCode UIAutomation, Android SDK Automaton, Thoughtworks Selenium, and several other tools. Among other features, it provides advanced support of language localization testing (NLS) allowing the same tests to work for many different languages or test configurations. With various different tool configurations SAFS can be used to test Java, Web/Html, Flex, .Net, WPF, Win, iOS, and Android domains natively. And with advanced Image-Based Testing support built-in SAFS can be used to test virtually anything, anywhere.

This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing.

Model driven code generation can improve coding standards, speed, quality of development and reduce your costs. From my experience generating code from XML using XSLT is one of the best and fastest solutions. This is just the base of the framework presenting the idea, any code template can be implemented upon request. Some sample generators are present for SQL / PLSQL / C# / AnsiC / Java The main target is to generate DTO/BDO/POJO objects based on the database definitions in...

Ingres Dynamic Playback is a tool to play back prerecorded SQL statements to do functional and stress testing on the Ingres Database. More information here: http://community.ingres.com/wiki/Dynamic_Playback

The sandbox libraries (libsandbox & pysandbox) are an open-source suite of software components for C/C++ and Python developers to create automated profiling tools and watchdog programs. The API's are designed for executing and instrumenting simple (single process) tasks, featuring policy-based behavioral auditing, resource quota, and statistics collecting. The sandbox libraries were originally designed and utilized as the core security module of a full-fledged online judge system for ACM/ICPC training. They have since then evolved into a general-purpose tool for binary program testing, profiling, and security restriction. ...

A powerful C-written web application testing and load generating tool. It uses HTTP, FTP and TLS/SSL stacks, simulating tens of thousand users / clients each with own IP-address. The goal is to provide an alternative to Spirent Avalanche and Ixia IxLoad.

SMART (Shape Matching Algorithm Research Tool) enables you to implement 2D and 3D shape matching algorithms as plugins. Plugins can either be implemented in Java or as native plugins, i.e. in C/C++.

The VII is intended to be used in firewall/IPS testing and stressing testing by simulate IP/TCP/ARP/... packets. VII is a c script based tool which can send any kinds of customized packets. It support random protocol/port/ip.

rjudge is a judge system for the Olympiad in Informatics. It can be also used as a problem test tool in the programming contest and daily practice. It provides many security features to ensure the smooth implement of judgement.

Dynamic Probe Class Library (DPCL) is an object based C++ class library that provides the necessary infrastructure to allow tool developers and sophisticated tool users to build parallel and serial tools through technology called dynamic instrumentation.

This tool allows to compute LOLIMOT models. LOLIMOT models are also called neuro-fuzzy models or fast neural network models. This tool can export the model into C, C++, Matlab.

"Better Extension for RPM" is a buildroot installation tool compatible with YUM written in C. It is fast and system resources friendly. The main audience are users, developers or administrators of Red Hat/Fedora Core Linux operating systems.

This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.

Test Studio is the suit for testers. It manages test schedule, test cases, and track the bugs. And one of the big purpose of this suit is to automate software tesing. Main focus of automation tool is web site testing at this moment.