XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques:
1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
2. Extended Static Checking (ESC). Using ESC/Java2.
3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
A simple program evaluating algorithms from sources files using well known and established tools.
The goal is to provide nice and clean reports on everything related to algorithms and loops, so minor and / or major changes during the final phase of a project can be easily compared without additional effort, or testing environments.
This is a project for a research-paper during my studies, and make no claims regarding it's on completion or usefulness at this time.
Thank you.
With dp4j.jar in your project classpath you directly access private members in your tests, w/o Reflection API boilerplate code; It also generates Design Patterns code and compile-time validates implementations. And Compiler & Co work for you again!
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.
JBee is a testing framework oriented behavior-driven development, that uses the junit as a basis for using. JBee you need the junit 4 or higher in your classpath. To use JBee is very easy.
Agile Test is a web-based test case management system with easy-to-use interface. It is designed to fit the team management needs regarding user stories, feature requirements and test cases in scrum framework. Online Demo: http://agiletest.cc/demo
Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update
This tool compares Value Change Dump files, which is useful for regression testing of Verilog models. VCD files are dumpfiles generated by EDA logic simulation tools.
This is a maven plugin that allows to start, stop, resume, revert to snapshot a Virtual Machine hosted by VMWare Server. It can be useful for test phase.
Simple test runner for QTestLib tests. Allows to run multiple different tests, provides interface similar to some XUnit applications, can be used with TDD (sort of). Consists of two different applications: GUI and console test runners.
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.
This project provides useful tools/plugins for simplifying the development with Eclipse. Our first tool is a log file viewer plugin for Eclipse that reads JavaUtil JDK logs from socket or file. Multiple logs can be viewed at the same time.
Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
Test Tool Interfaces is an initiative to standardize the interfaces between Test Tools, making it easier for Test Tools to cooporate. Test Tools can really focus on their intended task and not implement a GUI, an Executor, or a Result Reporter.
Cathcart is a collection of Apache Ant tasks and a Maven plugin for checking trends in software metrics (generated by junit, jmeter, clover, pmd, findbugs, cobertura etc). Use Cathcart to ensure continuous improvement in software quality.
A collection of reporting utilities specific to The Grinder test tool. The tools consist of a reporting database and graphing utilites based upon jyplot and jFreechart written in jython.
THIS PROJECT HAS NOW MOVED TO GITHUB:
https://github.com/arenhag/BizUnitCompare
BizUnitCompare enables you to easily compare the actual result of your integrations with an expected result. It differs from the XPathValidationStep in that it allows you to define what to exclude rather than have to define everything to include.
Buildbot is a system to automate the compile/test cycle required by most software projects. Buildbot is no longer hosted on SourceForge. See http://buildbot.net for links and documentation, and http://github.com/buildbot for the source.
A VM containing a turn-key solution for continuous integration with source code control, build management, automated testing, security analysis, defect tracking, and project management, all using open source tools.
GTT is a GUI testing tool for for Java swing-based applications. GTT offers capture and replay functionalities. In addition, GTT can be applied in a test-driven development style. This is not possible for other CR-based tools.
The Linux Kernel Network Conformance Test Suite project is an implementation of the test tools for network protocols in the Linux kernel. The primary goal of this project is to let test of network easily.