Quality Assurance And Testing

RTL-check is a framework for static analysis of programs from a safety and security perspective. RTL-check project performs analysis on RTL, which is the low-level intermediate representation generated by GCC. Whats New in This Release: - The performance of the analysis was improved, and a... Platforms: *nix

CyVis project is a free software metrics collection, analysis and visualisation tool for java based software.. CyVis,software metrics,software complexity,software metrics visualiser, java code analysis,java code metrics Platforms: *nix

Rehersal is a testing framework for Scala. It replaces the built-in SUnit functionality. The project uses Expectations rather than Assertions, with real boolean operators. Tests can have any name, with any punctuation.. Index for Rehersal, a testing framework for Scala Platforms: *nix

Do178Builder project is a documentation tool used throughout the software/hardware development effort, helping to produce the DO-178B/254 documentation much less painfully. A major obstacle to creating airborne products, for smaller developers, is the necessity to qualify the software per... Platforms: *nix

TorqueWrench project is a tool for analyzing Java code. Using TorqueWrench, software development teams can improve the quality of their products and more easily enforce coding standards. TorqueWrench is an essential tool for organizations doing serious software development.. Platforms: *nix

Lint4j is a static Java source code analyzer that detects locking and threading issues, performance and scalability problems, and checks complex contracts such as Java serialization by performing type, data flow, and lock graph analysis. Lint4j features command line, Ant, Maven, Eclipse, and... Platforms: *nix

COPYRIGHT=1] Lint4j features command line, Ant, Maven, Eclipse, and Emacs integration. Platforms: *nix

Tagit allows custom JSP tags to be tested with a container. It is very different than TagUnit; the two libraries complement each other nicely. Tagit is an implementation of the Mock Objects testing pattern. All custom JSP tags generate HTML, and the HTML can be validated. Often custom tags are... Platforms: *nix

Schema Crawler project is a platform (database and OS) independent command-line tool to output your database schema and data in a readable form. The output is designed to be diff-ed with previous versions of your database schema. Schema Crawler is also an API that improves on standard JDBC... Platforms: *nix

GCViewer is a Swing-based application that visualizes the verbose garbage collection output generated by the IBM and Sun Java VMs (-verbose:gc/-Xloggc:-flags). The data can also be exported as CSV for forther processing with a spreadsheet application. Visualizing the data can help when one is... Platforms: *nix

TAHI Test Suite provides a mechanism for validating an IPv6 implementation against a standardized test for conformance to the IPv6 specification, extensions and directly related protocols. Whats New in This Release: - Ported FreeBSD-4.x - Dont support FreeBSD 2.x - pa can decode MIP6... Platforms: *nix

TestGen4J automatically generates JUnit test cases from your own Java class files or source files. Its primary focus is to exercise boundary value testing of the arguments passed to the method. It uses rules, written in a user-configurable XML file, that define boundary conditions for the data... Platforms: *nix

TAU (Tuning and Analysis Utilities) is a program and performance analysis tool framework for high-performance parallel and distributed computing. TAU provides a suite of tools for static and dynamic analysis of programs written in C, C++, FORTRAN 77/90, Python, High Performance FORTRAN, and... Platforms: *nix

ASTUce is a regression testing framework for ECMAScript inspired by the xUnit architecture. ASTUce project is intended for developers who wish to implement unit tests.. Platforms: *nix

HOL-TestGen allows one to write test specifications in Higher-order logics (HOL). It can (semi-) automatically partition the input space, resulting in abstract test cases, and automatically select concrete test data. Automatic generation of test harnesses (in SML) is supported, and using a... Platforms: *nix

JsTester allows validation of JavaScript code inside Java. JsTester provides a group of assert methods like JUnits Assert, and it supports validation by Douglas Crockfords Remedial JavaScript. You can also use your own validations.. Platforms: *nix

AntUnit is a library of Ant tasks that was initially developed to write tests for Ant tasks without resorting to JUnit. Apache AntUnit makes it easy to turn an existing build file that exhibits an error into an AntUnit test. Tests are written as targets in a build file using assertion tasks... Platforms: *nix

MemCheckDeluxe is an enhanced leak finder/memory profiler. It tracks all the memory allocated, and can report where it was created at the end of a program (memory that would have been leaked). It tracks the largest and smallest chunks allocated, the maximum memory used, and the highest number... Platforms: *nix

Test-AutoBuild is a framework for performing continuous, unattended, automated software builds. Test-AutoBuild pulls code from source control repositories (CVS, Perforce, and GNU Arch are currently supported), calculates inter-module dependencies, builds each module, and then generates HTML... Platforms: *nix

Delta project assists users in minimizing "interesting" files, subject to a test of their "interestingness". A common such situation is when attempting to isolate a small failure-inducing substring of a large input that causes a program to exhibit a bug. The best way to understand how to use... Platforms: *nix