Search Results for "model based testing tool" - Page 3
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
CloudMIG Xpress
Find the best suited cloud provider and deployment for your software
To reduce resource over and under-provisioning, software systems can be migrated to IaaS and PaaS-based cloud environments. However, aligning and optimizing existing software systems for a cloud computing foundation often involves substantial reengineering activities or at least an elaborated configuration during the migration. There exist various challenges that have to be addressed, for example, systematically comparing cloud environment candidates, checking the conformance with... -
2
Sahi - Web Test Automation Tool
Sahi is a web automation testing tool focused on testers
Sahi is an open source test automation tool for automating web applications. It is a tester friendly tool with recorders and object spy and simple scripting. Sahi Pro, the commercial version, is an Enterprise Grade Test Automation Tool that is simple to use and easy to learn. For over a decade now Sahi Pro has helped over 400 Enterprise clients solve everyday problems faced by their QA teams. Sahi Pro is a unique Test Automation tool that is tester-centric while being business-driven in... -
3
Halstead Metrics Tool
Software Metrics Analyzer for C,C++,Java Programs
Some software measures are still not widely used in industry, despite the fact that they were defined many years ago, and some additional insights might be gained by revisiting them today with the benefit of recent lessons learned about how to analyze their design. This project analyzes the design and definitions of Halstead’s metrics, the set of which is commonly referred to as ‘software science’. This analysis is based on a measurement analysis framework defined to structure, compare,... -
4
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. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
ModelJUnit extends JUnit to support model-based testing, with the models being written as Java classes. Model-based testing allows you to automatically generate test suites from a model of a system under test.
-
6
Edifatto
Tool for parsing, verifying, browsing and converting EDIFACT and X12
'Edifatto' is a tool for parsing, verifying and browsing EDI (EDIFACT and X12) documents. User interfaces are GUI, command line and Java API. In addition to the core feature set, EDI documents can be expported as and imported from XML documents allowing the integration into XML-based tools and workflows (like anonymization or XSLT-processing). -
7
CCKDM
Concern Mining
This is a tool for concern mining which uses a KDM model as input and the output is the same model with annotated concerns. It uses a Concern Library and a modified String Clustering K-means algorithm with Levenshtein metric to cluster the strings. -
8
GUITAR - A GUI Testing Framework
A model-based test automation framework for GUI applications
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. -
9
NTER
NTER Learning Management System
National Training and Education Resource. Full featured online Learning Management System. NTER allows educators to create classes in SCORM format without programming. Classes can contain images, video, tests and reports. Students can interact with instructors and other students. The NTER project was designed as a low cost tool for providing workforce education and training, with the expectation that the open source community would assume its operation. The Department of Energy (DOE) is... -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
10
Arcimboldo
Generator's generator (JSON templates plus automatic DSL generation)
...For example, a simple click in an application file allows a developer to see where the clicked symbol does come from. The workbench can be used as a JSON based generator, but a DSL based on Xtext and Xtend can be generated from the JSON object with a single click. The tool can be used to support model driven development. -
11
EDM Calibration Baseline Fitting
EDMFit is an adjustment tool to estimate EDM calibration parameters.
An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For uncertainties budgeting, EDMFit makes use of Monte-Carlo simulations and supports different distribution function: - Uniform distribution, - Triangular distribution and - Gaussian (normal) distribution. ... -
12
MBSE for MagicDraw
Plugin for MagicDraw to support MBSE with SysML
Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw. -
13
ThreadPoolTester
Performance Testing Tool For Thread Pool Systems
ThreadPoolTester is a performance testing and comparison tool for java based Thread Pools. -
14
S2O
Converting IBM SPSS files to CDISC ODM
This tool can be used to convert data collections based on IBM SPSS Statistics to the data standard for definition and exchange of clinical trials: CDISC ODM (Operational Data Model). Possible use-cases: - A project is running out of funding and scientific data collection should be performed in free available/open-source data capture systems - Advantages of reliable EDC systems like: Data security (role/right management), backup infrastructure, support of the entire clinical trial lifecycle, traceability of data (who has when entered what data or changed to what value with what reason) and compliant to regulatory requirements... -
15
The concept behind DataWoo is to create a Spring-based architecture that allows developers to jump-start their coding efforts by providing a hardened and secure foundation when developing new systems; it can also be used as a reference for incorporating new technologies into existing systems. DataWoo is meant to be a research and development platform that can be extended into just about any enterprise-level web application. The architecture will be developed in three phases: 1. Basic...
-
16
-
17
Korat2015
Enhanced Korat supports GUI, FSM, JUNG and JSON.
Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs. Please see http://korat.sourceforge.net/index.html for more information on the Korat application. Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has... -
18
Agilefant
The scalable open source tool for lean and agile project management
Agilefant is a simple but powerful web based tool for lean and agile project management. It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio management. ... -
19
gametes
Generate complex SNP models and heterogeneous datasets
Genetic Architecture Model Emulator for Testing and Evaluating Software (GAMETES) is an algorithm for the generation of complex single nucleotide polymorphism (SNP) models for simulated association studies. GAMETES is designed to generate epistatic models which we refer to as pure and strict, that constitute the worst-case in terms of detecting disease associations, since such associations may only be observed if all n-loci are included in the disease model. ... -
20
Jeuron
Jeuron Application Platform
The Jeuron Application Platform is a java based open source project released in December 2012 with the goal of providing a lightweight framework to assemble software components that would support the requirements of multiple projects and deployment scenarios while also providing an environment for testing and debugging. The platform is comprised of a set of packages which provide transport, messaging, configuration, and execution services designed to create a configurable, scalable, and distributed application environment. ... -
21
Cobertura is a free Java tool that calculates the percentage of code accessed by tests. It can be used to identify which parts of your Java program are lacking test coverage. It is based on jcoverage.
-
22
MoccaCPU
Java based CPU stress testing tool
MoccaCPU is a CPU stress testing tool written in Java. It uses the Monte-Carlo-Algorithm to calculate approximate values of π (Pi) during the test. Mutiple threads can be started to use the full capacity of all given CPU cores. -
23
Autodrive
Drives your automation lifecircle gathering information, test & deploy
Autodrive is written to automate tasks within a large soa installation, ranging from gathering information to a metadata repository, over testing software solutions, and deploying prebuild software artifacts. -
24
JUnit Execution & Report Generation Tool
Runs JUnit Test cases and generate HTML report, keeps past run history
This tool pulls all JUnit testcases from the class path and run them all. After completion of test case execution it populates the result in database tables. A report tool fetch the result data from database and produce an HTML report. Highlights of this tool - No coding effort is required from developer to integrate existing JUnit test cases. They just need to put their test case folder to the class path - Since it keep the test result data in a database, it can keep history of... -
25
Graphic Selenium Testing Tool
A graphical, cross-browser, easy and Selenium-based testing tool
Graphic Selenium Testing Tool (GSTT) is a software application to define, manage and execute web testing projects easily, visually and through the most popular web testing tool: Selenium. Each web testing project consists in many test cases. Each one represents a set of actions over a web page. For example, to search a product in a web online store or to fill and send a register form in a website. With GSTT users can define these actions on the web browser directly. This activity can also...
