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
Journal ArticleDOI

UML behavioral model based test case generation: a survey

TL;DR: This survey focuses on test case generation from the behavioral specification diagrams, namely sequence, state chart and activity diagrams, and classify the various research approaches that are based on formal specifications, graph theoretic, heuristic testing, and direct UML specification processing.

Static Single Assignment for Decompilation

TL;DR: The goal of extending the state of the art of machine code decompilation has been achieved and the most promising areas for future research have been identified as range analysis and alias analysis.
Journal ArticleDOI

Evaluating design metrics on large-scale software

TL;DR: Design-quality metrics that are being developed for predicting the potential quality and complexity of the system being developed are discussed and the results of applying two design metrics and a composite metric to data from a large-scale industrial project are presented.
Proceedings ArticleDOI

Mining the maintenance history of a legacy software system

TL;DR: This paper presents an example of a model that represents a relation between pairs of files and shows how it can be extracted from the software update records of a real world legacy system.
Journal ArticleDOI

Prediction approach of software fault-proneness based on hybrid artificial neural network and quantum particle swarm optimization

TL;DR: The experiment results show that the proposed prediction approach can establish the correlation between software metrics and modules' fault-proneness, and is very simple because its implementation requires neither extra cost nor expert's knowledge.
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.