Search Results for "gimp 3 plugins"

The package 'epyunit' provides extensions for PyUnit and PyDev. * Extensions for PyUnit - Unittests for arbitrary executables. * Extensions for PyDev - Automation of search and load of pydevd.py The extensions are applicable from commandline and/or within Eclipse. Online manuals: - https://pythonhosted.org/epyunit/ PyPi repository: - https://pypi.python.org/pypi/epyunit Current application examples are: - bash-core - http://bash-core.sourceforge.net Nickname -...

Stochastic Performance Logic (SPL) serves for capturing performance assumptions. With SPL, it is possible to annotate Java functions with assumptions stating, for example, that the annotated function is at most three times slower than array copying. The assumption is then checked at build time in a similar way as standard unit testing. In other words, SPL is about introducing performance assert(). The advantage of SPL in comparison with other similar solutions includes following. SPL...

This Eclipse plugin provides a CppUnit Tests Runner for Eclipse CDT C/C++ Unit Testing Support plugin. The plugin takes the vanilla CppUnit XML Test Report output by a test application and adds the test results to the Eclipse CDT C/C++ Unit view.

Randoop is an automatic unit test generator for Java. It automatically creates unit tests for your classes, in JUnit format. 1) Randoop generates unit tests using feedback-directed random test generation. In a nutshell, this technique randomly, but smartly, generates sequences of methods and constructor invocations for the classes under test, and uses the sequences to create tests. Randoop executes the sequences it creates, using the results of the execution to create assertions that...

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)

AGUTUR - Automatic Generation of Unit Tests Using Rules. Uses Drools to generate unit tests so extensible. Supports JUnit4 and JMock. The system inspects the class and looks at the methods and the constructors and generates a set of unit tests.

This project is maven plugin project for the jumble(http://jumble.sourceforge.net/). maven-jumble-plugin generate mutation test output by xml format. A xml format is used with jumble-hudson-plugin for hudson ci server.

Hayrick is a tool for finding, correlating and analyzing information in large amounts of textual input, like log files. Hayrick optionally employs Eclipse as a convenient working environment for setting up and running analysis jobs.

Maintain the Automation tool activities using this project

IntelliJ IDEA FIT Agilifier plugin provides support for FIT and Agilifier (launchers, easy result display of one test, navigation between test and code).

This will be to bring a GUI (Graphical User Interface) to the Java Pathfinder (JPF) so that developers can easily have JPF run through their programs and search for possible runtime exceptions in their java programs.

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.

The project is an Eclipse Plugin to assist in the configuration and management of ActiveMQ JMS Messaging Brokers for testing deployment models within a controlled environment. Also to provide an editor to configure the documents that control ActiveMQ.

MuLATo is a Java application for collecting metrics from programs written in several languages. The core module provides parsers for Java, AspectJ and CaesarJ programs and can be extended for other languages. Currently, the GUI is being developed as an E

Ant tasks to allow automatic verification of sources

SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code in the background and warns a developer about potential software security vulnerabilities.

AutAT (AutomaticAcceptanceTests) aims to make the process of creating automatic acceptance tests for web applications easier. AutAT is a Eclipse-plugin for creating such tests graphically. AutAT is installed via the Eclipse update manager (see Home Page)

IntelliGrader is an autograder generation framework for use in automatically grading java programs. The primary audience is professors and TAs in introductory CS courses using Java. Secondary audiences could possibly include highschool AP CS teachers.

Our tool allows developers to automatically generate and reuse test classes, test data, as well as manually define test data. Once these components are in place, developers can launch so-called “in-container” test suites, and gather information about

Fitster for Eclipse is an attempt to address the current problems in the process flow of creating, modifying and running Fit tests by providing a simple GUI in which the barriers for Fit testing and Test Driven Development (TDD) are taken down.

iTTCP means "integrated TTCP". The project integrates the TTCP compiler into Eclipse environment and allows so developing and running testcases, specified in TTCN-3 language.

M3Actions is a framework to define operational semantics in MOF metamodels. It provides a graphical action language to define model behaviour, a simulator, debugger and execution trace recorder, build on top of eclipse modeling projects (EMP).