Search Results for "java software .jar" - Page 13

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 fully automated database benchmark suite that prints tabular and graphic results for multiple tested disciplines, given JDBC database connections. Some free open source database engines are included.

A simple logging library. Simple to use and fairly small and expandable. Available for C++ and Java.

SMART (Shape Matching Algorithm Research Tool) enables you to implement 2D and 3D shape matching algorithms as plugins. Plugins can either be implemented in Java or as native plugins, i.e. in C/C++.

Lemonite is an Open Source tool designed to automate J2EE unit test development and management. It's entirely implemented in Java and makes it very easy to write and run unit tests for common J2EE business concepts (EJB, Servlets, etc...) and for Web Services too. Lemonite works as standalone Java application.

JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.

An extended java.awt.Robot (user emulation) class that implements various useful functionality, such as a friendlier sendKeys() function.

JPdfUnit integrates PDFBox as an PDF API with the JUnit framwork for the test of pdf documents so JPdfUnit is a high level api. Simple ready-to-use assertions help to compare the expected data to the concrete data of the pdf document. Please note that this project is not actively maintained at the moment.

Maveryx is an innovative Test Automation Framework for Java GUI-based applications. It eliminates the GUI Maps dependency by providing a new dynamic GUI objects handling and an expert system detecting and managing AUT changes and defects at runtime.

Java Assertions to Code (JAC) is the tool which is used to generate the code from contracts of the method in Java. COFOJA is used to write contracts and JDT is used to create abstract syntax tree for parsing and manipulation of Java file.

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!

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.

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...

The java library based on Mockito wich extends it with the ability to mock private/static/final methods, getting and setting the values for private fields and to substitute the date and time for testing purposes.

Imprimatur is a web application testing tool. The tests are described in a simple XML file. Along with the standard HTTP methods, Imprimatur handles authentication and file uploads. The responses can be validated using regular expressions.

Combination of FitNesse and Selenium, providing a domain specific langauge that allows none developers to write selenium tests in plain english that are executed through the Fitnesse framework. Support http://groups.google.com/group/fitnium

IISLogAnalyzer tool provides the features to extract,ananlyze and generate response time stats . This tool generates average 90th percentile,95th percentile and 99th percentile.

Feed4TestNG makes it easy to write and feed parameterized TestNG tests with data imported from files (CSV or Excel) or generated.

Atomic34 allows you to leverage the Selenium Testing framework for testing your site using a SiteDefinition DSL to generate objects representing your site. The generated code can then be used to write tests using strongly typed objects.

This application shows daily meals listing available on all 5 mensa's across TU Darmstadt Campuses in Darmstadt on android based smart phones. The app works by loading the content from mensa websites, parses it and displays the result on android UI.

This is a rewrite of the junitee plugin providing junitee functionality to maven and enhancing basic junitee functionality with junit 4.x capabilities.

A plugin for the Eclipse IDE to generate control flow graphs and show coverage information. Supports node, edge, edge-pair and prime path coverage. Based on the Eclipse Control Flow Graph Generator (http://eclipsefcg.sourceforge.net/)

This open source software benchmarks the queries per second of an Apache Lucene index. It is an Java implementation and uses MultiFieldQueryParser to form a query.

This Project is intented to build a software to trace the behavior of specific Java code segments using JDI and then analize the data extracted from the trace.