Abstract:A new graphical representation, the Control Structure Diagram (CSD), has been created to visualize software at both the source code and program design language (PDL) level. The primary impetus for creation of the CSD was to improve the comprehension efficiency of software and, as a result, improve reliability and reduce costs. The CSD has the potential to replace traditional prettyprinted source code. As part of the GRASP (Graphical Representations of Algorithms, Structures, and Processes) research project at Auburn University, the GRASP software engineering tool has been successfully developed. GRASP automatically generates CSDs from source code written in Ada, C, C++, Java, and VHDL. The emphasis to this point has been on the automatic generation of the CSD to support development, maintenance, reverse engineering and reengineering through the use of GRASP. GRASP has been applied successfully to numerous programs ranging in size from several hundred to several thousand lines of source code and is efficient and sufficiently flexible for use in a production setting. To demonstrate the potential benefits of the CSD and its automatic generation using GRASP, a series of empirical studies has been planned and initiated. First, as reported in this article, the perceived usefulness of the CSD was evaluated using a preference instrument based on eleven performance characteristics in which a comparison was made with other well-known graphical representations for algorithms. Statistical analysis indicated numerous significant differences with a clear preference for the CSD in seven of the eleven performance characteristics. Further empirical studies, currently being implemented, will examine the effect of the CSD and GRASP on objective measures such as comprehension efficiency and effectiveness.

Automatic Generation Algorithm of the Control Flow Graph

Data Automatic Generation Approach for Path Test

A Control Flow Diagram Generation Algorithm Based on Clang Static Analyzer

Effective code coverage in compositional systematic dynamic testing

Automated Test Data Generation Based on Program Execution

Automatic Test Data Generation for Multiple Paths and Its Applications

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria

Automatic enhanced CDFG generation based on runtime instrumentation

A Sorting Algorithm for Automatic Process Generation

Automatic Test Data Generation Based on Usage Model and Genetic Algorithm

An Supporting Tool Based on Design Flowchart

A Generation Algorithm and Its Application for Fault Model Established with Data Flow Graph

An Approach to Generate Software Test Data for a Specific Path Automatically with Genetic Algorithm

Block-Based Test Data Adequacy Measurement Criteria and Test Complexity Metrics

Automatic test pattern generation for functional register-transfer level circuits using assignment decision diagrams

AI Chain on Large Language Model for Unsupervised Control Flow Graph Generation for Statically-Typed Partial Code

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

New methodology of automatic construction of fault trees for control systems

The Control Structure Diagram: An Overview and Initial Evaluation

Automatic Grammar-Based Test Generation.

A new method for automatic construction of fault propagation digraph based on OO models