Search Results for "source testing unit testing"

...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

The gSOAP toolkit is an extensive suite of portable C and C++ software to develop XML Web services with powerful type-safe XML data bindings. Easy-to-use code-generator tools allow you to directly integrate XML data in C and C++. Serializes native application data in XML. Includes WSDL/XSD schema binding and auto-coding tools, stub/skeleton compiler, Web server integration with Apache module and IIS extension, high-performance XML processing with schema validation, fast MIME/MTOM streaming,...

A subset of the TestCon project, ConAn builds on Roast to provide a testing framework for concurrent Java components. For more details on the development of ConAn and TestCon/Crom, see http://longbrothers.net/brad/papers/thesis.pdf

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ...

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.

This project has moved to GitHub ! The version here at SourceForge will remain for historic purpose. Koopa is a parser generator, made for COBOL. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.

**THIS PROJECT IS NOT MAINTAINED ANYMORE **CHECKOUT http://poppy.dc-development.de to see its follow-up Poppy is a visual markup editor that runs in a browser. - Best Browser: Use Mozilla-FireFox! - Take Care: for local testing/development only! Features: - Multiple Projects - Build/Edit Master and Pages Visually - Clean formatted output only elements you specified - Filemanager New: - Installer for easy setup - Poppy demo project for...

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.

Template2Code (T2C) is a collection of tools dealing with template-based file generation. Currently it includes MiST - Minimal String Template engine and T2C itself that uses template based techniques to generate the sources of unit tests.

J2EE framework with 0-configuration.debug/unit test without J2EE server,using Velocity/Freemarker as view,directly JDBC with Apache DBUtils,reusable SQL pagination, SQL transaction based on TRANSACTION_PER_REQUEST,And URL based user access control(UAC).

mda4eclipse is a domain-driven and model-driven development eclipse plugin. Its purpose is to present a way of using different project sites to work together and establish a shared development environment.

STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing

Jeek is a concrete class / stub / mock code generator for .NET, used in unit 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

An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.

JPITools aims to provide tools to allow for improved documentation and APIs.

100% Java framework for easier unit testing of java source code. Allows isolation of classes using built-in mock generation framework, provides aop aspects and coordination functionality for completely test-driven isolation. Note: this project is superce

The DBC framework uses reflection to inspect a type, it then generates source for a proxy object containing checks on predicates in attributes attached to members of the type. Proxy code is compiled into an in-mem assembly used to enforce DBC rules.

1337writer is a converter for 'normal' text to 1337 / l33t text (leetspeech). simply input your text and the programm will output the 1337 version. (hardcore 1337 or simple 1337).

JAM, JavaGen Ant Modules, is a modular Ant toolkit for developing and testing Java/J2EE applications. JAM supports EJB and Servlet/JSP development using XDoclet, JUnit, Cactus, Maven, Castor and UML code generation on various servers including JBoss.

JXCL is a framework for constructing transforming class loaders for Java. It can be used for a wide range of purposes, including automated testing, in particular testing of unit test coverage.

"Web Test Tools" is an open source project which provides tools for different kind of testing such as unit tests (JUnit), and different kinds of tests for applications. Additionaly you can download here good implementation of internet protocols in Java.

XTC4y is a collection of testing utilities for Java Code. It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST

The purpose of the EPAL Scenario Testing System is to provide a Graphical User Interface (GUI) that gives the EPAL user an easy-to-use tool for sending valid or invalid test scenarios to the EPAL Conformance Engine.

Quilt is a Java software development tool which measures coverage, the extent to which testing exercises the software under test. It works very well with Ant and JUnit but may also be used in conjunction with other products.