Search Results for "model based testing tool"

httest is a script based tool for testing and benchmarking web applications, web servers, proxy servers and web browsers. httest can emulate clients and servers in the same test script, very useful for testing proxys.

It's a very light Redhat Linux and Oracle OVM System Performance Monitoring tool written in Perl using rrdtool for Database and Graphing. Allows you to query the RRD database given a set of dates and generates a web based graphs. Easy to install. Uses less disk space than most performance monitoring tool. Data of each host monitored is kept for 2 years and occupy less that 25 MB of disk space.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

An executable Jar file contains both a Swing-based editor with syntax-highlighting, online help, example generator etc. for the "httest" tool (https://sourceforge.net/projects/htt/), as well as a Java API wrapper for writing JUnit tests with "httest".

CUBRID QA project contains a test-automation tool and many kinds of test cases for CUBRID database.

Tool for monitoring of OCI client applications [f.e.: TOAD/TOra, or any OCI-based fat client] interaction with Oracle Database. Monitors SQL statements and values passed/fetched between client application and RDBMS. Consists of simple and nice GUI [C#] and events handler [C++] with quite a lot of OCI hacking. Interface between handlers and tool's GUI is through tailing of XML "pipeline" files in $HOME/.ocimonitor directory. Tool is quite similar to Quest SQLMonitor, which is unable to trace values.

Test Drive is an automation tool. The application is specifically aimed at testing network based services that make use of popular protocols i.e HTTP, SOAP, ICAP, DNS etc.

This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.