Search Results for "model based testing tool" - Page 5
Sort By:
Showing 232 open source projects for "model based testing tool"
View related business solutions-
Our Free Plans just got better! | Auth0You 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 security. Auth0 now, thank yourself later.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
1
E-Mail monitoring, benchmarking and load testing tool with integrated web UI.
-
2
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. -
3
MSTest TRX to HTML Viewer
MSTest TRX to HTML is open source reporting tool to converts Visual St
MSTest TRX to HTML Viewer is open source trx to html viewer reporting tool to converts Visual Studio Test Result to HTML drilldown to testing reports. It’s provide more cleans and neat UI to represent your test result into several format like Tabular, Chart, Hierarchy etc. For More detail you can visit http://saffroze.com/trx-to-html/ -
4
This software provides a fast way to migrate table or datasets between 2 MVS and Z/OS Mainframes by generating and submitting jobs from a Windows platform.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
VaMoLa Validator is a tool to validate accessibility according to Italian Law - based on AChecker
-
6
jmint
jMINT - Java Mutation for Integration Testing
jMINT is a integration fault injection tool which identifies data exchanges across classes and inject faults along those path. It is primarily based on the idea of program analysis and code mutation. The cross boundary data exchanges are identified by performing data flow analysis using java byte code analysis and transformation framework-soot. Mutant injection is also done via the soot framework. jMINT tool can be used to measure the effectiveness of integration test suites. -
7
VaMoLa Monitor is a tool to monitorize sites accessibility
-
8
The purpose of the project is summarising effort from a number of analytic libraries, adding interactive web-based user interface and making a free open source solution for risk analytics and stress testing. Feb 8, 2012 Paul Glasserman's Importance Sampling and Tail Approximations as well as plain Monte Carlo have been implemented for for the widely used normal copula model of portfolio credit risk. The package includes source code, examples, spreadsheet with results and references to the papers.
-
9
T-Plan Robot - GUI Test Automation
Image based Test Automation tool (Java) - Test ANYthing, ANYwhere
This is the open source project of the now greatly enhanced Enterprise solution which has professional support, is faster, smarter and has lots more functionality. T-Plan Robot (formerly VNCRobot), is the most flexible and universal black box automated testing tools on the market. This project is the former open source version, and is now superseded by T-Plan Robot Enterprise. Robot is platform independent (Java), and thus performs well in situations where other tools may fail. Robot... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
ESpin
SPIN-based Eclipse Model Checking Plugin
ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN. -
11
A little tool writen in java to trace the execution plan for a given database query. It works with Oracle 10g or higher and uses the JGoodies look and feel. You need to provide the Oracle.com JDBC-Driver and the JGoodies.org looks look and feel. Source is now located at Github https://github.com/mgeiss/oraxtra.
-
12
Automated UI Tester For ActionScript
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
Automated UI Tester for Adobe® ActionScript® is a pure ActionScript 3.0 SWF automation testing tool with the capability of recording user actions on an SWF file and playing them back with high fidelity. The API for this tool is provided with name “Genie” (Adobe internal code name for the tool). Some major features of this tool are • No instrumentation or application manipulation is required. • Automate pure ActionScript 3.0 SWF -
13
Java EE Two-Phase Commit Testkit
A Portable Thin Client & Server Pair for XA / 2PC Testing
A portable testing tool to validate the configuration of XA and two-phase commit for Java EE 6 Containers. The tool permits the stress-testing, performance characterization and correct transaction semantics of distributed transactions across Three XA resource managers by Exception Injection. The thin-client can be run from the command-line or inside the IDE. The server side component includes EJB packaging and some simple Web servlet support for retrieving diagnostic and performance data... -
14
This is a stress tool for Oracle Database, which can set the SQL/function/procedure you want to be executed, and set the stress threads number and frequency. It will finally report the stress test result.
-
15
-
16
Stanzapper
A Web based XMPP utility to check communication with XMPP server.
Stanzapper 1.1 Released.. Stanzapper is also available @ http://stanzapper.appspot.com/ Stanzapper is a Web based utility built on HTML and JavaScript that allows creating a session with XMPP server on BOSH and send, receive XMPP stanzas. It's a solution to easily build XMPP stanzas and check the responses of server. This utility can be used to check various XMPP scenarios and use-cases at protocol level. It can be used to test other XMPP applications as well. It's also an... -
17
ats - Automated Testing System
Object oriented Python-based tool for test automation.
The Automated Testing System (ATS) is a Python-based tool for automating the running of tests of an application. ATS can test any program that can signal success or failure via its exit status. ATS is an object-oriented Python program that provides abstractions for user defined tests (usually specified with an executable and command line and / or an input file). -
18
httest Buddy
Editor and Java-Wrapper for httest
An executable Jar file contains both a Swing-based editor with syntax-highlighting, online help, example generator etc. for the "httest" tool (https://sourceforge.net/projects/htt/), as well as a Java API wrapper for writing JUnit tests with "httest". -
19
Genedator
Generator of sample data.
Need sample data for your database? Genedator is a tool that helps you to generate data for your database. Set of dynamically loaded generators allows you generating any combination of data regarding columns type and purpose. -
20
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.
-
21
Lemonite is an Open Source tool designed to automate J2EE unit test development and management. It's entirely implemented in Java and makes it very easy to write and run unit tests for common J2EE business concepts (EJB, Servlets, etc...) and for Web Services too. Lemonite works as standalone Java application.
-
22
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++.
-
23
Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.
-
24
The csvdatamix project aims to randomize CSV input data files in order to conceal the original state of the data. Similar to data masking or data transformation. Also has mapping abilities to translate back to the original state of the data.
-
25
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.
