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
Gender Roles And Home Computer Use By Children, Trelles Whitfield D'Alemberte
Gender Roles And Home Computer Use By Children, Trelles Whitfield D'Alemberte
Dissertations, Theses, and Masters Projects
No abstract provided.
Error Flow In Computer Programs, Branson Wayne Murrill
Error Flow In Computer Programs, Branson Wayne Murrill
Dissertations, Theses, and Masters Projects
White box program analysis has been applied to program testing for some time, but this analysis is primarily grounded in program syntax, while errors arise from incorrect program semantics. We introduce a semantically-based technique called error flow analysis, which is used to investigate the behavior of a program at the level of data state transitions. Error flow analysis is based on a model of program execution as a composition of functions that each map a prior data state into a subsequent data state. According to the fault/failure model, failure occurs when a fault causes an infection in the data state …
Causal Reasoning About Distributed Programs, William Samuel Lloyd
Causal Reasoning About Distributed Programs, William Samuel Lloyd
Dissertations, Theses, and Masters Projects
We present an integrated approach to the specification, verification and testing of distributed programs. We show how "global" properties defined by transition axiom specifications can be interpreted as definitions of causal relationships between process states. We explain why reasoning about causal rather than global relationships yields a clearer picture of distributed processing.;We present a proof system for showing the partial correctness of CSP programs that places strict restrictions on assertions. It admits no global assertions. A process annotation may reference only local state. Glue predicates relate pairs of process states at points of interprocess communication. No assertion references auxiliary variables; …