Search Results for "eclipse-jpf" - Page 3
Sort By:
Showing 129 open source projects for "eclipse-jpf"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
The ECUT (Eclipse C++ Unit Testing) project integrates CppUnit into Eclipse C/C++ development tooling. The goal of ECUT is to provide the same and better seamless support as JDT does with JUnit. ECUT is now open for other C++ unit testing frameworks.
-
2
FITpro is built upon the Framework for Integrated Test (Fit). It provides integration with Eclipse and MS VS, and web UI. FITpro advanced features include code generation, suite support, and test to fixture links. See project's Wiki for more informatio
-
3
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.
-
4
Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
-
6
A Web Automation Framework that implements the interface of WebDriver using the SWT Browser widget. Unlike WebDriver, allows _hiding_ of the browser window during automation tests. Supports Windows/Mac/Linux.
-
7
This project aims to create a testing environment for S7-PLC (programmable logic controller) software. It is based on the Eclipse platform and can test S7 instruction list code exported from the Siemens Step7 software.
-
8
This is a collection of Eclipse plug-ins that help you work with .NET. If you used tools like Emonic, this is something that will be helpful. Current functional tools include NUnit and NAnt support. Both tools work like their Java equivalents.
-
9
Automatically test the content of HTML pages among different versions of your web application. Assertions: text, regular expression, XPath and Business Attributes (name-value attributes). Auto generation of assertions from recorded. Eclipse Plug-In.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
Hayrick is a tool for finding, correlating and analyzing information in large amounts of textual input, like log files. Hayrick optionally employs Eclipse as a convenient working environment for setting up and running analysis jobs.
-
11
OSGi BDT is a set of build tools to simplify the development process of OSGi bundles. OSGi BDT provides a set of Ant tasks for creating repositories, deploying, building and testing bundles. It contains an Eclipse plug-in and a Fitnesse fixture.
-
12
Open Soa Test is a OSGI based test tool to create complex test scenarios. The main objective of this tool is to create a collaboration platform to share test bundles. Test bundle is a piece of test software that we can share like an Eclipse plug-in.
-
13
-
14
JUnit Generator can automatically generate junit test cases for a specific class or method of Java; Fully supports the characteristics of object-oriented like generic type, complex class type generation etc.
-
15
Lack of Progress Bar (Lopb) is an Eclipse plugin that tracks how long developers wait for file check-ins/outs, code compilation, publishing apps to a web server, and other IDE background jobs to complete. Read more at http://lopb.org
-
16
Hammock is a Java ME mock object library for testing J2ME apps with J2MEUnit or JMUnit. It includes mocks of many of the MIDP classes. A HammockMaker utility lets you mock other classes. The software includes an Ant task and Eclipse plug-in.
-
17
MockCentral is an easy-to-use, fully-featured set of tools that provides a new approach to java software testing using mock objects. It enables the developer to create and access libraries of mock objects defined in xml files external to the testing code
-
18
PLEASE NOTE - JAVAPATHFINDER HAS MOVED TO: http://babelfish.arc.nasa.gov/trac/jpf Java PathFinder is a system to verify executable Java bytecode programs.
-
19
-
20
An eclipse plugin for code coverage visualization of JUnit Tests. Especially useful for test-first development. Supported coverages include block coverage and all-uses coverage (Data Flow Analysis).
-
21
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.
-
22
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
-
23
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.
-
24
Dependent Object Framework
Efficient JUnit testing when you have database dependencies
The DOF enables efficient JUnit testing and Test Driven Development against code that depends on objects that are persisted (e.g., database), more efficiently than alternative techniques such as SQL scripts. Please visit us at https://github.com/justin808/dof -
25
This is a test framework built for ALL testers of web based applications. It is based on a Java Selenium RC platform and accessed through Eclipse.