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.
...
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!
Full-stack observability with actually useful AI | Grafana Cloud
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.
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads.
Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes.
Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...
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
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 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.
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 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.
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.
nuf-fuzzer is a powerfull browser fuzzer based on mangleme fuzzer concept. It will be possible to fuzz html tags, css tags javascript functions and DOM objects.
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.
This is Rohin Adalja's Web Browser. IT IS NOT WORKING YET. It is currently in BETA stage and is not yet set or even close to other browsers like Mozilla Firefox, but soon enough, it will be. I will host future releases here. Created and maintained by Ro
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.
Watij (pronounced wattage) stands for Web Application Testing in Java. Based on the simplicity of Watir and enhanced by the power of Java, Watij automates funtional testing of web applications through the real browser http://groups.google.com/group/watij
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.