Source Code Assurance Tool: LDRD Final Report

Espinoza, Juan; Campbell, Philip LaRoche

doi:10.2172/789518

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2001

Publication Types

Select...

Other2

Relationship

Self Cite2

Independent0

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The larger context of the research is available elsewhere. [2] The purpose of the research is to develop a tool that can "slice" across system components. [1] A slice, based on a statement, S, of a computer program, P, is the set of statements in P that are the transitive closure of statements that are data-or control-flow dependent on S. When slicing was first introduced, the focus was on slicing within functions.…”

Section: Introductionmentioning

confidence: 99%

Source Code Assurance Tool: An Implementation

Campbell¹,

Espinoza²

2001

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 99%

Source Code Assurance Tool: An Implementation

Campbell¹,

Espinoza²

2001

Self Cite

View full text Add to dashboard Cite

show abstract

Visual Structure Language

Campbell¹,

Espinoza²

2001

Self Cite

View full text Add to dashboard Cite

In this paper we describe a new language, Visual Structure Language (VSL), designed to describe the structure of a program and explain its pieces. This new language is built on top of a general-purpose language, such as C. The language consists of three extensions: explanations, nesting, and arcs. Explanations are comments explicitly associated with code segments. These explanations can be nested. And arcs can be inserted between explanations to show data-or control-flow.The value of VSL is that it enables a developer to better control a code. The developer can represent the structure via nested explanations, using arcs to indicate the flow of data and control. The explanations provide a "second opinion" about the code so that at any level, the developer can confirm that the code operates as it is intended to do.We believe that VSL enables a programmer to use in a computer language the same model-a hierarchy of components-that they use in their heads when they conceptualize systems.

show abstract

Source Code Assurance Tool: LDRD Final Report

Abstract: This report provides a summary of the work completed in the Source Code Assurance Tool project. This work was done as part of the Laboratory Directed Research and Development program.ii iii

Cited by 2 publications

References 0 publications

Source Code Assurance Tool: An Implementation

Source Code Assurance Tool: An Implementation

Visual Structure Language

Contact Info

Product

Resources

About