Search Results for "model based testing tool"

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...

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.

Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw.

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.