• Home
  • Search
  • Improving test adequacy and software reliability with practices of statistical testing
  • https://doi.org/10.1109/icrse.2017.8030809Copy DOI Icon

Improving test adequacy and software reliability with practices of statistical testing

  • Jul 1, 2017
  • Yufeng Xue +4 more
Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

Statistical testing based on a Markov chain usage model, as a rigorous testing method, has been around for more than two decades. Through the comprehensive application of statistical science to the testing of software, it provides audit trails of evidence to support correctness arguments for a software-intensive system as well as a decision that the system is of requisite quality for its intended use. This paper reports a real-world case study in which we applied standard statistical testing practices to the phone flag copy testing problem at the site of our industrial collaborator, and presents our solution from problem formalization, usage modeling and model analysis to test case generation and analysis. Our results helped evaluate the coverage of a heuristically generated test suite, and shed light on what other test cases to craft/generate to improve test coverage and adequacy, as well as reliability estimates both at the arc (usage event) level and at the path (system) level.

Similar Papers
  • Conference Article
  • Citations33

Quantifying the reliability of software: statistical testing based on a usage model

  • Aug 21, 1995
  • C Trammell
  • Conference Article
  • Citations4

Software reliability estimation method based on Markov usage models using Importance Sampling

  • Oct 01, 2012
  • Deping Zhang +2
  • Research Article

CenUMs – concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of use

  • Jul 25, 2016
  • Science of Computer Programming
  • Daniel Homm +2
  • Conference Article
  • Citations8

Automatic generation of Markov chain usage models from real-time software UML models

  • Sep 08, 2004
  • Jiong Yan +2
  • Research Article
  • Citations1

Reducing Safety-Critical Software Statistical Testing Cost Based on Importance Sampling Technique

  • Jan 03, 2012
  • Advanced Materials Research
  • Jiong Yan +2
  • Research Article
  • Citations912

Reliability, repeatability and reproducibility: analysis of measurement errors in continuous variables

  • Feb 27, 2008
  • Ultrasound in Obstetrics & Gynecology
  • J W Bartlett +1
  • Research Article
  • Citations6

A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models

  • Dec 01, 2010
  • Electronic Notes in Theoretical Computer Science
  • Winfried Dulz +2
  • Conference Article

Usage modeling through sequence enumeration for automated statistical testing of a GUI application

  • Jun 01, 2014
  • Lan Lin +2
  • Research Article
  • Citations1

Evaluating the Test Adequacy of Benchmarks for LLMs on Code Generation

  • Jun 25, 2025
  • Journal of Software: Evolution and Process
  • Xiangyue Liu +5
  • Book Chapter
  • Citations1

Model-Based Strategies for Reducing the Complexity of Statistically Generated Test Suites

  • Jan 01, 2013
  • Winfried Dulz
  • Conference Article
  • Citations5

Weighted statistical white-box testing with proportional-optimal stratification

  • Jun 27, 2014
  • Fouad Ben Nasr Omri
  • Book Chapter
  • Citations9

2 Software reliability

  • Jan 01, 1988
  • Handbook of Statistics
  • Farokh B Bastani +1
  • Conference Article
  • Citations2

Model driven testing of embedded automotive systems with timed usage models

  • Jul 01, 2010
  • Sebastian Siegl +2
  • Research Article
  • Citations44

Optimal and adaptive testing for software reliability assessment

  • Oct 21, 2004
  • Information and Software Technology
  • Kai-Yuan Cai +2
  • Research Article
  • Citations13

Quantitative software reliability assessment methodology based on Bayesian belief networks and statistical testing for safety-critical software

  • May 26, 2020
  • Annals of Nuclear Energy
  • Yuanfeng Cai +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.