Engineering Software Under Statistical Quality Control

Authors:
Richard H. Cobb;Harlan D. Mills
Affiliations:
-;-
Venue:
IEEE Software
Year:
1990

Citing 4
Cited 36

Cleanroom Software Development: An Empirical Evaluation

IEEE Transactions on Software Engineering
Stepwise Refinement and Verification in Box-Structured Systems

Computer
Correctness verification: Alternative to structural software testing

Information and Software Technology - Software quality assurance
Structured Programming; Theory and Practice the Systems Programming Series

Structured Programming; Theory and Practice the Systems Programming Series

Faults on its sleeve: amplifying software reliability testing

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A parallelized search strategy for solving a multicriteria aircraft routing problem

SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
How good is good enough?: an ethical analysis of software construction and use

Communications of the ACM
Adopting Cleanroom software engineering with a phased approach

IBM Systems Journal
Cleanroom Process Model

IEEE Software
Foundations of software testing: dependability theory

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A reliability model combining representative and directed testing

Proceedings of the 18th international conference on Software engineering
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing

IEEE Transactions on Software Engineering
Choosing a testing method to deliver reliability

ICSE '97 Proceedings of the 19th international conference on Software engineering
Cleanroom software engineering for zero-defect software

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Reliable software and communication: software quality, reliability, and safety

ICSE '93 Proceedings of the 15th international conference on Software Engineering
An experiment in estimating reliability growth under both representative and directed testing

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
On random and partition testing

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Evaluating Testing Methods by Delivered Reliability

IEEE Transactions on Software Engineering
On subdomains: Testing, profiles, and components

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
On Comparisons of Random, Partition, and Proportional Partition Testing

IEEE Transactions on Software Engineering
Modeling reliability growth during non-representative

Annals of Software Engineering
Functional programming, and where you can put it

ACM SIGPLAN Notices
Integrated CASE for Cleanroom Development

IEEE Software
Experience Using Cleanroom Software Engineering

IEEE Software
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing

IEEE Transactions on Software Engineering
Enhancing cleanroom techniques with refinement calculus

CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Automated testing using executable formal specifications

SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Reliability Certification of Software Components

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Error injection aimed at fault removal in fault tolerance mechanisms-criteria for error selection using field data on software faults

ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Box-structured methods for systems development with objects

IBM Systems Journal
Adaptive Random Testing Through Dynamic Partitioning

QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Is adaptive random testing really better than random testing

Proceedings of the 1st international workshop on Random testing
Software reuse: survey and research directions

Journal of Management Information Systems - Special section: Managing virtual workplaces and teleworking with information technology
Enhancing adaptive random testing in high dimensional input domains

Proceedings of the 2007 ACM symposium on Applied computing
The impact of software process standardization on software flexibility and project management performance: Control theory perspective

Information and Software Technology
Enhancing adaptive random testing for programs with high dimensional input domains or failure-unrelated parameters

Software Quality Control
Enhanced lattice-based adaptive random testing

Proceedings of the 2009 ACM symposium on Applied Computing
Source code prioritization using forward slicing for exposing critical elements in a program

Journal of Computer Science and Technology
Adaptive random testing through iterative partitioning

Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Code-based prioritization: a pre-testing effort to minimize post-release failures

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.02

Visualization

Abstract

Eight common misconceptions of software quality are examined and refuted. The concept of cleanroom engineering of software is introduced. Cleanroom engineering achieves intellectual control by applying rigorous, mathematics-based engineering practices, establishes an errors-are-unacceptable attitude and a team responsibility for quality, delegates development and testing responsibilities to separate teams, and certifies the software's mean time to failure through the application of statistical quality-control methods. A typical project is used to explain the concepts and procedures.