Search Results for "user acceptance testing"

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...

The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.

PopperFramework is a java framework which allows you to create PageObjects for your webapplication-tests in a declarative way. That means you just have to define an interface defining the structure of your website and add some annotation with the basic information like locators. PopperFramework will generate the implementation of that PageObject for you. Key-Goal of PopperFramework is to allow you as a developer of sureface-tests to concentrate on your business => writing PageObjets and...

MOBIDICK (MOdular But IntegrateD applICation frameworK) is dedicated to gather as less as possible Java frameworks in order to complete full needs of large business application and allow regeneration of code, even when java frameworks change.

ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.

The Semantic Application Design Language (SADL) expresses domain knowledge as semantic models and rules. The SADL-IDE (integrated development environment) is an Eclipse plug-ins for editing SADL, converting to OWL, and testing using Jena or Pellet.

A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

Semi-automated exploration of all page links inside a web application. Produces a map (i.e. a graph) of all links between pages, including relationships on HTTP request parameters and form input fields.

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)

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.

PROCOL space-based framework for multi-core. Based on LighTS (http://lights.sourceforge.net/). More to come soon ...

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.

Interactive PHP shell Create an interactive environment to debug php line by line. It enables you to execute php code as if it were a command line in a similar setting to bash and psh (perl shell).

This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a

SQLOrm focuses on mediating database interaction rather than shielding the user from it. SQLOrm consists of 3 major parts. A dynamic query builder. A prepared statement layer. A resultset to object graph mapper, supporting batch inserts/updates.

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.

TRUC is a web-based tool for requirement and use case tracking. It has fileupload, discussions, version control, usecase history, build and release management. It supports assignment of requirements & use-cases to releases and filtering over all fields.

MMUnit is an Eclipse based framework for testing metamodels. It provides a graphical editor for test specifications and smoothly integrates with JUnit.

Java Framework for automatic transformation of graph structured Process Models (incl. BPMN import) to block structured BPEL code. A graphical tool is provided for visualisation and testing.

NHag - NHibernate Automated Generator - is an advanced Codegenerator. Based on the hbm.xmls it can produce class code (in VB.NET and C#), Cell- and MVP-based abstraction layers and test scenarios (Test-DB and Unit Tests) for the generated classes. It's

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers).

COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.

JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.