Search Results for "model based testing tool"
Sort By:
28 programs for "model based testing tool" with 2 filters applied:
-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Never Get Blocked Again | Enterprise Web ScrapingGet unrestricted access to public web data with our ethically-sourced proxy network. Automated session management and advanced unblocking handle the hard parts. Scale from 1 to 1M requests with zero blocks. Built for developers with ready-to-use APIs, serverless functions, and complete documentation. Used by 20,000+ companies including Fortune 500s. SOC2 and GDPR compliant.
-
1
VoIP monitor
VoIP SIP and SKINNY quality analyzer and packet / audio recording tool
VoIPmonitor is open source network packet sniffer with commercial frontend for SIP SKINNY MGCP RTP and RTCP VoIP protocols running on linux. VoIPmonitor is designed to analyze quality of VoIP call based on network parameters - delay variation and packet loss according to ITU-T G.107 E-model which predicts quality on MOS scale. Calls with all relevant statistics are saved to MySQL or ODBC database. Optionally each call can be saved to pcap file with either only SIP / SKINNY protocol or SIP/RTP... -
2
ION-DTN
Delay-Tolerant Networking suitable for spacecraft and ground
2/17/2024 * Official distribution site for ION and ION-core has moved to GitHub: https://github.com/nasa-jpl/ION-DTN https://github.com/nasa-jpl/ion-core * ION documentation: https://nasa-jpl.github.io/ION-DTN/ * This site will continue to host ION 4.1.2 and all earlier releases. ============================= ION development is managed by the Jet Propulsion Lab; regression testing and code management are provided by Ohio University. The Interplanetary Overlay Network (ION... -
3
Prime95
Precision CPU stress testing and benchmarking
Prime95 is a popular software tool used primarily for stress testing and benchmarking computer processors by running intense calculations based on the Mersenne prime search algorithm. This rigorous testing helps users gauge system stability and detect potential issues, particularly useful for overclockers, hardware testers, and enthusiasts aiming for optimal CPU performance. -
4
Loggifier
A tool that inserts code into Java class files for logging
A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging. -
Red Hat Ansible Automation Platform on Microsoft AzureDeploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
5
Kieker
Software Monitoring Framework
Kieker is a framework for continuous monitoring and dynamic analysis of distributed software systems. Being designed for continuous operation, it induces only a low overhead. The TraceAnalysis tool allows to analyze and visualize trace information. -
6
EECluster
Tool for energy-efficient resource management in HPC clusters
EECluster is software tool for managing the energy-efficient allocation of the cluster resources. EECluster uses a Hybrid Genetic Fuzzy System as the decision-making mechanism that elicits part of its rule base dependent on the cluster workload scenario, delivering good compliance with the administrator preferences. In the latest version, we leverage a more sophisticated and exhaustive model that covers a wider range of environmental aspects and balances service quality and power consumption... -
7
MotOrBAC
An OrBAC policy editor
MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model. -
8
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step... -
9
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance... -
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
10
r4st
A database rapid application development tool
The r4st ("Our Forest") project is a set of tools to assist with the rapid development of a database application. It uses shell scripts to drop/add Postgresql database tables/views with data loaded from sql and csv files. This process allows users to apply changes then re-build the system. It is essentially a customizable database regression system. The base schema and data module represent a plant database intended for educational and scientific usage. -
11
E-Mail monitoring, benchmarking and load testing tool with integrated web UI.
-
12
T-Plan Robot - GUI Test Automation
Image based Test Automation tool (Java) - Test ANYthing, ANYwhere
... on and automates all major systems e.g. Windows, Linux and Unix, plus mobile platforms, such as IOS and Android. The product has the same functionality, look and feel regardless of OS, and your scripts are completely transferable between platforms. Utilising remote desktop technologies, together with image based testing principles, T-Plan Robot provides a human-like approach to software testing from the end-user GUI perspective. Website: www.t-plan.com or Contact us at sales@t-plan.com -
13
Turm
The *nix remote manager
Web-GUI and user-extensible command library for managing applications and services remotely. The primary goal is to create a system that can manage: - LXC Containers - Libvirt virtual networks - OpenVPN networks - Reverse proxies for IPv4 - IPv6 networking - Web-Hosting applications - Content Management System's - Simple configuration commands and routines The end game is an administrator tool that can manage even a complex cloud-computing-like system as a hybrid virtual... -
14
VNC for use with the BrowserMob Selenium JavaScript Validator. This tool is made available for users of BrowserMob FREE Website Monitoring and Load Testing. The BrowserMob Local Validation Service can be downloaded from https://browsermob.com/tools.
-
15
Bromine is an open source QA tool that uses selenium RC as its testing engine. It provides project management, OS/browser specification, test-case creation as well as user management. Check out our screencasts
-
16
A log player for "The Fourth Coming" ("T4C", http://www.the4thcoming.com). Given a log-file, this tool will replay a T4C game you've played before. It will have built-in functionnalities like : merging log files together, searching and cleaning
-
17
a java based monitoring tool,logs all the user actions and errors with runtime data, displays execution performance and executed method lines. It doesnt modifiy class source files and no need for coding, just put it in your class path and see the mir
-
18
ScaleUp is a monitoring tool, which produces report based on configured text files and keywords (such as exceptions). It is very useful to monitor log in production and testing environments.
-
19
-
20
This command-line tool will help people who want to compare 2 csv-like files, and get a detailed report on which rows and fields differ between both files. An awk-based version and Perl Version is currently available.
-
21
GliBench SMP is an SMP enabled benchmark for testing you computers performance. It is a rewrite of my tool CliBench which is quite known in the Windows world. It is based on GTK/Gnome which should make it simple to port to other OS.
-
22
An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.
-
23
RealmForge (now Visual3D Game Engine)
1st 3D game engine built in C# for .NET, Visual3D Engine's predecessor
The first 3D game engine built in C# for .NET, predecessor to the Visual3D Game Engine (https://www.poweraccess.net/visual3d-game-engine), an All-in-One Game Development Tool for Next-Gen 3D Games, MMOs, Simulations and Virtual Worlds powered by Microsoft XNA. -
24
QT based Linux web security tool that it is designed to test targets for weak passwords using crack, leech and URL testing functions. Plugins allow potentially any protocol (eg http, ftp) or server to be attacked, while remaining anonymous using proxys.
-
25
A simple Gtk2 and python based tool to perform simple tasks (installing, replacing, testing ...) to setup your application. It is controled by an XMLFile containing the tasks to do.