scispace - formally typeset
Journal ArticleDOI

A Complexity Measure

Reads0
Chats0
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

Structural testing of rule-based expert systems

TL;DR: This paper describes an extension of data flow path selection in which a graphical representation of a rule base is defined and evaluated, and this graphical form, called a logical path graph, captures logical paths through arule base.
Journal ArticleDOI

Cross-validation based K nearest neighbor imputation for software quality datasets: An empirical study

TL;DR: This work develops a novel incomplete-instance based KNN imputation technique, which utilizes a cross-validation scheme to optimize the parameters for each missing value and observes that the classification accuracy is improved or at least maintained by using the approach for missing data imputation.
Proceedings Article

Tweety: a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation

TL;DR: An overview on the technical architecture of Tweety and a description of its different libraries is given and two case studies are provided that show how Tweety can be used for empirical evaluation of different problems in artificial intelligence.
Journal ArticleDOI

Quantitative Estimates of Debugging Requirements

TL;DR: A model to estimate the number of bugs remaining in a system at the beginning of the testing and integration phases of development, based on software science metrics, is presented.
Proceedings ArticleDOI

Communication metrics for software development

TL;DR: The design and evaluation of a set of communication metrics for software development is discussed, to develop metrics that enable the assessment of a tool or a method in the context of a project.
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.