Search Results for "source testing unit testing" - Page 10

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.

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

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.

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.

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.

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.

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.

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

Tools and utilities for unit testing of Sling modules Source & Some docs... https://github.com/marto/Sling-Mocks http://sling-mocks.sourceforge.net

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.

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

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

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.

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

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/)

Stand alone Java application used simulate a memory leak in order to generate profile signatures. The application has the ability to generate system (CPU) load in order to observe profile signature changes.

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.

jLlama is a desktop application to monitor servers over SSH. Any figure retrieved from the command line can be polled and graphed in real time. Out of the box, jLlama can graph CPU and Memory usage for Linux and Solaris servers.

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.

dbMonster is a tool which generates random test data and puts it into SQL database. It helps to test how an application can deal with large database.