Search Results for "eclipse-jpf" - Page 3
Sort By:
Showing 119 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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
It's a integrated performance analysis tool with GUI, which is integrated with various utilities such as strace, Gcov, Gprof, proc etc which are open released and are for analyzing performance of linux system
-
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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
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
-
13
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.
-
14
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
-
15
The Java Email Server (JES) plug-in is an embedded instance launcher of JES (email server) under Eclipse; it's intended to help developers viewing the layout of mails sent by their application to the clients (subscription mails, etc...) in local.
-
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
iValidator is a Java framework for automation of scenario and integration tests in complex environments. Features: automatic testing, reusability of unit tests, separation of code and data, Eclipse Plug-In, ANT tasks, support of all testing levels ...