Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Physical Sciences and Mathematics
Data Constraints In Function-Oriented Languages, Earl Stavis Harris
Data Constraints In Function-Oriented Languages, Earl Stavis Harris
Dissertations, Theses, and Masters Projects
No abstract provided.
Knowledge-Based System For Flight Information Management, Wendell R. Ricks
Knowledge-Based System For Flight Information Management, Wendell R. Ricks
Dissertations, Theses, and Masters Projects
No abstract provided.
A Dynamic Failure Model For Performing Propagation And Infection Analysis On Computer Programs, Jeffrey Mark Voas
A Dynamic Failure Model For Performing Propagation And Infection Analysis On Computer Programs, Jeffrey Mark Voas
Dissertations, Theses, and Masters Projects
This thesis introduces a methodology for determining program locations where faults can easily hide. It is a program structure-based model that analyzes program flow both statically and dynamically; each program location is analyzed relative to its preceding locations and succeeding locations. A statistical model termed propagation analysis studies the relation between incorrect internal data states and their affect on the output. Infection analysis is a statistically model which studies the relation between classes of faults and internal data states. Together these two models combine to form one model of analyzing programs termed Propagation and Infection Analysis (PIA).;PIA employs aspects of …