Source Code Assurance Tool: An Implementation

CAMPBELL, PHILIP L. ; ESPINOZA, JUAN

Sandia National Laboratories

关键词: Implementation;    S Codes;    Quality Assurance;    99 General And Miscellaneous//Mathematics, Computing, And Information Science;   

DOI  :  10.2172/789523
RP-ID  :  SAND2001-3094
RP-ID  :  AC04-94AL85000
RP-ID  :  789523

美国|英语

来源: UNT Digital Library

【 摘 要 】

We present the tool we built as part of a Laboratory Directed Research and Development (LDRD) project. This tool consists of a commercially-available, graphical editor front-end, combined with a back end ''slicer.'' The significance of the tool is that it shows how to slice across system components. This is an advance from slicing across program components.