Simulation of Error Detection in Computer Programs
Abstract
The relationship between computer program complexity and error detection capability is investigated by representing a program as a directed graph and simulating the detection and correction of errors. Variables of interest are test coverage, number of inputs, residual errors, execution time, correction time and node-arc-loop relationships. One applica- tion is in software design where the information provided by the model would be used to select pro- gram structures which are easy to test. A second application is in software testing where test strategies and allocation of test effort would be based on error detection and complexity considerations.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Detection of gamma-neutron radiation by solid-state scintillation detectors
Ryzhikov, V.; Grinyov, B.; Piven, L.; Onyshchenko, G.; Sidletskiy, O.; Naydenov, S.; Pochet, T.; Smith, C. (IEEE, 2015-07-01);It is known that solid-state scintillators can be used for detection of both gamma radiation and neutron flux. In the past, neutron detection efficiencies of such solid-state scintillators did not exceed 5-7%. At the same ... -
Cyber System Assurance through Improved Network Anomaly Modeling and Detection
Bollmann, Chad A. (Monterey, California: Naval Postgraduate SchoolMonterey, California. Naval Postgraduate School, 2019-12); NPS-19-N039-AThe objectives of this work were to investigate the source of the dual natures of network traffic (i.e., Gaussian and alpha-stable) in order prove the merit of further development, improvement, and application of non-parametric ... -
Cyber System Assurance through Improved Network Anomaly Modeling and Detection
Bollmann, Chad A. (Monterey, California: Naval Postgraduate SchoolMonterey, California. Naval Postgraduate School, 2019-12); NPS-19-N039-AThe objectives of this work were to investigate the source of the dual natures of network traffic (i.e., Gaussian and alpha-stable) in order prove the merit of further development, improvement, and application of non-parametric ...