Open Source Software Testing Tools

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.

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 contains a set of tools for formal verification and static analysis of VHDL design.

Jensor is a light-weight, low-overhead Java Profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis and Tagging Engine for technical as well as business analysis based on the same underlying data.

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.

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.

Although the research community around combinatorial interaction testing has been very active for several years, it has failed to find common solutions on some issues. First of all, there is not a common abstract nor concrete language to express combinatorial problems. Combinatorial testing generator tools are strongly decoupled making difficult their interoperability and the exchange of models and data. In this project, we propose an abstract and concrete specific language for combinatorial problems. It features and formally defines the concepts of parameters and types, constraints, seeds, and test goals. The language is defined by means of Xtext, a framework for the definition of domain-specific languages. Xtext is used to derive a powerful editor integrated with eclipse and with all the expected features of a modern editor. **SEPT 2018 CITLAB is no longer supported**. Use CTWEDGE instead: <https://github.com/fmselab/ctwedge>

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.

Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.

The Coverage Simulator transforms test models. The satisfaction of a weaker coverage criterion on the target model corresponds to the satisfaction of a stronger coverage criterion on the source model. Thus, it supports many model-based test generators.

Feline is a free and extensible cross-platform Model Driven Development (MDD) environment for embedded systems, covering model creation, model to code transformation, and model validation.

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.

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.

JSeq is a tool to automatically create UML sequence diagrams. It works by following the execution of a Java program, noting each method entry and exit. It then generates a sequence diagram from this information.

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.

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

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

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.

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

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.

Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.

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

ParTeG (PARtition TEst Generator) handles UML state machines, UML class diagrams and their OCL expressions. The OCL expressions are evaluated to find input parameter partitions. The boundaries of these partitions are used to generate test cases.

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 Tests, not wasting time by writing boilerplate code. PopperFramework uses WebDriver-API to implement your PageObjects but its API is completly vendor-independent. So when there comes something better than WebDriver you change the implementation of PopperFramework and change to the vendor you need. PopperFramework is highly configurable with a lot of hooks which allow you to customize PopperFramework behaviour to your needs.