Search Results for "using" - Page 6

...Designed to be a sound verifier, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.

jMINT is a integration fault injection tool which identifies data exchanges across classes and inject faults along those path. It is primarily based on the idea of program analysis and code mutation. The cross boundary data exchanges are identified by performing data flow analysis using java byte code analysis and transformation framework-soot. Mutant injection is also done via the soot framework. jMINT tool can be used to measure the effectiveness of integration test suites.

Randoop is an automatic unit test generator for Java. It automatically creates unit tests for your classes, in JUnit format. 1) Randoop generates unit tests using feedback-directed random test generation. In a nutshell, this technique randomly, but smartly, generates sequences of methods and constructor invocations for the classes under test, and uses the sequences to create tests. Randoop executes the sequences it creates, using the results of the execution to create assertions that capture the behavior or your program and that catch bugs. 2) Randoop has created tests that find previously unkwon errors even in widely-used libraries including Sun and IBM's JDKs. ...

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).

... * Fastest helps automate all the necessary, but difficult test automation tasks like 'Mapping the test case execution with test plan document, updating centralized test management database, reporting, setup of automated nightly regressions in Continuous Integration (CI) environments, Running code / commands on remote hosts, Interacting with Web services, browser based automation using Selenium, SSH access, Sending Email notifications

Record the state or behavior of live Java objects for playback during unit testing.

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)

A simple program evaluating algorithms from sources files using well known and established tools. The goal is to provide nice and clean reports on everything related to algorithms and loops, so minor and / or major changes during the final phase of a project can be easily compared without additional effort, or testing environments. This is a project for a research-paper during my studies, and make no claims regarding it's on completion or usefulness at this time.

JBee is a testing framework oriented behavior-driven development, that uses the junit as a basis for using. JBee you need the junit 4 or higher in your classpath. To use JBee is very easy.

...The tests are described in a simple XML file. Along with the standard HTTP methods, Imprimatur handles authentication and file uploads. The responses can be validated using regular expressions.

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.

This tool supports the implementation of Checklist using objective criteria to evaluate any characteristic. The Spider-CL was developed in the Software Quality context, but it can be used in any one.

"Ant for PDE" allows Ant to build, test and deploy Eclipse plugins and features using Eclipse's native PDE build system.

Astral Projection is a testing tool for iOS applications that use the CoreLocation framework. AP allows for testing location-aware apps on both the device and the simulator, using configurable location data sources like a GPX file or a remote agent.

A collection of reporting utilities specific to The Grinder test tool. The tools consist of a reporting database and graphing utilites based upon jyplot and jFreechart written in jython.

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.

A VM containing a turn-key solution for continuous integration with source code control, build management, automated testing, security analysis, defect tracking, and project management, all using open source tools.

TUTU is an automated testing system which finds inconsistencies between a system and its specifications, by using a combination of a number of techniques, such as Design by Contract, test data generation, mutation testing and invariant detection.

Sqs4J s a pure Java implementation, based on HTTP GET / POST protocols lightweight open source message queue service. use Netty achieve HTTP service, using the Berkeley DB for do persistent storage. The stress test can reach 8000/s.

Simple Fuzzer is a simple fuzzing framework which allows rapid development of protocol fuzzers for blackbox testing. It can fuzz across networks using TCP/UDP, IP4/IP6, and can be extended via plugins to perform in-depth fuzzing.

Take a gander with Gander! Gander is a lightweight scene renderer for prototyping and viewing GLSL shaders. It makes tying together OpenGL and GLSL easy by using XML scene graphs. Plus, it supports some advanced features like multiple render passes.

Bug tracking PHP application, intended to enable final users to report and track bugs or issues, allowing managers to open/assign this bugs to developers. Real easy time tracking interface, and ajax attachments management. Custom reports supported.

Jarrut is a tool that makes developing and debugging Java ME applications (application using CLDC to be more specific) a bit less of a pain. Jarrut enables proper stack traces for exceptions, also when running a MIDlet on a real device

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.

JRandO is a test data generator or better test object generator framework. It can be used in JUnit tests or in performance test (for e.g. using JMeter). It may also be useful in anonymization of data or in a simulation environment.