Theoretical Software Diagnostics