Search Results for "structural analysis software" - Page 3

NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. 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.

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.

JUnit Toolkit enhances JUnit with performance testing, asymptotic behaviour analysis, and concurrency testing.

Jensor is a light-weight, low-overhead Java Profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis and Tagging Engine for technical as well as business analysis based on the same underlying data.

VaMoLa Validator is a tool to validate accessibility according to Italian Law - based on AChecker

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.

R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools

aim is to provide support for monitoring system behaviour through dynamic analysis, and for analysing and modeling this data for a better understanding of system behaviour and for test automation

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)

IISLogAnalyzer tool provides the features to extract,ananlyze and generate response time stats . This tool generates average 90th percentile,95th percentile and 99th percentile.

Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...

Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.

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

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.

SUDS is a software bug detection research infrastructure that has support for both dynamic instrumentation and static analysis.

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

ztest is a java 1.5+ classlibrary for writing structural junit tests. Specify, enforce and reuse an architecture for java based software. Works on java bytecode, no sourcecode changes. Export diagrams to graphml and layout them with yEd.

LogViews is a log analysis tool to capture syslog messages and easily filter and color the important traces. The results can be saved to a file for later analysis. Also supports bluetooth and USB logging for help in Symbian development

Siafu simulates individual agents and their context, from home to city-wide scenarios. As a developer, you use the API to write your simulation for the purposes of data-set generation, test or visualization, optionally hooking it to your own application.

Cobertura for J2ME is a test coverage analysis tool for the J2ME platform (CLDC1.1/MIDP2.0)

PuzlBox is a PHP fuzz tool that scans for several different vulnerabilities by performing dynamic program analysis. It can detect arbitrary command execution, local file inclusion, arbitrary upload, and several other types of vulnerabilities.

SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.

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.

Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.

ViennaProfiler allows to compare execution times of full programs or parts of a program. Execution times are stored in a MySQL database and conveniently analyzed via a web-interface. A C++ client API is provided, other languages can also be used.