Search Results for "can" - Page 11

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)

With this tool you can stress test and find out if your network services is vulnerable to eg. a TCP or UDP attack. It has also a HTTP flooder, slowloris and a port checker. For more information about slowloris: http://en.wikipedia.org/wiki/Slowloris Please note that the coder of this program is not responsible for its use or if it does any damage.

SMART (Shape Matching Algorithm Research Tool) enables you to implement 2D and 3D shape matching algorithms as plugins. Plugins can either be implemented in Java or as native plugins, i.e. in C/C++.

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. Thank you.

BlueDuck SDA (Selenium Driver AutoIt) is an open-source automated testing framework that can be easily used by technical and non-technical users alike. It allows you to write tests that are easy to read and maintain. BlueDuck SDA is a powerful yet easy-to-use framework designed to help you build dynamic and robust test scripts for Web and Win32 apps. It is easy, fast, and reliable. AutoIt v3 is a freeware BASIC-like scripting language designed for automating the Windows GUI and general scripting. ...

Imprimatur is a web application testing tool. 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 is an advanced portable C++ library with 144 variations of the ASSERT macro, to add expressions, levels and optional actions. 112 are modular because they can also use Rich Booleans, allowing much more combinations than non-modular ASSERT macros.

dbMonster is a tool which generates random test data and puts it into SQL database. It helps to test how an application can deal with large database.

This is a maven plugin that allows to start, stop, resume, revert to snapshot a Virtual Machine hosted by VMWare Server. It can be useful for test phase.

jLlama is a desktop application to monitor servers over SSH. Any figure retrieved from the command line can be polled and graphed in real time. Out of the box, jLlama can graph CPU and Memory usage for Linux and Solaris servers.

BingoCardMaker automates the process of generating random bingo cards from a set of images. The cards are highly customizable; you can change their size, title, colours, output format, and filenames -- all through a user-friendly interface.

VNC for use with the BrowserMob Selenium JavaScript Validator. This tool is made available for users of BrowserMob FREE Website Monitoring and Load Testing. The BrowserMob Local Validation Service can be downloaded from https://browsermob.com/tools.

Simple test runner for QTestLib tests. Allows to run multiple different tests, provides interface similar to some XUnit applications, can be used with TDD (sort of). Consists of two different applications: GUI and console test runners.

A user interface to launch unit test in python - compatible with unittest. Displays the test progress in a tree, can manage several test suites. Detects file editions and automatic reload of changed modules.

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.

ClassGhost is a small utility that can redefine class files within a running JVM. ClassGhost allows you to directly inject the newly compiled class files in to the VM without interrupting the running application. Works with multiple as well as remote VMs

DOMinator Virtual Appliance is a Virtual Machine image file which can be used to see DOMinator in action. DOMinator is is a Firefox based software for analysis and identification of DOM Based Cross Site Scripting issues (DOMXss).

This project has been set up to unify perl unit testing frameworks for use in Extreme Programming. See also http://c2.com/cgi/wiki?PerlUnit

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.

Logprocessor is a tool for analyzing log files in a rigorous and reliable way. You write a command file and the log file can be run though the tool resulting in pass/fail.

The project moved to GitHub, https://github.com/aevdokimenko/tsqlunit TSQLUnit is a framework to write tests for applications written in Transact-SQL. It follows the tradition of the "xUnit" framework that is available for almost all programming languages.

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.

An Unit Test tool for PowerBuilder Applicatoin development. Command line support mode and xml result generation make it easily fitting into CruiseContol integration server.

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.