Resources related to Software Reliability models and tools.
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.
Computer Aided Software Reliability Estimation (CASRE) - CASRE is a Software Reliability Engineering program that estimates failure intensity from failure data. It has a convenient user interface, which makes it easy to track software reliability growth as you test your software. Execute this program periodically and plot the ratio of Software Reliability to Software Reliability objective (in terms of failure intensity to failure intensity objective ratio). By tracking software reliability growth, you can uncover possible problems and take timely corrective action. CASRE also guides you in deciding when the Software Reliability has reached the Software Reliability objective, such that the software can be released. This product is available on CD ROM or downloadable from this web page.
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.
Critical Software - Commercial Fault Injection engine which allows you to inject faults into virtually any of the system or application processes, any of the processors or memory and at pin level using a combination of plug-ins and templates.
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.
Galorath Incorporated - Galorath provides a comprehensive set of decision-support and production optimization tools. Consulting and support services are available for these tools. The tools help manage product design and manufacturing operations, driving out costs and building in quality. The tools derive cost, schedule, labor and materials estimates by assessing the interaction and impact of product, organizational and even operational variables.
Goel-Okumoto Software Reliability Model - Goel-Okumoto Software Reliability Model. An automated version of the Goel-Okumoto Nonhomogeneous Poisson Process Software Reliability Model which runs on an IBM-PC or compatible under MS-DOS 2.11 or higher. Features include the ability to find maximum likelihood estimators of the parameters defining the model by using either the Newton-Raphson or Muller's method; a goodness-of-fit test based on a Kolmogorov-Smirnovstatistic; estimation of remaining faults, cumulative failures, and reliability; and estimation of the optimal release time based on certain cost criteria.
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.
Model Based Testing - This document, developed in 2004 for the DACS Gold practice Initiative, and is available for download in PDF format. Definition and Summary: Model-Based Testing is the automatic generation of efficient test procedures/vectors using models of system requirements and specified functionality.
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.
PRICE Systems LLC - PRICE® Systems enables organizations to successfully estimate and analyze the effort, schedule and cost of the projects. PRICE develops and supports cost estimating, analysis, and knowledge capture tools to help customers manage cost and schedule throughout a project's lifecycle. Combined with our expert mentoring in cost estimating, project control methods, and best practices, these tools enable a standard, repeatable cost estimating discipline.
PRICE® Systems markets the True S model for software estimation. This model is a successor to the PRICE-S model they have marketed.
Quantitative Software Management (QSM) - QSM offers their clients the Software Lifecycle Management (SLIM) processes and tools for software cost estimating, reliability modeling, schedule estimating, planning, tracking, and benchmarking. They also offer consulting services in these areas.
Reliability & Maintenance Analyst - This software consists of two modules; a life data analysis module and a maintenance optimization module.
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.
SoftRel - Software Reliability Prediction - SoftRel develops predictive models. Namely numerical and classification models via data mining, knowledge discovery, and knowledge extraction.
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.
VT Enterprise Software Validation - Experts in outsourcing services for software maintenance, software testing and quality assurance services, and technical documentation.
DACS Gold Practice Initiative
