Search Results for "software runtime" - Page 2

The goal of quality-check is to provide a small Java library for basic runtime code quality checks. It provides similar features to org.springframework.util.Assert or com.google.common.base.Preconditions without the need to include big libraries or frameworks such as Spring or Guava. The package quality-check tries to replace these libraries and provide all the basic code quality checks you need. The checks provided here are typically used to validate method parameters and detect errors...

The sandbox libraries (libsandbox & pysandbox) are an open-source suite of software components for C/C++ and Python developers to create automated profiling tools and watchdog programs. The API's are designed for executing and instrumenting simple (single process) tasks, featuring policy-based behavioral auditing, resource quota, and statistics collecting. The sandbox libraries were originally designed and utilized as the core security module of a full-fledged online judge system for...

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)

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.

ClassMock is a tool for creating tests for components based on reflection and metadata in Java. It generate classes in runtime with the desired structure to be used in tests.

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

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

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.

A set of C# libraries that are used for simplifying the development of applications on .NET/Mono. These libraries cover the following issues: - Runtime execution management - Windows Forms development - Testing - Database interaction

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.

PHPCoverage is an open-source tool for measuring and reporting code coverage provided by the test suite of a PHP application. PHPCoverage can instrument and record the line coverage information for any PHP script at runtime.

JPeek is a graphical tool and library for reflection-based runtime inspection of the object graph in Java.

JFTA is an API that makes your testing code independent of the underlying implementation. Thus you can easily switch between different implementations at runtime. Currently JFTA provides implementations for HtmlUnit and Selenium RC.

A language-validation testing harness for Java (and Java-like) compilers & other language tools. Provides a framework for verifying whether static/runtime errors occur when running collections of test programs (benchmarks) described by "jlbench" files.

a java based monitoring tool,logs all the user actions and errors with runtime data, displays execution performance and executed method lines. It doesnt modifiy class source files and no need for coding, just put it in your class path and see the mir

A wrapper for the JMutation System (MuJava), which performs Mutation Testing. An Eclipse Plugin with runtime configurations and a view. Increased usability is provided using the features of the IDE.

ChecklistAgent - Unit testing for your runtime environment.

This will be to bring a GUI (Graphical User Interface) to the Java Pathfinder (JPF) so that developers can easily have JPF run through their programs and search for possible runtime exceptions in their java programs.

Blackbadger is a distributed ANT runtime for controlling and running tests against a large array of machines without complicated setup. Self-discovery and full Apache Ant integration, Blackbadger provides a distributed state machine.

Provides runtime typechecking facilities for python functions, methods and generators.

Testsweet is a unit testing tool to ensure that all tests in a project are being run, by either auto generating unit test suites at runtime, or ensuring that all tests in a project are included in a static suite at build time.

Python Universal GUI (requires wx) Automatically creates GUI windows for any python objects. These windows allow you to view and alter your objects at runtime, as well as save and load their states.

A bundle of tools for fault injection and -experiments with scope on the emulation of programming faults. Software faults are introduced in the sources of Java applications and can be toggled during runtime.