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
Measuring Non-Functional Properties in Software Product Line for Product Derivation
TL;DR: In this article, the authors discuss and present techniques to measure non-functional properties of software modules and use these values to compute SPL configurations optimized to the users' needs, such as restricted binary size and performance guarantees.
Journal ArticleDOI
A large scale empirical comparison of state-of-the-art search-based test case generators
TL;DR: A large-scale empirical comparison with further techniques from the state of the art on search-based test generation techniques shows that single target approaches are generally outperformed by multi-target approaches, while within the multi- target approaches, Dyna MOSA/MOSA, which are based on many-objective optimization, outperform the others, in particular for complex classes.
Book ChapterDOI
A Metric-Based Approach for Anti-pattern Detection in UML Designs
TL;DR: This work proposes an approach that identifies anti-patterns in UML designs through the use of existing and newly defined quality metrics and examines structural and behavioral information through the class and sequence diagrams.
Proceedings ArticleDOI
Practical considerations in deploying AI for defect prediction: a case study within the Turkish telecommunication industry
TL;DR: This project is a transfer of the research experience into a real life setting to solve a specific problem for the company: to improve code quality by predicting pre-release defects and efficiently allocating testing resources.
Proceedings ArticleDOI
Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis
Stephen Law,Iain Bate +1 more
TL;DR: This paper aims to investigate how search algorithms can be used to automatically, and reliably, generate test cases so that appropriate execution traces are available to support MBTA.
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.