Abstract:Software reliability testing refers to various software testing activities that are driven to achieve a quantitative reliability goal given a priori or lead to a quantitative reliability assessment for the software under test. In this paper we develop a modeling framework for the software reliability testing process, comprising a simplifying model and a generalized model. In both models the software testing action selection process and the defect removal mechanism are explicitly described. Both the discrete-time domain and the continuous-time domain are involved. The generalized model is more accurate or realistic than the simplifying model since the former avoids the assumption that defects are equally detectable and the assumption that defects are removed upon being detected. However simulation examples show that the simplifying model really captures some of essential features of the software testing process after a short initial testing stage. The modeling framework is practically realistic, mathematically rigorous, and quantitatively precise. It demonstrates that the relationship between software testing and delivered software reliability, which was poor understood, can well be formulated and quantified. Rigorous examinations show that several common assumptions adopted in software reliability modeling, including the independence assumption, the exponentiality assumption, and the NHPP assumption, are theoretically false in general. This paper sets a good starting point to further formalize and quantify the software testing process and its relation to delivered software reliability.

Method of software testing based on program understanding

Method of Program Understanding Based on Computational Function

Computation platform for automatic analysis of embedded software systems using model based approach

Overview of program comprehension

Formal Plan Recognizing Technique Based on Semantic Layer Software Comprehension

Model-based Approach for Software Test Adequacy Analysis

Automated Coverage-Driven Testing: Combining Symbolic Execution and Model Checking

Automated Testing of Definition-Use Data Flow for Multithreaded Programs.

A Mathematical Modeling Framework for Software Reliability Testing

A Method of Software Test Based on Statistical Methodology

A Study of Computetr Software Testing Method

Research Of Testing For Scientific Computing Software In The Area Of Nuclear Power Based On Metamorphic Testing

A Software Test Approach Based on Program Slicing Technique

TADS Testability Analysis Software Platform

Testing Model Based on Software Reliability Engineering

Intelligent Analysis for Software Data: Research and Applications

Path Testing Methods for Software Testing

Software Testing Processes As a Linear Dynamic System.

An objective-oriented approach to program comprehension using multiple information sources

Testing of Component-Based Software: A Metamorphic Testing Methodology

A Method Combining Review and Testing for Verifying Software Systems