Reports
Design of a System for Anomaly Detection in HAL/S Programs ; CU-CS-151-79 Public Deposited
https://scholar.colorado.edu/concern/reports/sj139267r
- Abstract
- An approach to the analysis of HAL/S software is discussed. The approach, called anomaly detection, involves the algorithmic derivation of information concerning potential errors and the subsequent, possibly non-algorithmic determination of whether or not the reported anomalies are actual errors. We give detailed designs for algorithms for detecting data-usage and synchronization anomalies and discuss how this technique may be integrated within a general software development support system.
- Creator
- Date Issued
- 1979-03-01
- Academic Affiliation
- Last Modified
- 2019-12-21
- Resource Type
- Rights Statement
- Language
Relationships
Items
Thumbnail | Title | Date Uploaded | Visibility | Actions |
---|---|---|---|---|
designOfASystemForAnomalyDetectionInHalSProgramsCuC.pdf | 2019-12-21 | Public | Download |