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
Proceedings ArticleDOI
How does the degree of variability affect bug finding
TL;DR: A controlled experiment to quantify the impact of variability on debugging of preprocessor- based programs and shows that the speed of bug finding decreases linearly with the level of variability, while effectiveness of finding bugs is relatively independent of the degree of variability.
Journal ArticleDOI
Code quality evaluation methodology using the iso/iec 9126 standard
Yiannis Kanellopoulos,Panagiotis Antonellis,Dimitris Antoniou,Christos Makris,Evangelos Theodoridis,Christos Tjortjis,Nikos Tsirakis +6 more
TL;DR: In this article, a methodology for source code quality and static behavior evaluation of a software system, based on the standard ISO/IEC-9126, is proposed and applied to two case studies, involving five open source and one proprietary system.
Proceedings ArticleDOI
VPFS: building a virtual private file system with a small trusted computing base
Carsten Weinhold,Hermann Härtig +1 more
TL;DR: The lessons learned when developing VPFS, a virtual private file system that is based on both a small amount of trusted storage and an untrusted legacy file system residing on the same machine are presented.
Proceedings ArticleDOI
Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes
TL;DR: A useful modeling framework to assess the quantitative software reliability with time-dependent covariate as well as software-fault data is developed and the accuracy on reliability assessment strongly depends on the kind of software metrics used for analysis and can be improved by incorporating time- dependent metrics data in modeling.
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.