Search Results for "software solution design" - Page 3

Android Wordpress Theme

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

Tron is a console application (now discontinued) which simulates user intervention for otherwise unscriptable applications. It can simulate keystrokes, mouse clicks and movements from scripts allowing the control of applications running in the foreground. It can be used to write automated tests for user interfaces or to ease repetitive jobs with applications which do not support scripting natively. It has a modular design which allows it to be extended easily and is not tied to any...

Manufactured Analytical Solution Abstraction (MASA): a library for applying the Method of Manufactured Solutions to verification of numerical software used for solving systems of nonlinear algebraic and differential equations.

XMLFit is a Java and XML based solution to convert testcases written in XML to the FIT HTML table structure.

C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.

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.

Catsfoot provides to C++ concept checking, overloading with concepts and concept testing to C++ 2011 as a library.

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.

TUTU is an automated testing system which finds inconsistencies between a system and its specifications, by using a combination of a number of techniques, such as Design by Contract, test data generation, mutation testing and invariant detection.

Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.

Java wrapper for the VMware VIX API.

This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.

The pycurry project is targeted for handling concurrency issues within the Python programming language. It also contains a (almost) fully functional 'Design by Contract' implementation.

Writing Testbenches for FPGA/ASIC design is always a very fastidious and boring task. This project helps any FPGA/ASIC designer by providing a full RTL test environment with C support.

This project contains a set of tools for formal verification and static analysis of VHDL design.

A small mock library that is extremely easy to learn with plenty of examples. Only has 5 classes for the api. See http://mocklib.sourceforge.net for good tutorials.

SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.

ZCore is a set of Creative Studio for designing, testing, building ... solutions based on .NET framework. Contains UML designs tools, code editor & build tools, debug & test tools, user interface create tools ...

Tensor is a tool written in Ruby that helps provide an estimate on the cost of change on test source code based on a radical change in design on production source code, especially around branch execution code. It works with the JRuby interpreter also on

Dynamic mock object library for .NET.

Simple, light-weight Java class (100% pure Java) for generating lorem ipsum placeholder text. Lorem ipsum text can be used to create sample data for design evaluation, test cases or performance tests in (Java) applications.

Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.

This project is intended for ISVs, SIs and software developers who need to integrate load generation engine into their applications. For enterprise load and performance testing initiatives, RadView offers WebLOAD Professional, a complete solution for creating, executing and analyzing the performance of web applications under load.