Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
The Revolver framework is a framework that attaches importance in the way of making M layer of the MVC model.The Revolver framework is made by the BLI design pattern.Developers get plainly and high maintainability.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
JMeter+ is a set of custom test elements for JMeter, the testing tool developed as a subproject of the Apache Jakarta project. JMeter+ contains additional control elements such as enhanced loops, XML data files and try-catch-finally constructs.
Log4JUnit aims to help the testing (using JUnit assertions and test cases) of legacy code that gives a train on the log files it creates, and is, appart from that not very testable (due to missing sources, not testable design, etc).
WebappServiceFixture is a fixture library for SOA or distributed Web applications testing. It generates REST or xml requests, invoking web application calls, such as SOAP/REST/Simple Xml, and verify response.
MQ Probe is a simple Java tool for testing WebSphere MQ applications through WMQ JMS API. It allows reading and putting messages to queues with parameters like JMSCorrelationId. It's user interface is much simple to work with another similar solutions
AgilTestList is a small web tool for specifiy test cases like in TestLink (http://testlink.sourceforge.net/docs/testLink.php) but with maven integration for agil developing.
Provides possibility to adapt the interface of tested class. Enables to set a state of the class while writing tests by accessing the members that are not usually accessible.
This tool will be a cross-platform harness for distributed performance evaluation and test execution. The tool should offer a robust test execution service as well as management of input parameters, results and regression testing.
SafeCommitter is a plugin for eclipse which intends to increase crew productivity by assuring that no commit can be made without running the corresponding tests resources.