Search Results for "java interface"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. 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

Stetho is a sophisticated debug bridge for Android applications. When enabled, developers have access to the Chrome Developer Tools feature natively part of the Chrome desktop browser. Developers can also choose to enable the optional dumpapp tool which offers a powerful command-line interface to application internals. Alternatively you can include Stetho from Maven Central via Gradle or Maven. Only the main stetho dependency is strictly required, however you may also wish to use one of the...

Code Bubbles is a front end to Eclipse designed to simplify programming by making it easy for the programmer to define and use working sets. It provides compact function-based views of the code (all backed by the underlying files) that are displayed in bubbles and that are easily moved around and manipulated on the screen. The bubbles are fully editable. A large bubble area lets the programmer set up different working sets simultaneously and easily move between them.

YARI is a comprehensive tool suite to debug (layouts), spy, spider, inspect and navigate SWT and Eclipse based application GUIs (Workbench or RCP) at runtime.

Libinstrument is a complete and easy way to do custom function instrumentation for C/C++. The project comes ready with classic applications of instrumentation, such as AOP (Aspect Oriented Programming), Concern and Side Effect injection, stack tracing, exception tracing, basic time profiling, callgraph profiling and other. A GC (Garbage Collector) module is also under development. Libinstrument is highly portable and decoupled. The project comes with a CMake build system, integration with...

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

ADBTool with user friendly UI is very helpful for QA Engineers to test and validate Android mobile apps faster. It reduces the test execution time by 40-50 percent. Installation: In order to use this tool you should install ANDROID SDK. And set Android SDK path in Environment variables as ANDROID_HOME. How to Run : Windows: By just double clicking on it. MAC or Linux: java -jar adbtool.jar Capturing and editing screenshot is one of the painful work for QA engineers. QA Engineers...

Adapted from eclipse cde elf tools, enables java to generate dwarf symbols and register compiled method with gdb-jit interface. It is intended for JikesRVM/MRP to use, and currently has one provider interface.

Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org

This Project is intented to build a software to trace the behavior of specific Java code segments using JDI and then analize the data extracted from the trace.

Java tool for searching classpath for resources such as class or files. Drag and drop interface for add new jars to your search path. Useful for resolving those class not found problem such as java.lang.ClassNotFoundException and java.lang.NoClassDefFoun

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

When testing using a database with rollback after each test, failing tests are very hard to resolve. Data Storm is a simple DB viewer directly launchable from within your test code to enable you to inspect the current state of the database.

An open plugin providing a full Python Debugging graphical interface and shell for either JEDIT editor or NETBEANS ide. Python\'s debugger backend is implemented as a networking debugger inheriting the standard dbd.py python debugging kernel ,frontend

This project aims to implement an LC2/LC3 assembler and simulator for the Linux and Windows platforms.

Jassda is a framework that extracts a sequence of method-invokations from a Java application during runtime using the Java Debug Interface (JDI). Jassda provides two modules that operate on the sequence: a logger and a trace-checker

Yet Another Java Profiler (YaJP) is a profiler tool that uses the JVMTI interface. It can be used to selectively trace a java program and store this information in a compressed logfile. This logfile can then later be analyzed using the same tool.

Java SWT and AWT port of Scintilla, a free source code editing component. Scintilla runs on Windows and Linux with GTK+. It is a rich text editing control that supports syntax styling, error indicators, code completion, call tips, etc.

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

araSpect is a server side object inspector for web applications. Through a web interface you can drill down in your server side java beans. It is very easy to install and can be added to a deployed application. There is special support for Struts.

Debugging server allowing remote debug logging and access to the information via a web based interface.

This project was intended to implement the Java(tm) Platform Debugger Architecture for JOS. It is currently inactive.

xdProf is a tool that captures and analyzes stack traces sent at a fixed interval from Java Virtual Machines in a distributed system. The xdProf client uses a C/C++ Java Virtual Machine Profiling Interface (JVMPI) library and works on many platforms.

Swing Spy is java based Swing/AWT spy agent that prints the widget under the cursor (like Spy++ for Windows/MFC and SWT Spy for Java-SWT). Download from the homepage: http://www.nenoff.com/swingspy/

Bug Tracker Tool written in Java EE. Friendly user interface, management of bugs, dynamic bug states, multiple users, user groups and projects.