bugVisor - Solutions for change management, bug & defect tracking, post release support and help desk with a fully customizable workflow.
C++ Test - C++ Test is a commercial tool from Parasoft that scans C or C++ code to detect violations. It is an advanced source code analysis tool that implements over 500 C/C++ coding guidelines to automatically identify dangerous coding constructs that compilers do not detect. This page has white papers on the product, presentations, demos and a Downloadable, free C++ Test evaluation software available.
COQUALMO - COnstructive QUALity MOdel(COQUALMO), formerly called CODEFMO, is an estimation model that can be used for predicting the number of residual defects/KSLOC (Thousands of Source Lines of Code) or defects/FP (Function Point) in a software product.
Datatect: The Test Data Generator - Datatect is the universal test data generation tool. Realistic test data generated to a Flat File or any ODBC compliant database. Datatect can read in existing database table structures for Oracle, Sybase, Informix, MS ACCESS or any database that supports Open DataBase Connectivity (ODBC). Using these structures as a model, Datatect lets you create valid test data in any form, field content and volume. Datatect can generates native database tables, both relational and non-relational, which can be written directly to your database. A full functioning demo is available for download
Frestimate - SoftRel developed this software reliability tool provides basic software prediction capabilities. FRestimate is also available as components. It includes the WhenToStop software estimation for determining When To Stop testing. The components include:
SoftRel's Short Cut Model, SoftRel's Full scale Model, Rome Lab Model, SSQA model, CMM model, and the WhenToStop module. See the website for a description of each component.
GOTCHA-TCBeans - From IBM, the GOTCHA-TCBeans is Software Test Tool Kit is a framework designed to assist testers in developing, executing, and organizing function tests directed against Application Program Interfaces (APIs) and software protocols written in Java, C, or C++.
GUITAR – A GUI Testing framework - A framework that presents a unified solution to the GUI testing problem. In the last four years, we have had considerable success in developing new technologies for GUI testing. Most of the results of our research have been published. I encourage you to visit our publications page. Our emphasis has been on developing new event-based tools and techniques for various phases of GUI testing.
Item Software - Item Software provides training and consulting services, as well as complete software solutions and customization for the Reliability, Availability, Maintainability, Safety, and Quality Assurance engineering fields. The site includes downloadable evaluation copies of their software.
McCabe IQ - McCabe IQ enables you to deliver better, more reliable software to your end-users, and is known worldwide as the gold standard for the analysis, comprehension, testing, and reengineering of new software and legacy systems. McCabe IQ uses advanced software metrics to identify, objectively measure, and report on the complexity and quality of your code at the application and enterprise level.
Measurement Control Chart Toolkit (MCCT) - MCCT is a PC software package helping managers and engineers in their routine activities related to monitoring/handling measurement devices and stations at the enterprise. The software provides effective support to the implementation of the ISO 9000 series of Quality standards.
MulSaw Project on Software Reliability - The goal of this project is to design and implement a specification language for object-oriented programs and tools for checking code conformance, i.e., tools for checking that programs correctly implement their specifications. Although we do our research in the context of the Java programming language, most of our results can easily be applied to other languages.
Panorama, Tool for Java/C/C++ Software Testing, QA, Documentation & Maintenance - Free and professional source code analyzer, code structure browser, diagrammer, and tools for software test coverage analysis, test case minimization, GUI operation capture/playback, quality measurement (SQA), documentation, and re-engineering.
PolySpace Embedded Software Verification - PolySpace™ products verify C, C++, and Ada code for embedded applications by detecting run-time errors before code is compiled and executed. This advanced verification technology uses formal methods not only to detect errors, but to prove mathematically that certain classes of run-time errors do not exist.
You can use these tools on hand-written code, or code generated automatically from Model-Based Design tools. For automatically generated code, PolySpace Link products trace results back to models to help you correct design errors.
Reactis - ModelING in MatLab’s Simulink and Stateflow modeling language, Reactis(TM) automates the generation of test data. Automatically generated tests provide better coverage than what you can expect from random testing. Reactis is an embedded software design automation tool suite --- a collection of applications supporting the efficient production of high-quality control software. Reactis currently consists of three components:
Reactis Tester generates comprehensive test suites from Simulink®/Stateflow® models.
Reactis Simulator enables users to visualize the results of executing tests produced by Reactis Tester.
Reactis Validator automatically searches models for violations of user-specified requirements.
SAMATE - Software Assurance Metrics and Tool Evaluation - The NIST SAMATE (Software Assurance Metrics And Tool Evaluation) project is dedicated to improving software assurance by developing methods to enable software tool evaluations, measuring the effectiveness of tools and techniques, and identifying gaps in tools and methods. This project supports the Department of Homeland Security's Software Assurance Tools and R&D Requirements Identification Program - in particular, Part 3, Technology (Tools and Requirements), the identification, enhancement and development of software assurance tools. The scope of the SAMATE project is broad: ranging from operating systems to firewalls, SCADA to web applications, source code security analyzers to correct-by-construction methods.
SilverMark’s Test Mentor – Java Edition - Test Mentor – Java Edition is a functional test and test modeling tool for Java developers to use as they develop their Java classes, clusters, subsystems, frameworks, and other components, either deployed on the client or the server during unit and integration testing. Test Mentor is composed of four aspects: (1) test modeling and documentation, (2) test creation, (3) test execution, (4) test results management.
Software Testing Online Resources - Welcome to the STORM site. A nexus of Software Testing Online Resources, this site is designed to be a "first-stop" on the Web for software testing researchers and practitioners.
Statistical process control software - Statistical process control is the primary analysis tool of quality improvement. Statistical process control analyses the variation in whatever process you are measuring and can help you understand and reduce the process variation. "To The Point" is a company that sells this software.
Test Coverage Tools - Maintained by Semantic Designs Inc., this page discusses test coverage tools in general, provides pointers to tools for standard languages, and discusses how such tools can be constructed easily for nonstandard languages or environments.
The NASA Goddard ARM Tool - The Automated Requirement Measurement (ARM) Tool was developed by the Software Assurance Technology Center (SATC) at the NASA Goddard Space Flight Center as an early life cycle tool for assessing requirements that are specified in natural language. The objective of the ARM tool is to provide measures that can be used by project managers to assess the quality of a requirements specification document. The ARM tool scans a requirements specification document for key words and phrases and generates a report file summarizing the specific quality indicators. The tool is not intended to evaluate the correctness of the specified requirements. It is an aid to "writing the requirements right," not "writing the right requirements."
VT Enterprise Software Validation - Experts in outsourcing services for software maintenance, software testing and quality assurance services, and technical documentation.
WorkSoft Inc. - This Software Quality related site provides links to free articles as well as their tool "Certify" an automated testing solution.
DACS Gold Practice Initiative
