Software Validation: Inspection, Testing, Verification, Alternatives : Proceedings of the Symposium on Software Validation Held in Darmstadt, FRG, September 25-30, 1983Hans-Ludwig Hausen |
Contents
SOFTWARE QUALITY ASSURANCE | 1 |
VALIDATION BY INSPECTION | 11 |
Buck James H Dobbins | 41 |
Copyright | |
15 other sections not shown
Common terms and phrases
abstract data types Ada programs algorithm analyzer Anna annotations application automatically Average Defects branch predicate constraints constructs correct data flow Data Flow Analysis data structure data types DataFlow DD-path Debugging Defects Per K-lines defined definition denoted described device interface documentation dynamic analysis entities errors example Figure FKWICP formal verification FORTRAN functions IEEE implementation input integrated Invocation Keywords logical loop loop fusion memory-state methodology module node operations package parameters partition analysis path computation path domain predicates probes problem procedure subdomain Program Testing program verification Programming environments programming language provides quality assurance R-value refinement relation representation requirements RXVP semantics sequence software development Software Engineering software inspections Software Quality software system Software Testing software validation specification statement static analysis subprogram symbolic evaluation symbolic execution symbolic expressions techniques test method Testing/Dynamic analysis Testing/Dynamic assertions transformation values variables workproduct