Search Results for "eclipse-jpf" - Page 2
Sort By:
Showing 119 open source projects for "eclipse-jpf"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
$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
robotide
Eclipse plugin for writing RobotFramework tests
-
2
RequestAge
Eclipse plug-in to stress-test HTTP web services
-
3
z-utalm
Unified Test and Logging layer for multiple programming languages
Modern software systems and application are commonly written in multiple languages, include scripting engines, and are frequently build on multiple specialized frameworks and middleware for a considerable diversity of runtime environments. The latest influencing update in development paradigm is the application of multicore processors. This projects is aimed to unify the required trace and logging output and integrate into debugging environments. The target is to provide general development,... -
4
PHP Configuration Checker
Script for hosting requirements checking
Sometimes you need to install (or transfer) your site on to the new hosting. And it is a rare occurence that the provider can (or wants to) estimate all the requirements for your site application. Especially when your site isn't based on one of the widely known CMS. There are many things to be wary of: are all the required modules installed? Do they all have the correct versions? Is the PHP version correct and is there enough memory or not and so on. This small and smart script will help... -
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
ModelMutationSystem
Mutation System for UML and Variability Models
This Mutation Systems defines operators for mutating UML and variability models. In UML it supports the following diagram types: state machines, classes, composite structures, In variability modeling it supports feature models and feature mapping models. -
6
Unit testing, mock objects and web testing framework for PHP built around test cases. If you know JUnit/JMock or some of the PHPUnit clones this will need no explanation. Includes a native web browser for testing web sites directly (no JavaScript).
-
7
eclipse.cppunit.testsrunner
CppUnit for Eclipse CDT C/C++ Unit Testing Support
This Eclipse plugin provides a CppUnit Tests Runner for Eclipse CDT C/C++ Unit Testing Support plugin. The plugin takes the vanilla CppUnit XML Test Report output by a test application and adds the test results to the Eclipse CDT C/C++ Unit view. -
8
CodeCover is a free glass box testing tool that measures statement, branch, loop, MC/DC, ?-operator, and sync- coverage. CodeCover supports coverage reports per each test case. Available languages: Java and COBOL.
-
9
IST helps test teams managing complexity by adaptively selecting and prioritizing the test cases according to past test results. ISTT guides the testers through a test session with high-level test scenarios generated on the fly.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
-
11
GlobalTester
Test platform for all kinds of smart cards
GlobalTester helps you to test all kind of smart cards and chip cards. GlobalTester is a plug-in for the popular Eclipse platform and allows the execution of test scripts structured with XML and defined using JavaScript. The platform is developed to test the conformity of machine readable travel documents (MRTD) - aka ePassports - and the protocols used on these chips. The free available version of GlobalTester supports Basic Access Control (BAC) and Secure Messaging (SM) as specified by International Civil Aviation Organization (ICAO). -
12
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
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) -
13
Lemonite is an Open Source tool designed to automate J2EE unit test development and management. It's entirely implemented in Java and makes it very easy to write and run unit tests for common J2EE business concepts (EJB, Servlets, etc...) and for Web Services too. Lemonite works as standalone Java application.
-
14
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.
-
15
A plugin for the Eclipse IDE to generate control flow graphs and show coverage information. Supports node, edge, edge-pair and prime path coverage. Based on the Eclipse Control Flow Graph Generator (http://eclipsefcg.sourceforge.net/)
-
16
Atomic34 allows you to leverage the Selenium Testing framework for testing your site using a SiteDefinition DSL to generate objects representing your site. The generated code can then be used to write tests using strongly typed objects.
-
17
Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update
-
18
-
19
This project provides useful tools/plugins for simplifying the development with Eclipse. Our first tool is a log file viewer plugin for Eclipse that reads JavaUtil JDK logs from socket or file. Multiple logs can be viewed at the same time.
-
20
"Ant for PDE" allows Ant to build, test and deploy Eclipse plugins and features using Eclipse's native PDE build system.
-
21
Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.
-
22
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.
-
23
Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.
-
24
AGUTUR - Automatic Generation of Unit Tests Using Rules. Uses Drools to generate unit tests so extensible. Supports JUnit4 and JMock. The system inspects the class and looks at the methods and the constructors and generates a set of unit tests.
-
25