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
Software Process and Product Improvement: A Historical Perspective
TL;DR: A historical overview of significant attempts to get over the software crisis is presented and the development of lifecycle models and information systems development methodologies during the last four decades is traced.
Journal ArticleDOI
The servicisation of the cutting tool supply chain
TL;DR: A review of the literature reveals that most research focuses on each aspect of the local optimisation of operational issues in isolation (i.e., tool monitoring, spare parts management, logistics, and scheduling problems) as mentioned in this paper.
Proceedings ArticleDOI
Can testedness be effectively measured
TL;DR: A novel evaluation of two of the most important and widely-used measures of test suite quality, statement coverage and mutation score, showing that both have only a weak negative correlation with bug-fixes.
Proceedings ArticleDOI
A framework for quality assessment of ROS repositories
TL;DR: HAROS is presented, a generic, plug-in-driven, framework to evaluate code quality, through static analysis, in the context of the Robot Operating System (ROS), one of the most widely used robotic middleware.
Journal ArticleDOI
Fault models and test generation for hardware-software covalidation
TL;DR: This article presents a research summary of the main barriers to overcome in finding the right fault models and optimizing the validation flow in mixed hardware-software systems.
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.