Physical Sciences and Mathematics Commons^™

Statistical Software Properties: Definition, Inference And Monitoring, Javier A. Darsie

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Software properties define how software systems should operate. Specifying correct properties, however, can be difficult and expensive as it requires deep knowledge of the system's expected behavior and the environment in which it operates. Automated analysis techniques to infer properties from code or code executions can mitigate that cost, but are still unable to go beyond state properties and the simplest patterns of temporal properties. This limitation renders properties that sacrifice fault detection power.

To address this problem, we introduce a new type of software properties called \textit{statistical properties}, which characterize significant statistical relationships among the values of variables across …