Search Results for "model based testing tool" - Page 4
Sort By:
Showing 238 open source projects for "model based testing tool"
View related business solutions-
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.
-
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.
-
1
ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.
-
2
GenoCAD is a CAD software for synthetic biology. This application provides a web-based tool to design plasmids, artificial gene networks, and other synthetic genetic systems composed of standard genetic parts. It includes a parts management system, a rule-based design tool, and a simulation engine. This project has morphed into a SaaS model. The open source code is no longer maintained.
-
3
openhealthpractice
A simulation environment for physiology models simulation
The OpenHealhPractice Simulation Environment is a web framework intended to concurrently manage and launch generalized models. Models can be uploaded by the users and also can be connected to other models in order to simulate them in a row. These simulations are stored and can be reviewed or deleted at anytime. The Graphical Visualization Environment (GVE) provides the graphical visualization of the simulation results. Results can also be exported to different formats (xls, txt or... -
4
IQuant
A pipeline for quantitative proteomics based upon isobaric tags
IQuant is an automated pipeline for quantitative proteomics based upon isobaric tags. It integrates post-processing tool of protein identification and advanced statistical algorithms to process the MS/MS signals generated from the peptides labeled by isobaric tags for quantification. IQuant can run from a graphical user interface (GUI) as well as a command-line interface and work with both Windows and Linux system. -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
Squash TM
Squash TM is an open source tool for test repositories management.
Squash TM is the test repository manager found in the open source Squash toolkit. It enables the management of requirements, test cases and campaigns execution in a multiproject context. Based on an ergonomic and intuitive interface, Squash is also "full web" making it an easy tool to deploy. Squash TM is the result of a new development in Java (OSGi, Spring 3, Spring MVC, Hibernate, JasperReport, Jquery). For bugs management, Squash TM interfaces natively with Mantis. Thanks to its... -
6
ReBAC Java Library
ReBAC library for java development
Java library for Relationship Based Access Control (ReBAC). Provides a general framework creating ReBAC policies and model checking. Also provides tools for testing. Obtain latest version as a Maven Dependency: <dependency> <groupId>ca.ucalgary.ispia</groupId> <artifactId>rebac</artifactId> <version>0.1.7</version> </dependency> -
7
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. ... -
8
Spreadsheet-based BP Tester
Flexible and powerful spreadsheet-based business process testing tool
Flexible and powerful spreadsheet-based tool able to perform functional testing of service-oriented business processes. The software includes a plugin for Signavio process modeler editor, a Google Sheet template and a web-service process emulator engine. -
9
Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc. Designed to be v2.0 to OSRMT's v1.5. The architecture will change (Grails) and move to being entirely web-based, but the driving force behind it is to retain and satisfy OSRMT users.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
TestMax
Frontend & Backend Automation Tool
TestMax is integrated Software Testing framework which can be used to test distributed system by developing rapid test cases using XML configuration in front and backend that talks to each other within the test framework. This tool can be used for Database, webservice, API, Junit, TestNg and Frontend including performance test. The main advantage of this TestMax architecture is separating test data configuration from test case run time environment. It reduces the maintenance of test cases... -
11
Java Regular Expression Tester Tool
Tool that allows to test a String based on a regular expression
This is a Java program designed for helping programmers to test text strings based on user input made Java regular expressions. -
12
PoSecCo ModelMaintainer
The ModelMaintainer contains 4 tools needed to create the PoSecCo FSM.
The PoSecCo ModelMaintainer consists of 4 tools (CMDB Transformer, CrossLayerLink tool, ServiceProviderTemplate tool and StatusSetter tool) related to the automated model creation and population of the PoSecCo Functional System model. All tools were developed in the EU project PoSecCo (Policy and Security Configuration Management, www.posecco.eu). - The CMDBTransformer extracts information about the service provider’s landscape from the CMDB and creates instances of the Infrastructure... -
13
JetSet is a (meta) tool that lets your quickly create model tranformator tools for instances of a given source meta model. For XML to XML transformations you can also specify a target XML schema and JetSet makes sure that your output conforms to this.
-
14
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...
-
15
Madcow 2.0
Madcow 2.0 - Advanced Test Automation
Madcow Version 2.0 is the premier test automation tool designed to make your life easier. Developers love it. Testers can actually use it. Madcow is a domain specific language which helps to make it easier to test web browser based applications. You don't need to be a programmer to use it! Testers can write and organise their test cases the way the want to. It runs in the JVM as it is built using Groovy, and utilises the respected Webdriver framework. Check it out today! Please... -
16
Auto Summarization tool using java
Auto summarization provides a concise summary for a document.
Auto summarization provides a concise summary for a document. In this I present a Statistical approach to addressing the text generation problem in domain-independent, single-document summarization. My thesis Includes salton’s vector space model which divides the sentences into categories which can also be used for summarizing the contents in WebPages. The summarizer initially breaks the entire document into sentences based on the separators. The Second step is that the unnecessary... -
17
Dynamic Presentation Generator
DPG is a web CMS developed by the JAFU-Project
Dynamic Presentation Generator (DPG) is a web CMS developed by the JAFU project at the University of Bergen, Department of Informatics. DPG is built around the concept of presentation patterns. DPG follows the Model-View-Controller (MVC) software architecture pattern. This pattern isolates domain logic from the presentation, supporting modularity and separation of concerns of the components. DPG is built on Spring framework components, such as Spring MVC and Spring Security. Some features... -
18
showYourWorld
3D-viewer (laserscanning) based on lwjgl
syw is a tool to load and visualize 3D-models (.obj). Further, you are able to walk around in these 3D-models alone or with a friend (online). -
19
E-Mail monitoring, benchmarking and load testing tool with integrated web UI.
-
20
Tool for testing Web Map Services. It allows to run general random tests of WMS and test based on user-like behaviour.
-
21
HareDB Data Model Management
A GUI tool for converting schema and migrating data from RDB to HBase
Denormalization is an important step while converting RDB data to HBase. HareDB Data Model Management is a GUI tool for it as above. This tool provides an merge table function, it can help you merge tables which have relationships in RDB. It provides not only an schama redesigner but also an data loader from RDB to HBase. This tool can reduce time cost of migration project which is from RDB to HBase. -
22
SQLSentinel
OpenSource tool for sql injection security testing
SQLSentinel is an opensource tool that automates the process of finding the sql injection on a website. SQLSentinel includes a spider web and sql errors finder. You give in input a site and SQLSentinel crawls and try to exploit parameters validation error for you. When job is finished, it can generate a pdf report which contains the url vuln found and the url crawled. Please remember that SQLSentinel is not an exploiting tool. It can only finds url Vulnerabilities SQLSentinel... -
23
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.
-
24
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. -
25
AntolliCrippi Java
Simple and easy to use Java application to encrypt your files
AntolliCrippi Java is a simple, easy to use and multi-language tool to encrypt your files. AntolliCrippi Java is a Password Based encryptor tool written in Java. Thanks to a very simple user interface allows you to encrypt/decrypt your files in a few second. It also provide folder encryption, by converting them into a zip file before. It's available in three languages Italian, English and Spanish.
