Search Results for "p7zip-plugins" - Page 3

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

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

Automated UI Tester for Adobe® ActionScript® is a pure ActionScript 3.0 SWF automation testing tool with the capability of recording user actions on an SWF file and playing them back with high fidelity. The API for this tool is provided with name “Genie” (Adobe internal code name for the tool). Some major features of this tool are • No instrumentation or application manipulation is required. • Automate pure ActionScript 3.0 SWF. • No source code access required. • No need to run...

GlobalTester helps you to test all kind of smart cards and chip cards. GlobalTester is a plug-in for the popular Eclipse platform and allows the execution of test scripts structured with XML and defined using JavaScript. The platform is developed to test the conformity of machine readable travel documents (MRTD) - aka ePassports - and the protocols used on these chips. The free available version of GlobalTester supports Basic Access Control (BAC) and Secure Messaging (SM) as specified by...

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)

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

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

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.

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

Smelly is an Eclipse plugin for detect bad smells in Java code.

projekt3 baeume und so kram

"Ant for PDE" allows Ant to build, test and deploy Eclipse plugins and features using Eclipse's native PDE build system.

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.

Qompliance is a Firefox add-on designed to give web developers access to Worldspace's free compliance testing engine.

It is a part of the research project ATCC developed in Parallels-NSU lab. Here you can find selenium_manager and remote_agent applications. They work with SeleniumRC Jenkins plugin.

Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.

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.

Project has been moved to github: http://jschilicat.chilicat.net . -- -- JsChilicat is a headless JavaScript test enviroment based on EnvJs (http://www.envjs.com/) and Rhino (http://www.mozilla.org/rhino). As test framework is QUnit integrated. JsChi

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.

JTrac toolkit: WebServices , Eclipse Plug -in and for Android phones

Visual Nunit is NUnit integration for Visual Studio 2008. Provides convenient view to test cases and enables debugging tests easily inside development environment. Implemented as Visual Studio Integration Package. IRC: irc.freenode.net #visualnunit

A sister project to the Naked Objects framework, this time to provide plugins for various testing frameworks such as JUnit4, FitNesse and Concordion, making it easy to test Naked Objects applications.

The ECUT (Eclipse C++ Unit Testing) project integrates CppUnit into Eclipse C/C++ development tooling. The goal of ECUT is to provide the same and better seamless support as JDT does with JUnit. ECUT is now open for other C++ unit testing frameworks.

FITpro is built upon the Framework for Integrated Test (Fit). It provides integration with Eclipse and MS VS, and web UI. FITpro advanced features include code generation, suite support, and test to fixture links. See project's Wiki for more informatio