Search Results for "model based testing tool" - Page 5
Sort By:
Showing 238 open source projects for "model based testing tool"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
$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.
-
1
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... -
2
CERIF-TG-Toolbox
Tool to produce the CERIF deliverables (XML Schemas and XML Semantics)
The CERIF TG Toolbox facilitates maintenance of the Common European Research Information Format (CERIF) - the world's most advanced standard for representing information about research. CERIF is maintained euroCRIS (http://www.eurocris.org/), a not-for-profit association of research information management professionals. The CERIF TG Toolbox generates the CERIF-XML Schemas from the database model (maintained as the *.dmx file of TOAD Data Modeler), both original style (one namespace/schema... -
3
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. -
4
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.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
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 -
6
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... -
7
BPMN extension for Cloud computing
java project for modifying jBPM models into cloud aware models
Program based on created BPMN 2.0 Cloud extension. It reads a model *.bpmn, which was created using jBPM BPMN 2.0 modeling tool. Then user is able to define a sensitivity of data elements. After that an Ontology is created and filled in with model elements. Special logical rules process the data. User is able to additionally define the security level. -
8
-
9
Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
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". -
11
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. -
12
Simple SQL query tool that allows to connect to MSSQL and MySQL servers and MS Access files. A form of linking queries is possible and showing result in a map or in a chart is build in.
-
13
Extensions to NModel enabling model-based testing of systems implemented in Java or other languages.
-
14
Global Epidemic Simulator
A platform for modelling influenza-like epidemics and containment
The Global Epidemic Simulator is a platform for modelling directly transmissible human diseases such as influenza, and testing intervention policies that may reduce the duration or severity of an outbreak of such a disease. Building on previous work, this model is spatial and individual-based, using various geographical and demographic data sources to place households at absolute locations, populated with individuals of specific ages who each attend schools or workplaces situated in their vicinity. ... -
15
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.
-
16
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++.
-
17
An open platform for Online Filing of Intellectual Property Documents built by an open community of tool providers, operating under an open source model, with a license that grants royalty free and world wide redistribution rights.
-
18
Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
-
19
The creation of quantitative SBML models is a time-intensive manual process. Saint, an automated SBML annotation integration tool, aids the modeller and reduces development time by providing information about a model in an easy-to-use interface.
-
20
Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.
-
21
-
22
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.
-
23
A tool for application of the QUPER model to quality requirements. Developed as a part in a master's thesis in computer sciences.
-
24
This tool supports the implementation of Checklist using objective criteria to evaluate any characteristic. The Spider-CL was developed in the Software Quality context, but it can be used in any one.
-
25
TextMarker is now developed and hosted at Apache UIMA (http://uima.apache.org/textmarker.html). TextMarker is a UIMA-based tool for information extraction and more. The full featured editor of the rule language and the build process of UIMA descriptors are complemented with components for visualization, explanation, testing and rule learning.
