Search Results for "qt-eclipse-integration" - Page 3

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)

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.

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.

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

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.

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

...Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java development capabilities, all accessed via Eclipse. With Hermes you can run automated tests on at least 32 different OS and browser version combinations (including mobile) in parallel and instantly on a Cloud infrastructure. Contact us today and receive £30 worth of FREE access to cloud infrastructure: www.w3qa.eu. Please note Hermes works with Selenium RC only - not Webdriver.

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.

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

projekt3 baeume und so kram

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.

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

Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.

A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration

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.

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.

Patang is a framework for testing server-side code. Patang intends to simplify writing acceptance and unit integration tests for server-side code. It implements an in-container testing strategy, meaning that the tests are executed inside the container.

Framework for profiling & early performance testing of J2SE, thread based applications. Integrates into the Maven build-cycle. Closely integrates with YourKit profiler to produce automatic CPU profiling of you application.

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

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

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.

MActor is an extensible tool for functional integration testing. It can facilitate tests a range of integration technologies (support for JMS, XML over HTTP, SOAP, TIBCO Rv, IBM MQ series and file-shares are currently supplied with the tool)

A VM containing a turn-key solution for continuous integration with source code control, build management, automated testing, security analysis, defect tracking, and project management, all using open source tools.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.