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
On Measuring the Complexity of Monitoring and Controlling Large-Scale Systems
TL;DR: Although system design characteristics such as redundancy may help to avoid the short-term effects of failures, these same characteristics may have the dual effect of making the human supervisory controller's task more difficult.
Proceedings ArticleDOI
The weak mutation hypothesis
TL;DR: The weak mutation hypothesis is that test cases that satisfy the reachability and necessity conditions will satisfy the sufficiency condition, and a study of 100 faults reveals that the hypothesis holds true for 44 of them.
Proceedings Article
API Blindspots: Why Experienced Developers Write Vulnerable Code
Daniela Oliveira,Tian Lin,Muhammad Sajidur Rahman,Rad Akefirad,Donovan M. Ellis,Eliany Perez,Rahul Bobhate,Lois Anne DeLong,Justin Cappos,Yuriy Brun,Natalie C. Ebner +10 more
TL;DR: The presence of blindspots correlated negatively with the developers’ accuracy in answering implicit security questions and the developers' ability to identify potential security concerns in the code, and has the potential to advance API security in design, implementation, and testing of new APIs.
Journal ArticleDOI
Towards a better understanding of software evolution: an empirical study on open-source software
TL;DR: An empirical study on long spans in the lifetime of seven open source projects to verify Lehman's laws of software evolution, which indicate that several of these laws are confirmed, while the rest can be either confirmed or infirmed depending on the laws' operational definitions.
How does development lead time affect performance over the ramp-up lifecycle? : evidence from the consumer electronics industry
TL;DR: In this paper, a more comprehensive and enriched analysis of the drivers for development lead time and ramp-up performance in the cell phone industry is presented, showing that late schedule slips, although disastrous for customer relations in which due dates are crucial, provide the opportunity to build up (semi-finished) product buffers which in turn increase the initial rampup performance.
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.