Using a propagation, infection and execution (PIE) testability technique for assessing the reliability of the software available in an Omani government organization