Models and Measurements for Quality Assessment of Software
ACM Computing SurveysPublished 1 September 1979
Siba N. Mohanty
Citations63
SJR quartileQ1
SJR score5.80
SNIP11.03
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
Several software quality assessment methods which span the software life cycle are discussed and software science and Zipf's law are shown to be useful for estimating program length and implementatmn time.
Abstract
article Free Access Share on Models and Measurements for Quality Assessment of Software Author: Siba N. Mohanty Martin Marietta Laboratories, 1450 South Rolling Road, Baltimore, Maryland Martin Marietta Laboratories, 1450 South Rolling Road, Baltimore, MarylandView Profile Authors Info & Claims ACM Computing SurveysVolume 11Issue 3Sept. 1979 pp 251–275https://doi.org/10.1145/356778.356783Published:01 September 1979Publication History 51citation2,169DownloadsMetricsTotal Citations51Total Downloads2,169Last 12 Months27Last 6 weeks6 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Keywords
Computer Science
Birkhäuser Boston eBooksA Decomposition Theorem for Partially Ordered Sets
1,003 Citations2009R. P. Dilworth
IEEE Transactions on Software EngineeringA theory of software reliability and its application
558 Citations1975Donald Musa
The reliability model that has been developed can be used in making system tradeoffs involving software or software and hardware components and provides a soundly based unit of measure for the comparative evaluation of various programming techniques that are expected to enhance reliability.
IEEE Transactions on Software EngineeringTesting Programs with the Aid of a Compiler
549 Citations1977Richard Hamlet
Finite input-output specifications are added to the syntax of programs so that they exercise the control and expression structure of a program as well as any tests can and can be verified at compile time.
IBM Systems JournalA model of large program development
473 Citations1976L. A. Belady, M. M. Lehman
Observations made on the development of OS/360 and its subsequent enhancements and releases are discussed and some modeling approaches to organizing these observations are presented.
Journal of the Royal Statistical Society Series C (Applied Statistics)A Bayesian Reliability Growth Model for Computer Software
457 Citations1973Bev Littlewood, J. L. Verrall
A Bayesian reliability growth model is presented which includes special features designed to reproduce special properties of the growth in reliability of an item of computer software (program).
IEEE Transactions on Software EngineeringReliability of the Path Analysis Testing Strategy
399 Citations1976William E. Howden
It is proved that an effective testing strategy which is reliable for all programs cannot be constructed and a method for analyzing the reliability of path testing is introduced.
FigshareInformation distribution aspects of design methodology
317 Citations2018David Lorge Parnas
The role of documentation in the design and implementation of complex systems is explored, resulting in suggestions in sharp contrast with current practice, and the thesis that such information "broadcasting is harmful, that it is helpful if most system information is hidden from most programmers, is supported.
IEEE Transactions on Software EngineeringAn Analysis of Competing Software Reliability Models
272 Citations1978George J. Schick, R.W. Wolverton
This paper examines the most widely used reliability models, including models based on discrete as weil as continuous probability distributions, with actual data as to the applicability of the error fmding process.
ACM Computing SurveysA Review and Evaluation of Software Science
182 Citations1978Ann Fitzsimmons, Tom Love
The primary purpose of this paper is to review Halstead's theory of software science and to evaluate the major studies and experiments relating to that theory.
Communications of the ACMProof of a program
178 Citations1971C. A. R. Hoare
A proof is given of the correctness of the algorithm “Find” and some conclusions relating to general programming methodology are drawn.
Proof of a Program: FIND
156 Citations1978C. A. R. Hoare
A proof is given of the correctness of the algorithm "Find" and an informal description of the purpose of the program and the method used.
Operations research proceedingsAssessment of Software Reliability
124 Citations1973George J. Schick, R.W. Wolverton
Methods for and problems in achieving reliability of large-scale software systems are discussed and software development and test management procedures which lead to software reliability are analyzed.
ACM Computing SurveysPerspectives in Software Engineering
117 Citations1978Marvin V. Zelkowitz
The procedures used in the development of computer software, emphasizing large-scale software development, and pmpomtmg areas where problems exist and solutions have been proposed are outlined.
ACM SIGPLAN NoticesNatural laws controlling algorithm structure?
94 Citations1972M. H. Halstead
It is proposed that algorithms, considered as distrillations of thought, may possess a general structure which obeys physical laws, and testing the hypothesis against measurements of published algorithms does not disprove it.
IEEE Transactions on ComputersA Measure of Computational Work
77 Citations1972Leo Hellerman
The relation between the work of a process and the work capacity of a facility on which it is implemented is examined, and a concept of efficiency of implementations is formulated.
Perspectives on Software Engineering
74 Citations1978Marvin V. Zelkowitz
Quantitative measurement of program quality
61 Citations1968Raymond J. Rubey, R. Dean Hartwick
In the absence of specific, applicable quantitative measurement tools there exists no means of defining the desired level of quality in a computer program, where quality is considered as something beyond correct program functioning, nor of ascertaining whether the desiredlevel has been achieved.
Toward a theoretical basis for estimating programming effort
46 Citations1975M. H. Halstead
The measurement of static properties of small algorithms yield data which, when combined with suitable assumptions, provide an equation which contains no arbitrary constants and is tested against a small data sample, and the results do not invalidate the hypothesis.
Lecture notes in computer scienceOn a measure of program structure
30 Citations1974R. N. Chanon
This thesis proposes a definition and a measure for program structure and evaluates the usefulness of the measure as a tool for determining and controlling structure in a program.
International Conference on Software EngineeringMeasuring reliability of computation center software
22 Citations1978Patricia Hamilton, Donald Musa
This paper investigates the application of the execution time theory of software reliability to operational computation center software and studies of individual operating system components are discussed, as well as a functional subsystem.
Software Practice and ExperienceA transportable extendable compiler
20 Citations1975Victor R. Basili, Albert J. Turner
The development of a transportable extendable self‐compiler for the language SIMPL‐T, designed as the base language for a family of languages, and its transportable bootstrap are described.
International Conference on Software EngineeringHow to measure software reliability, and how not to
17 Citations1978Bev Littlewood
This paper examines critically, with a view to stimulating a discussion, some concepts which have been used in early work on software reliability measurement, and suggests improvements and areas of potentially fruitful future research.
ACM SIGPLAN NoticesOn a proposed measure of program structure
14 Citations1974Amos N. Gileadi, Henry Ledgard
With such a measure, it could be determined which of several flowcharts used to describe a program is best from a structural point of view, rather than fro m the classical viewpoints : the least computation time or the least amount of storage needed.
ComputerReliability of CMOS Integrated Circuits
13 Citations1978G.L. Schnable, L. Gallace +1 more
CMOS ICsare being produced using a variety of processes, and considerable data is now available on their reliability and failure mechanisms.
ComputerThe Use of Simulation in the Evaluaton of Software
11 Citations1977Norman F. Schneidewind
Simulation is used in the software development process to reduce programming errors, increase the ability to detect errors, and prove, if only informally, that the program is correct.
Defense Technical Information Center (DTIC)On the Number of Tests Necessary to Verify a Computer Program.
1 Citations1978Gabriel Popkin, Martin L. Shooman
The use of flowchart graphs, adjacency matrices, and zero-one linear programming to find the minimum number of tests necessary to execute every segment of a computer program at least once is discussed.