scispace - formally typeset
Journal ArticleDOI

A Complexity Measure

TLDR
Several properties of the graph-theoretic complexity are proved which show, for example, that complexity is independent of physical size and complexity depends only on the decision structure of a program.
Abstract
This paper describes a graph-theoretic complexity measure and illustrates how it can be used to manage and control program complexity. The paper first explains how the graph-theory concepts apply and gives an intuitive explanation of the graph concepts in programming terms. The control graphs of several actual Fortran programs are then presented to illustrate the correlation between intuitive complexity and the graph-theoretic complexity. Several properties of the graph-theoretic complexity are then proved which show, for example, that complexity is independent of physical size (adding or subtracting functional statements leaves complexity unchanged) and complexity depends only on the decision structure of a program.

read more

Citations
More filters
Proceedings ArticleDOI

Security of open source web applications

TL;DR: An empirical study of fourteen widely used open source PHP web applications found that the vulnerability density of the aggregate code base decreased from 8.88 vulnerabilities/KLOC to 3.30 from Summer 2006 to Summer 2008.
Proceedings ArticleDOI

A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems

TL;DR: This work summarizes universal properties and implicit limitations of recognized object-oriented metric sets in the face of ever-increasing complexities of modern software systems and integrates these metrics and parameters into a hierarchical complexity metrics set, which can measure the complexity at different levels of a large-scale software system.
Journal ArticleDOI

Program design methodologies and the software development process

TL;DR: Program design methodologies which claim to improve the design process by providing strategies to programmers for structuring solutions to computer problems are examined to develop profiles of the solutions produced by different methodologies and to develop comparisons among the various methodologies.
Proceedings ArticleDOI

Experiments with computer software complexity and reliability

TL;DR: Experiments with quantitative assessment and prediction of software reliability are presented and show that an estimation can be derived from the analysis of its complexity profile.
Journal ArticleDOI

Theory and practice of risk‐based testing

TL;DR: A theory of risk‐based test planning is extended, techniques to facilitate it are introduced, their practical application is explained, and opportunities for research to enquire into their feasibility and efficacy are highlighted.
References
More filters
Journal ArticleDOI

Structured Programming with go to Statements

TL;DR: For serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to Statements" is probably the paper to read.
Journal ArticleDOI

Analysis of structured programs

TL;DR: It is shown that an arbitrary program P is reducible to a D-chart if and only if P does not contain a loop with two distinct exits.
Journal ArticleDOI

A genealogy of control structures

TL;DR: It is argued further that there is insufficient evidence to warrant more than if-then-else, while-do, and their variants and the importance of one-in, one-out control structures as operational abstractions.